Method isHeapAllocated

ir/pointer.cpp:769–772

}

expr Pointer::isHeapAllocated() const {
  assert(MALLOC == 2 && CXX_NEW == 3);
  return getAllocType().extract(1, 1) == 1;
}

static expr at_least_same_offseting(const Pointer &p1, const Pointer &p2,
                                    bool any_stack) {