Method jumpCondFrom

ir/state.cpp:681–685

}

const OrExpr* State::jumpCondFrom(const BasicBlock &bb) const {
  auto &pres = predecessor_data.at(current_bb);
  auto I = pres.find(&bb);
  return I == pres.end() ? nullptr : &I->second.path;
}

bool State::isUndef(const expr &e) const {
  expr v;