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

References

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp

  332   if (indexTy.isNull())
  333     indexTy = svalBuilder.getArrayIndexType();
  334   nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
  338                                         Idx.castAs<NonLoc>(), Min, indexTy);
  345                             Min, indexTy);