Method isStackAllocated

ir/pointer.cpp:760–767

}

expr Pointer::isStackAllocated(bool simplify) const {
  // 1) if a stack object is returned by a callee it's UB
  // 2) if a stack object is given as argument by the caller, we can upgrade it
  //    to a global object, so we can do POR here.
  if (simplify && (!has_alloca || isLocal().isFalse()))
    return false;
  return getAllocType() == STACK;
}

expr Pointer::isHeapAllocated() const {
  assert(MALLOC == 2 && CXX_NEW == 3);