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

References

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

  146     if (NV->getAs<nonloc::ConcreteInt>()) {
  149                                NV->castAs<nonloc::ConcreteInt>(),
  152       *NV = simplifiedOffsets.second;
  155     SVal lowerBound = svalBuilder.evalBinOpNN(state, BO_LT, rawOffsetVal, *NV,