Method addCondJump

ir/state.cpp:868–873

}

void State::addCondJump(const expr &cond, const BasicBlock &dst_true,
                        const BasicBlock &dst_false) {
  expr cond_false = cond == 0;
  addJump(!cond_false, dst_true);
  addJump(std::move(cond_false), dst_false, true);
}

void State::addReturn(StateValue &&val) {
  get<0>(return_val).add(std::move(val), domain.path);