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