635   SValBuilder &SVB;  member
644       : SVB(C.getSValBuilder()), ACtx(C.getASTContext()) {  in StreamOperationEvaluator()
669     return *SVB.makeZeroVal(Call.getResultType()).getAs<NonLoc>();  in getZeroVal()
686                            SVB.makeIntVal(Val, CE->getCallReturnType(ACtx)));  in bindReturnValue()
703     auto Cond = SVB.evalBinOpNN(State, Op, LHS, RHS, SVB.getConditionType())  in assumeBinOpNN()
810   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in getKnownValue()  local
811   if (const llvm::APSInt *Int = SVB.getKnownValue(State, V))  in getKnownValue()
830   SValBuilder &SVB = State->getStateManager().getSValBuilder();  in escapeByStartIndexAndCount()  local
838     NonLoc Index = SVB.makeArrayIndex(Idx);  in escapeByStartIndexAndCount()
1049 static std::optional<NonLoc> getStartIndex(SValBuilder &SVB,  in getStartIndex()  argument
1054   auto Zero = [&SVB] {  in getStartIndex()
1055     BasicValueFactory &BVF = SVB.getBasicValueFactory();  in getStartIndex()
1206           E.SVB.getBasicValueFactory().getValue(0, E.ACtx.UnsignedCharTy),  in evalFgetx()
1207           E.SVB.getBasicValueFactory().getMaxValue(E.ACtx.UnsignedCharTy),  in evalFgetx()
1301       E.SVB  in evalFprintf()
1302           .evalBinOp(State, BO_GE, RetVal, E.SVB.makeZeroVal(E.ACtx.IntTy),  in evalFprintf()
1303                      E.SVB.getConditionType())  in evalFprintf()