ΒΆ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