Method observesAddr

ir/memory.cpp:2876–2878

}

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

Memory Memory::mkIf(const expr &cond, Memory &&then, Memory &&els) {
  assert(then.state == els.state);