Searched refs:castTy (Results 1 - 5 of 5) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 490 QualType castTy, QualType originalTy) {
492 if (getContext().getTypeSize(castTy) >= getContext().getTypeSize(originalTy))
493 return evalCast(val, castTy, originalTy);
497 return evalCast(val, castTy, originalTy);
500 APSIntType ToType(getContext().getTypeSize(castTy),
501 castTy->isUnsignedIntegerType());
506 castTy)
518 NonLoc CastVal = makeNonLoc(se, originalTy, castTy);
521 return evalCast(val, castTy, originalTy);
525 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualTyp argument
489 evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy, QualType originalTy) argument
[all...] |
| H A D | Store.cpp | 405 QualType castTy) {
406 if (castTy.isNull() || V.isUnknownOrUndef())
414 if (castTy->isFloatingType()) {
428 if (castTy->isPointerType() && !castTy->isVoidPointerType())
431 if (!hasSameUnqualifiedPointeeType(sr, castTy))
432 return loc::MemRegionVal(castRegion(SR, castTy));
435 return svalBuilder.dispatchCast(V, castTy);
404 CastRetrievedVal(SVal V, const TypedValueRegion *R, QualType castTy) argument
|
| H A D | SimpleSValBuilder.cpp | 26 SVal dispatchCast(SVal val, QualType castTy) override;
27 SVal evalCastFromNonLoc(NonLoc val, QualType castTy) override;
28 SVal evalCastFromLoc(Loc val, QualType castTy) override;
74 SVal SimpleSValBuilder::evalCastFromNonLoc(NonLoc val, QualType castTy) { argument
75 bool isLocType = Loc::isLocType(castTy);
83 unsigned castSize = Context.getIntWidth(castTy);
93 // HACK: If both castTy and T are integers, ignore the cast. This is
98 if (haveSameType(T, castTy))
102 return makeNonLoc(se, T, castTy);
111 if (castTy
130 evalCastFromLoc(Loc val, QualType castTy) argument
[all...] |
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 75 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
76 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
81 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
105 SVal evalCast(SVal val, QualType castTy, QualType originalType);
108 SVal evalIntegralCast(ProgramStateRef state, SVal val, QualType castTy,
|
| H A D | Store.h | 295 QualType castTy);
|
Completed in 176 milliseconds