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

References

tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp
   55   ProgramStateRef StInBound = state->assumeInBound(Idx, NumElements, true);
   56   ProgramStateRef StOutBound = state->assumeInBound(Idx, NumElements, false);