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

References

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

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