Searched defs:castTy (Results 1 - 3 of 3) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SValBuilder.cpp | 399 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { argument 400 castTy = Context.getCanonicalType(castTy); 402 if (val.isUnknownOrUndef() || castTy == originalTy) 405 if (castTy->isBooleanType()) { 409 return makeTruthVal(!val.isZeroConstant(), castTy); 418 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); 422 return evalCastFromLoc(*L, castTy); 425 return evalCastFromLoc(L, castTy); 429 if (!castTy [all...] |
H A D | Store.cpp | 379 QualType castTy, bool performTestOnly) { 381 if (castTy.isNull() || V.isUnknownOrUndef()) 392 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T)); 396 return svalBuilder.dispatchCast(V, castTy); 378 CastRetrievedVal(SVal V, const TypedValueRegion *R, QualType castTy, bool performTestOnly) argument
|
H A D | SimpleSValBuilder.cpp | 24 SVal dispatchCast(SVal val, QualType castTy) override; 25 SVal evalCastFromNonLoc(NonLoc val, QualType castTy) override; 26 SVal evalCastFromLoc(Loc val, QualType castTy) override; 68 SVal SimpleSValBuilder::evalCastFromNonLoc(NonLoc val, QualType castTy) { argument 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 124 evalCastFromLoc(Loc val, QualType castTy) argument [all...] |
Completed in 489 milliseconds