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

/external/clang/lib/StaticAnalyzer/Core/
H A DSValBuilder.cpp397 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 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) { 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 DStore.cpp379 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 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);
H A DStore.h249 QualType castTy, bool performTestOnly = true);

Completed in 170 milliseconds