reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  315 ProgramStateRef assumeNoOverflow(ProgramStateRef State, SymbolRef Sym,

References

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp
  878     State = assumeNoOverflow(State, Sym, 4);
 1191   State = assumeNoOverflow(State, Sym, 4);
 1234           State = assumeNoOverflow(State, NewEndSym, 4);
 1585     State = assumeNoOverflow(State, NewPosSym, 4);
 1954   State = assumeNoOverflow(State, Sym, 4);
 1977   State = assumeNoOverflow(State, Sym, 4);
 2062     return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);