Searched refs:StateFound (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | STLAlgorithmModeling.cpp | 141 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find() local
149 StateFound = createIteratorPosition(StateFound, RetVal, Pos->getContainer(), in Find()
151 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
154 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find()
160 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()
171 StateFound = createIteratorPosition(StateFound, RetVal, Pos->getContainer(), in Find()
173 const auto *NewPos = getIteratorPosition(StateFound, RetVal); in Find()
176 SVal Less = SVB.evalBinOp(StateFound, BO_LT, in Find()
182 StateFound = StateFound->assume(Less.castAs<DefinedSVal>(), true); in Find()
185 C.addTransition(StateFound); in Find()
|