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

References

tools/clang/lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp
   52   if (Idx.isZeroConstant())
   61   ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
   62   ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);