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

References

tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
  199     if (!upperboundToCheck)
  204       state->assume(*upperboundToCheck);