Home
last modified time | relevance | path

Searched refs:castTy (Results 1 – 5 of 5) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp427 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 …]
DSimpleSValBuilder.cpp24 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 …]
DStore.cpp368 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/
DSValBuilder.h53 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);
DStore.h243 QualType castTy, bool performTestOnly = true);