Lines Matching defs:OriginalTy

635   QualType CastTy, OriginalTy;
638 EvalCastVisitor(SValBuilder &VB, QualType CastTy, QualType OriginalTy)
640 OriginalTy(OriginalTy) {}
648 const bool IsUnknownOriginalType = OriginalTy.isNull();
650 OriginalTy = Context.getCanonicalType(OriginalTy);
652 if (CastTy == OriginalTy)
658 if (!CastTy->isVariableArrayType() && !OriginalTy->isVariableArrayType())
660 Context.getPointerType(OriginalTy)))
701 const bool IsUnknownOriginalType = OriginalTy.isNull();
704 if (isa<ArrayType>(OriginalTy))
744 const bool IsUnknownOriginalType = OriginalTy.isNull();
749 : dyn_cast<ArrayType>(OriginalTy.getCanonicalType());
806 if (OriginalTy->isIntegralOrEnumerationType() ||
807 OriginalTy->isBlockPointerType() ||
808 OriginalTy->isFunctionPointerType())
826 assert(Loc::isLocType(OriginalTy) || OriginalTy->isFunctionType() ||
899 const bool IsUnknownOriginalType = OriginalTy.isNull();
902 OriginalTy->isIntegralOrEnumerationType()) {
916 assert(Loc::isLocType(OriginalTy) || OriginalTy->isFunctionType() ||
955 const bool IsUnknownOriginalType = OriginalTy.isNull();
959 if (Loc::isLocType(OriginalTy) ||
960 OriginalTy->isIntegralOrEnumerationType() ||
961 OriginalTy->isMemberPointerType()) {
1094 /// \param OriginalTy -- QualType which is associated to V. It provides
1097 /// Note: Many cases don't use an exact OriginalTy. It can be extracted
1098 /// from SVal or the cast can performs unconditionaly. Always pass OriginalTy!
1100 /// FIXME: If `OriginalTy.isNull()` is true, then cast performs based on CastTy
1102 SVal SValBuilder::evalCast(SVal V, QualType CastTy, QualType OriginalTy) {
1103 EvalCastVisitor TRV{*this, CastTy, OriginalTy};