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

References

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

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