Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSValBuilder.cpp317 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { in evalCast() argument
318 castTy = Context.getCanonicalType(castTy); in evalCast()
320 if (val.isUnknownOrUndef() || castTy == originalTy) in evalCast()
324 if (!castTy->isVariableArrayType() && !originalTy->isVariableArrayType()) in evalCast()
325 if (shouldBeModeledWithNoOp(Context, Context.getPointerType(castTy), in evalCast()
330 if (castTy->isIntegerType() && Loc::isLocType(originalTy)) in evalCast()
331 return evalCastFromLoc(val.castAs<Loc>(), castTy); in evalCast()
334 if (Loc::isLocType(castTy) && originalTy->isIntegerType()) { in evalCast()
338 R = storeMgr.castRegion(R, castTy); in evalCast()
343 return dispatchCast(val, castTy); in evalCast()
[all …]
DSimpleSValBuilder.cpp24 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) { 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.cpp356 QualType castTy, bool performTestOnly) { in CastRetrievedVal() argument
358 if (castTy.isNull() || V.isUnknownOrUndef()) in CastRetrievedVal()
369 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T)); in CastRetrievedVal()
373 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;
84 SVal evalCast(SVal val, QualType castTy, QualType originalType);
DStore.h250 QualType castTy, bool performTestOnly = true);