Method getAllocType

ir/pointer.cpp:755–758

}

expr Pointer::getAllocType() const {
  return getValue("blk_kind", m.local_blk_kind, m.non_local_blk_kind,
                   expr::mkUInt(0, 2));
}

expr Pointer::isStackAllocated(bool simplify) const {
  // 1) if a stack object is returned by a callee it's UB