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

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

   89         ArrayIndexWidth(context.getTypeSize(ArrayIndexTy)) {}
  165     return ArrayIndexTy;
  269     return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
  273     return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));

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

  110   return evalCastFromNonLoc(val.castAs<NonLoc>(), ArrayIndexTy);

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

 1031         LeftIndexVal = evalCastFromNonLoc(*LeftIndex, ArrayIndexTy);
 1041         RightIndexVal = evalCastFromNonLoc(*RightIndex, ArrayIndexTy);