Searched defs:castTy (Results 1 - 3 of 3) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp201 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { argument
202 if (val.isUnknownOrUndef() || castTy == originalTy)
206 if (!castTy->isVariableArrayType() && !originalTy->isVariableArrayType())
207 if (Context.hasSameUnqualifiedType(castTy, originalTy))
212 if (castTy->isFloatingType() || castTy->isAnyComplexType())
216 if (castTy->isIntegerType() && originalTy->isIntegerType()) {
219 return evalCastFromLoc(cast<Loc>(val), castTy);
221 return evalCastFromNonLoc(cast<NonLoc>(val), castTy);
225 if (castTy
[all...]
H A DStore.cpp213 QualType castTy, bool performTestOnly) {
215 if (castTy.isNull())
226 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T));
231 return svalBuilder.evalCastFromLoc(*L, castTy);
233 return svalBuilder.evalCastFromNonLoc(*NL, castTy);
212 CastRetrievedVal(SVal V, const TypedValueRegion *R, QualType castTy, bool performTestOnly) argument
H A DSimpleSValBuilder.cpp23 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy);
24 virtual SVal evalCastFromLoc(Loc val, QualType castTy);
60 SVal SimpleSValBuilder::evalCastFromNonLoc(NonLoc val, QualType castTy) { argument
62 bool isLocType = Loc::isLocType(castTy);
69 unsigned castSize = Context.getTypeSize(castTy);
77 if (T == Context.getCanonicalType(castTy))
81 // HACK: If both castTy and T are integers, ignore the cast. This is
86 if (T->isIntegerType() && castTy->isIntegerType())
96 if (!isLocType && !castTy->isIntegerType())
100 i.setIsUnsigned(castTy
110 evalCastFromLoc(Loc val, QualType castTy) argument
[all...]

Completed in 69 milliseconds