Method getJumpCond

ir/state.cpp:1450–1458

}

expr State::getJumpCond(const BasicBlock &src, const BasicBlock &dst) const {
  auto I = predecessor_data.find(&dst);
  if (I == predecessor_data.end())
    return false;

  auto J = I->second.find(&src);
  return J == I->second.end() ? expr(false)
                              : J->second.path() && J->second.UB.factor()();
}

void State::addGlobalVarBid(const string &glbvar, unsigned bid) {
  ENSURE(glbvar_bids.emplace(glbvar, make_pair(bid, true)).second);