Searched refs:StateTrue (Results 1 - 2 of 2) sorted by relevance
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 573 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) {
574 StateTrue = StateTrue->assume(*ConditionVal, true);
575 C.addTransition(StateTrue);
|
| /freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 2976 ProgramStateRef StateTrue, StateFalse; local
2977 std::tie(StateTrue, StateFalse) = state->assume(*SEV);
2980 if (StateTrue) {
2982 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);
2983 Bldr.generateNode(Ex, Pred, StateTrue, tags.first);
|
Completed in 67 milliseconds