ΒΆclang::ento::ProgramStateRef assumeNoOverflow(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym,
long Scale)
clang::ento::ProgramStateRef assumeNoOverflow(
clang::ento::ProgramStateRef State,
clang::ento::SymbolRef Sym,
long Scale)
Declared at: clang/lib/StaticAnalyzer/Checkers/Iterator.h:176
Parameters
- clang::ento::ProgramStateRef State
- clang::ento::SymbolRef Sym
- long Scale