Searched refs:StateTrue (Results 1 – 2 of 2) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 527 if (auto StateTrue = relateSymbols(State, Sym1, Sym2, Op == OO_EqualEqual)) { in processComparison() local
528 StateTrue = StateTrue->assume(*ConditionVal, true); in processComparison()
529 C.addTransition(StateTrue); in processComparison()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngine.cpp | 3894 auto [StateTrue, StateFalse] = State->assume(*SEV); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
3896 if (StateTrue && StateFalse) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
3897 StateTrue = StateTrue->set<LastEagerlyAssumeExprIfSuccessful>(Ex); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
3902 if (StateTrue) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
3904 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
3905 Bldr.generateNode(Ex, Pred, StateTrue, TrueTag); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|