Searched refs:StateTrue (Results 1 – 1 of 1) sorted by relevance
2893 ProgramStateRef StateTrue, StateFalse; in evalEagerlyAssumeBinOpBifurcation() local2894 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()2897 if (StateTrue) { in evalEagerlyAssumeBinOpBifurcation()2899 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val); in evalEagerlyAssumeBinOpBifurcation()2900 Bldr.generateNode(Ex, Pred, StateTrue, tags.first); in evalEagerlyAssumeBinOpBifurcation()