Method escapeLocalPtr

ir/memory.cpp:2869–2874

}

void Memory::escapeLocalPtr(const expr &ptr, const expr &is_ptr) {
  if (is_ptr.isFalse())
    return;

  escape_helper(ptr, escaped_local_blks, &observed_addrs);
}

void Memory::observesAddr(const Pointer &ptr) {
  escape_helper(ptr(), observed_addrs);