Home
last modified time | relevance | path

Searched refs:assumeNoOverflow (Results 1 – 4 of 4) sorted by relevance

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.cpp219 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
265 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
H A DIterator.h180 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
H A DContainerModeling.cpp340 State = assumeNoOverflow(State, NewEndSym, 4); in handleAssignment()
864 State = assumeNoOverflow(State, Sym, 4); in createContainerBegin()
887 State = assumeNoOverflow(State, Sym, 4); in createContainerEnd()
H A DIteratorModeling.cpp476 State = assumeNoOverflow(State, Sym, 4); in handleComparison()
816 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()