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

References

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

  151       rawOffsetVal = simplifiedOffsets.first;
  155     SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,
  190       rawOffsetVal = simplifiedOffsets.first;
  194     SVal upperbound = svalBuilder.evalBinOpNN(state, BO_GE, rawOffsetVal,