Searched refs:StateFalse (Results 1 – 3 of 3) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | IteratorModeling.cpp | 532 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) { in processComparison() local
533 StateFalse = StateFalse->assume(*ConditionVal, false); in processComparison()
534 C.addTransition(StateFalse); in processComparison()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 2456 ProgramStateRef StateTrue, StateFalse; in evalEagerlyAssumeBinOpBifurcation() local
2457 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()
2467 if (StateFalse) { in evalEagerlyAssumeBinOpBifurcation()
2469 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val); in evalEagerlyAssumeBinOpBifurcation()
2470 Bldr.generateNode(Ex, Pred, StateFalse, tags.second); in evalEagerlyAssumeBinOpBifurcation()
|
| /external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 3057 ProgramStateRef StateTrue, StateFalse; in evalEagerlyAssumeBinOpBifurcation() local
3058 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()
3068 if (StateFalse) { in evalEagerlyAssumeBinOpBifurcation()
3070 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val); in evalEagerlyAssumeBinOpBifurcation()
3071 Bldr.generateNode(Ex, Pred, StateFalse, tags.second); in evalEagerlyAssumeBinOpBifurcation()
|