Searched refs:StateTrue (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 526 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) { in processComparison() local
527 StateTrue = StateTrue->assume(*ConditionVal, true); in processComparison()
528 C.addTransition(StateTrue); in processComparison()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 3735 ProgramStateRef StateTrue, StateFalse; in evalEagerlyAssumeBinOpBifurcation() local
3736 std::tie(StateTrue, StateFalse) = state->assume(*SEV); in evalEagerlyAssumeBinOpBifurcation()
3739 if (StateTrue) { in evalEagerlyAssumeBinOpBifurcation()
3741 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val); in evalEagerlyAssumeBinOpBifurcation()
3742 Bldr.generateNode(Ex, Pred, StateTrue, tags.first); in evalEagerlyAssumeBinOpBifurcation()
|