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