Searched refs:castTy (Results 1 - 5 of 5) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SValBuilder.cpp | 397 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { argument 398 castTy = Context.getCanonicalType(castTy); 400 if (val.isUnknownOrUndef() || castTy == originalTy) 403 if (castTy->isBooleanType()) { 407 return makeTruthVal(!val.isZeroConstant(), castTy); 412 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); 416 return makeTruthVal(true, castTy); 420 if (!castTy->isVariableArrayType() && !originalTy->isVariableArrayType()) 421 if (shouldBeModeledWithNoOp(Context, Context.getPointerType(castTy), [all...] |
H A D | SimpleSValBuilder.cpp | 24 virtual SVal dispatchCast(SVal val, QualType castTy); 25 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy); 26 virtual SVal evalCastFromLoc(Loc val, QualType castTy); 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...] |
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
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 53 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0; 54 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0; 59 virtual SVal dispatchCast(SVal val, QualType castTy) = 0; 85 SVal evalCast(SVal val, QualType castTy, QualType originalType);
|
H A D | Store.h | 249 QualType castTy, bool performTestOnly = true);
|
Completed in 170 milliseconds