reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
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>(),