Home
last modified time | relevance | path

Searched refs:StateFalse (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngine.cpp2394 ProgramStateRef StateTrue, StateFalse; in evalEagerlyAssumeBinOpBifurcation() local
2395 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()
2405 if (StateFalse) { in evalEagerlyAssumeBinOpBifurcation()
2407 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val); in evalEagerlyAssumeBinOpBifurcation()
2408 Bldr.generateNode(Ex, Pred, StateFalse, tags.second); in evalEagerlyAssumeBinOpBifurcation()