Home
last modified time | relevance | path

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

/freebsd-src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIterator.cpp218 State = assumeNoOverflow(State, Sym, 4); in createIteratorPosition()
263 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym, in assumeNoOverflow() function
H A DIterator.h173 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,
H A DContainerModeling.cpp331 State = assumeNoOverflow(State, NewEndSym, 4); in handleAssignment()
859 State = assumeNoOverflow(State, Sym, 4); in createContainerBegin()
882 State = assumeNoOverflow(State, Sym, 4); in createContainerEnd()
H A DIteratorModeling.cpp472 State = assumeNoOverflow(State, Sym, 4); in handleComparison()
811 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()