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

References

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

   58     = C.getStoreManager().getSizeInElements(state, ER->getSuperRegion(),
   61   ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
   62   ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);