Method isBlkSingleByte

ir/pointer.cpp:943–946

}

bool Pointer::isBlkSingleByte() const {
  uint64_t blk_size;
  return blockSizeAligned().isUInt(blk_size) && blk_size == bits_byte/8;
}

pair<Pointer, expr> Pointer::findLogicalLocalPointer(const expr &addr) const {
  DisjointExpr<Pointer> ret(mkNullPointer(m));