Lines Matching defs:VB

633   SValBuilder &VB;
638   EvalCastVisitor(SValBuilder &VB, QualType CastTy, QualType OriginalTy)
639       : VB(VB), Context(VB.getContext()), CastTy(CastTy),
670       return VB.makeTruthVal(V.getValue()->getBoolValue(), CastTy);
675       VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value);
676       return VB.makeIntVal(Value);
682       VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value);
683       return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value));
693       return VB.makeTruthVal(true, CastTy);
698       return VB.makeLocAsInteger(V, BitWidth);
727                 VB.getSymbolManager().acquire<SymbolExtent>(FTR));
736           return VB.makeNonLoc(
737               Sym, BO_NE, VB.getBasicValueFactory().getZeroWithTypeSize(Ty),
741       return VB.makeTruthVal(true, CastTy);
758         Val = VB.getStateManager().ArrayToPointer(V, ElemTy);
765       return VB.makeLocAsInteger(Val.castAs<Loc>(), BitWidth);
791               if (auto OptMemRegV = VB.getCastedMemRegionVal(SR, CastTy))
799           if (auto OptMemRegV = VB.getCastedMemRegionVal(ER, CastTy))
818           return VB.getStateManager().ArrayToPointer(V, ElemTy);
846       if (auto OptMemRegV = VB.getCastedMemRegionVal(R, CastTy))
868       VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value);
874       return VB.makeTruthVal(V.getValue()->getBoolValue(), CastTy);
878       return VB.makeIntVal(CastedValue());
882       return VB.makeIntLocVal(CastedValue());
904         if (auto OptMemRegV = VB.getCastedMemRegionVal(R, CastTy))
921         if (auto OptMemRegV = VB.getCastedMemRegionVal(R, CastTy))
945         return VB.makeLocAsInteger(L, CastSize);
962         BasicValueFactory &BVF = VB.getBasicValueFactory();
963         return VB.makeNonLoc(SE, BO_NE, BVF.getValue(0, SE->getType()), CastTy);
973         AnalyzerOptions &Opts = VB.getStateManager()
986           return VB.makeNonLoc(SE, T, CastTy);
1055       return VB.makeNonLoc(SE, T, CastTy);
1062       return VB.makeNonLoc(SE, T, CastTy);
1064     BasicValueFactory &BVF = VB.getBasicValueFactory();
1075       return VB.makeNonLoc(RootSym, RT, CastTy);
1084       return VB.makeNonLoc(RootSym, RT, CastTy);
1086     return VB.makeNonLoc(SE, T, CastTy);