Searched refs:StateFound (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 117 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find() local
125 StateFound = createIteratorPosition(StateFound, RetVal, Pos->getContainer(), in Find()
127 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
130 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
136 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
147 StateFound = createIteratorPosition(StateFound, RetVal, Pos->getContainer(), in Find()
149 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
152 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
158 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
161 C.addTransition(StateFound); in Find()
|