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