Method inc

ir/state.cpp:115–131

}

void State::ValueAnalysis::FnCallRanges::inc(const string &name,
                                             const SMTMemoryAccess &access) {
  bool canwrite = !access.canWriteSomething().isFalse();

  auto [I, inserted] = try_emplace(name);
  if (inserted) {
    I->second.first.emplace(1, canwrite);
    I->second.second = access;
  } else {
    set<pair<unsigned, bool>> new_set;
    for (auto [n, writes0] : I->second.first) {
      new_set.emplace(n+1, writes0 | canwrite);
    }
    I->second.first   = std::move(new_set);
    I->second.second |= access;
  }
}

bool
State::ValueAnalysis::FnCallRanges::overlaps(const string &callee,