406   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in getIndex()  local
407   ASTContext &Ctx = SVB.getContext();  in getIndex()
420       SVB.makeIntVal(Ctx.getTypeSizeInChars(Ctx.WideCharTy).getQuantity(),  in getIndex()
424       SVB.evalBinOpNN(State, BO_Mul, ER->getIndex(), WideSize, SizeTy);  in getIndex()
458   SValBuilder &SVB = C.getSValBuilder();  in checkInit()  local
459   ASTContext &Ctx = SVB.getContext();  in checkInit()
462   const NonLoc Zero = SVB.makeZeroArrayIndex();  in checkInit()
484   const QualType IdxTy = SVB.getArrayIndexType();  in checkInit()
487       SVB.makeIntVal(Ctx.getTypeSizeInChars(ElemTy).getQuantity(), IdxTy)  in checkInit()
509       SVB.evalBinOpNN(State, clang::BO_Div, Size.castAs<NonLoc>(), ElemSize,  in checkInit()
514   const NonLoc One = SVB.makeIntVal(1, IdxTy).castAs<NonLoc>();  in checkInit()
515   SVal LastIdx = SVB.evalBinOpNN(State, BO_Sub, *Offset, One, IdxTy);  in checkInit()
2449   SValBuilder &SVB = C.getSValBuilder();  in evalStrsep()  local
2465                        SVB.conjureSymbolVal(getTag(), Call.getOriginExpr(),  in evalStrsep()
2471     Result = SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx,  in evalStrsep()
2513   SValBuilder &SVB = C.getSValBuilder();  in evalStdCopyCommon()  local
2516       SVB.conjureSymbolVal(nullptr, Call.getOriginExpr(), LCtx, C.blockCount());  in evalStdCopyCommon()