Searched refs:assumeNoOverflow (Results 1 – 4 of 4) sorted by relevance
| /external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | Iterator.cpp | 219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
|
| D | Iterator.h | 180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
|
| D | ContainerModeling.cpp | 340 State = assumeNoOverflow(State, NewEndSym, 4); in handleAssignment()
864 State = assumeNoOverflow(State, Sym, 4); in createContainerBegin()
887 State = assumeNoOverflow(State, Sym, 4); in createContainerEnd()
|
| D | IteratorModeling.cpp | 476 State = assumeNoOverflow(State, Sym, 4); in handleComparison()
816 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
|