Searched refs:castTy (Results 1 – 5 of 5) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
D | SValBuilder.cpp | 427 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast() argument 428 castTy = Context.getCanonicalType(castTy); in evalCast() 430 if (val.isUnknownOrUndef() || castTy == originalTy) in evalCast() 433 if (castTy->isBooleanType()) { in evalCast() 437 return makeTruthVal(!val.isZeroConstant(), castTy); in evalCast() 446 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); in evalCast() 450 return evalCastFromLoc(*L, castTy); in evalCast() 453 return evalCastFromLoc(L, castTy); in evalCast() 457 if (!castTy->isVariableArrayType() && !originalTy->isVariableArrayType()) in evalCast() 458 if (shouldBeModeledWithNoOp(Context, Context.getPointerType(castTy), in evalCast() [all …]
|
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) { in evalCastFromNonLoc() argument 70 bool isLocType = Loc::isLocType(castTy); in evalCastFromNonLoc() 77 unsigned castSize = Context.getTypeSize(castTy); in evalCastFromNonLoc() 92 if (haveSameType(T, castTy)) in evalCastFromNonLoc() 96 return makeNonLoc(se, T, castTy); in evalCastFromNonLoc() 105 if (castTy->isBooleanType()) { in evalCastFromNonLoc() 107 return makeTruthVal(b, castTy); in evalCastFromNonLoc() [all …]
|
D | Store.cpp | 368 QualType castTy, bool performTestOnly) { in CastRetrievedVal() argument 370 if (castTy.isNull() || V.isUnknownOrUndef()) in CastRetrievedVal() 381 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T)); in CastRetrievedVal() 385 return svalBuilder.dispatchCast(V, castTy); in CastRetrievedVal()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
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);
|
D | Store.h | 243 QualType castTy, bool performTestOnly = true);
|