Home | History | Annotate | Download | only in Core

Lines Matching refs:CastTy

24   virtual SVal dispatchCast(SVal val, QualType castTy);
25   virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy);
26   virtual SVal evalCastFromLoc(Loc val, QualType castTy);
62 SVal SimpleSValBuilder::dispatchCast(SVal Val, QualType CastTy) {
64   return Val.getAs<Loc>() ? evalCastFromLoc(Val.castAs<Loc>(), CastTy)
65                            : evalCastFromNonLoc(Val.castAs<NonLoc>(), CastTy);
68 SVal SimpleSValBuilder::evalCastFromNonLoc(NonLoc val, QualType castTy) {
70   bool isLocType = Loc::isLocType(castTy);
77     unsigned castSize = Context.getTypeSize(castTy);
87     // HACK: If both castTy and T are integers, ignore the cast.  This is
92    if (haveSameType(T, castTy))
96       return makeNonLoc(se, T, castTy);
105   if (castTy->isBooleanType()) {
107     return makeTruthVal(b, castTy);
112   if (!isLocType && !castTy->isIntegerType())
116   BasicVals.getAPSIntType(castTy).apply(i);
124 SVal SimpleSValBuilder::evalCastFromLoc(Loc val, QualType castTy) {
132   if (Loc::isLocType(castTy) || castTy->isReferenceType())
137   if (castTy->isUnionType())
140   if (castTy->isIntegerType()) {
141     unsigned BitWidth = Context.getTypeSize(castTy);
147     BasicVals.getAPSIntType(castTy).apply(i);