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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

  194   assumeInBound(DefinedOrUnknownSVal idx, DefinedOrUnknownSVal upperBound,

References

tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundChecker.cpp

   61   ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
   62   ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  340   ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true);
  341   ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false);
  947   ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true);

tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp

  140     ProgramStateRef StInBound = State->assumeInBound(Idx, *Size, true, T);
  141     ProgramStateRef StOutBound = State->assumeInBound(Idx, *Size, false, T);

tools/clang/lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp

   61   ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
   62   ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);

tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp

   55   ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
   56   ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);