Lines Matching refs:VB

628   SValBuilder &VB;  member in __anona9af1b1c0211::EvalCastVisitor
633 EvalCastVisitor(SValBuilder &VB, QualType CastTy, QualType OriginalTy) in EvalCastVisitor() argument
634 : VB(VB), Context(VB.getContext()), CastTy(CastTy), in EvalCastVisitor()
665 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitLocConcreteInt()
670 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
671 return VB.makeIntVal(Value); in VisitLocConcreteInt()
677 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitLocConcreteInt()
678 return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value)); in VisitLocConcreteInt()
688 return VB.makeTruthVal(true, CastTy); in VisitLocGotoLabel()
693 return VB.makeLocAsInteger(V, BitWidth); in VisitLocGotoLabel()
722 VB.getSymbolManager().getExtentSymbol(FTR)); in VisitLocMemRegionVal()
731 return VB.makeNonLoc( in VisitLocMemRegionVal()
732 Sym, BO_NE, VB.getBasicValueFactory().getZeroWithTypeSize(Ty), in VisitLocMemRegionVal()
736 return VB.makeTruthVal(true, CastTy); in VisitLocMemRegionVal()
753 Val = VB.getStateManager().ArrayToPointer(V, ElemTy); in VisitLocMemRegionVal()
760 return VB.makeLocAsInteger(Val.castAs<Loc>(), BitWidth); in VisitLocMemRegionVal()
786 if (auto OptMemRegV = VB.getCastedMemRegionVal(SR, CastTy)) in VisitLocMemRegionVal()
794 if (auto OptMemRegV = VB.getCastedMemRegionVal(ER, CastTy)) in VisitLocMemRegionVal()
813 return VB.getStateManager().ArrayToPointer(V, ElemTy); in VisitLocMemRegionVal()
841 if (auto OptMemRegV = VB.getCastedMemRegionVal(R, CastTy)) in VisitLocMemRegionVal()
863 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitNonLocConcreteInt()
869 return VB.makeTruthVal(V.getValue().getBoolValue(), CastTy); in VisitNonLocConcreteInt()
873 return VB.makeIntVal(CastedValue()); in VisitNonLocConcreteInt()
877 return VB.makeIntLocVal(CastedValue()); in VisitNonLocConcreteInt()
899 if (auto OptMemRegV = VB.getCastedMemRegionVal(R, CastTy)) in VisitNonLocLocAsInteger()
916 if (auto OptMemRegV = VB.getCastedMemRegionVal(R, CastTy)) in VisitNonLocLocAsInteger()
940 return VB.makeLocAsInteger(L, CastSize); in VisitNonLocLocAsInteger()
957 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitNonLocSymbolVal()
958 return VB.makeNonLoc(SE, BO_NE, BVF.getValue(0, SE->getType()), CastTy); in VisitNonLocSymbolVal()
968 AnalyzerOptions &Opts = VB.getStateManager() in VisitNonLocSymbolVal()
981 return VB.makeNonLoc(SE, T, CastTy); in VisitNonLocSymbolVal()
1045 return VB.makeNonLoc(SE, T, CastTy); in simplifySymbolCast()
1052 return VB.makeNonLoc(SE, T, CastTy); in simplifySymbolCast()
1054 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast()
1065 return VB.makeNonLoc(RootSym, RT, CastTy); in simplifySymbolCast()
1074 return VB.makeNonLoc(RootSym, RT, CastTy); in simplifySymbolCast()
1076 return VB.makeNonLoc(SE, T, CastTy); in simplifySymbolCast()