Searched refs:StateFalse (Results 1 - 2 of 2) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 501 if (auto StateFalse = relateSymbols(State, Sym1, Sym2, Op != OO_EqualEqual)) {
502 StateFalse = StateFalse->assume(*ConditionVal, false);
503 C.addTransition(StateFalse);
|
| /freebsd-13-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 3008 ProgramStateRef StateTrue, StateFalse; local
3009 std::tie(StateTrue, StateFalse) = state->assume(*SEV);
3019 if (StateFalse) {
3021 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);
3022 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);
|
Completed in 64 milliseconds