Method blockSize

ir/pointer.cpp:323–326

}

expr Pointer::blockSize() const {
  return getValue("blk_size", m.local_blk_size, m.non_local_blk_size,
                  expr::mkUInt(0, bits_size_t));
}

expr Pointer::blockSizeOffsetT() const {
  expr sz = blockSize();