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);