Lines Matching defs:SVB
616 SValBuilder &SVB = Mgr.getSValBuilder();
617 return SVB.getBasicValueFactory();
700 SValBuilder &SVB = Mgr.getSValBuilder();
701 BasicValueFactory &BVF = SVB.getBasicValueFactory();
729 SValBuilder &SVB = Mgr.getSValBuilder();
730 BasicValueFactory &BVF = SVB.getBasicValueFactory();
786 SValBuilder &SVB = Mgr.getSValBuilder();
787 QualType CondT = SVB.getConditionType();
796 OtherV = SVB.evalCast(OtherV, T, OtherT);
797 if (auto CompV = SVB.evalBinOp(State, Op, V, OtherV, CondT)
954 SValBuilder &SVB = C.getSValBuilder();
955 BasicValueFactory &BVF = SVB.getBasicValueFactory();