Method syncSEdataWithSrc

ir/state.cpp:1490–1509

}

void State::syncSEdataWithSrc(State &src) {
  assert(glbvar_bids.empty());
  assert(src.isSource() && !isSource());
  glbvar_bids = src.glbvar_bids;
  for (auto &[gv_name, data] : glbvar_bids) {
    data.second = false;
  }
  fn_call_data = std::move(src.fn_call_data);
  inaccessiblemem_bids = std::move(src.inaccessiblemem_bids);
  memory.syncWithSrc(src.returnMemory());

  src_state = &src;
  for (auto &[bb, srcs] : src.predecessor_data) {
    OrExpr path;
    for (auto &[src, data] : srcs) {
      path.add(data.path);
    }
    src_bb_paths[std::move(path)()].emplace_back(bb);
  }
}

void State::mkAxioms(State &tgt) {
  assert(isSource() && !tgt.isSource());