Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp435 QualType castTy, QualType originalTy) { in evalIntegralCast() argument
438 if (getContext().getTypeSize(castTy) >= getContext().getTypeSize(originalTy)) in evalIntegralCast()
439 return evalCast(val, castTy, originalTy); in evalIntegralCast()
443 return evalCast(val, castTy, originalTy); in evalIntegralCast()
446 APSIntType ToType(getContext().getTypeSize(castTy), in evalIntegralCast()
447 castTy->isUnsignedIntegerType()); in evalIntegralCast()
452 castTy) in evalIntegralCast()
464 NonLoc CastVal = makeNonLoc(se, originalTy, castTy); in evalIntegralCast()
467 return evalCast(val, castTy, originalTy); in evalIntegralCast()
471 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast() argument
[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.h54 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
55 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
60 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
86 SVal evalCast(SVal val, QualType castTy, QualType originalType);
89 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
DStore.h243 QualType castTy, bool performTestOnly = true);