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

References

tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp
  328   ASTContext &Ctx = svalBuilder.getContext();
  331   BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
  333     indexTy = svalBuilder.getArrayIndexType();
  337   SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add,
  344     svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(),
  351   SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),