27 #include "llvm/ADT/SmallVector.h" 29 using namespace clang;
56 struct CastOperation {
58 : Self(S), SrcExpr(src), DestType(destType),
61 Kind(CK_Dependent), IsARCUnbridgedCast(
false) {
64 src.
get()->getType()->getAsPlaceholderType()) {
65 PlaceholderKind = placeholder->getKind();
79 bool IsARCUnbridgedCast;
85 void CheckConstCast();
86 void CheckReinterpretCast();
87 void CheckStaticCast();
88 void CheckDynamicCast();
89 void CheckCXXCStyleCast(
bool FunctionalCast,
bool ListInitialization);
90 void CheckCStyleCast();
92 void updatePartOfExplicitCastFlags(
CastExpr *CE) {
97 ICE->setIsPartOfExplicitCast(
true);
105 if (IsARCUnbridgedCast) {
108 CK_Dependent, castExpr,
nullptr,
111 updatePartOfExplicitCastFlags(castExpr);
121 if (PlaceholderKind != K)
return false;
127 bool isPlaceholder()
const {
128 return PlaceholderKind != 0;
131 return PlaceholderKind == K;
137 void checkCastAlign() {
147 IsARCUnbridgedCast =
true;
152 void checkNonOverloadPlaceholders() {
153 if (!isPlaceholder() || isPlaceholder(BuiltinType::Overload))
199 QualType OrigDestType,
unsigned &msg,
215 bool ListInitialization);
222 bool ListInitialization);
247 if (getLangOpts().CPlusPlus) {
249 CheckExtraCXXDefaultArguments(D);
252 return BuildCXXNamedCast(OpLoc, Kind, TInfo, E,
268 CastOperation Op(*
this, DestType, E);
270 Op.DestRange = AngleBrackets;
273 default: llvm_unreachable(
"Unknown C++ cast!");
275 case tok::kw_const_cast:
276 if (!TypeDependent) {
278 if (Op.SrcExpr.isInvalid())
280 DiscardMisalignedMemberAddress(DestType.
getTypePtr(), E);
283 Op.ValueKind, Op.SrcExpr.get(), DestTInfo,
287 case tok::kw_dynamic_cast: {
289 if (getLangOpts().OpenCLCPlusPlus) {
290 return ExprError(
Diag(OpLoc, diag::err_openclcxx_not_supported)
294 if (!TypeDependent) {
295 Op.CheckDynamicCast();
296 if (Op.SrcExpr.isInvalid())
300 Op.ValueKind, Op.Kind, Op.SrcExpr.get(),
301 &Op.BasePath, DestTInfo,
305 case tok::kw_reinterpret_cast: {
306 if (!TypeDependent) {
307 Op.CheckReinterpretCast();
308 if (Op.SrcExpr.isInvalid())
310 DiscardMisalignedMemberAddress(DestType.
getTypePtr(), E);
313 Op.ValueKind, Op.Kind, Op.SrcExpr.get(),
314 nullptr, DestTInfo, OpLoc,
318 case tok::kw_static_cast: {
319 if (!TypeDependent) {
320 Op.CheckStaticCast();
321 if (Op.SrcExpr.isInvalid())
323 DiscardMisalignedMemberAddress(DestType.
getTypePtr(), E);
327 Op.ValueKind, Op.Kind, Op.SrcExpr.get(),
328 &Op.BasePath, DestTInfo,
340 bool listInitialization) {
362 range, listInitialization)
368 assert(sequence.
Failed() &&
"initialization succeeded on second try?");
370 default:
return false;
383 case OR_Success: llvm_unreachable(
"successful failed overload");
385 if (candidates.
empty())
386 msg = diag::err_ovl_no_conversion_in_cast;
388 msg = diag::err_ovl_no_viable_conversion_in_cast;
393 msg = diag::err_ovl_ambiguous_conversion_in_cast;
398 msg = diag::err_ovl_deleted_conversion_in_cast;
404 << CT << srcType << destType
415 bool listInitialization) {
416 if (msg == diag::err_bad_cxx_cast_generic &&
425 int DifferentPtrness = 0;
436 if (!DifferentPtrness) {
439 if (RecFrom && RecTo) {
441 if (!DeclFrom->isCompleteDefinition())
442 S.
Diag(DeclFrom->getLocation(), diag::note_type_incomplete)
443 << DeclFrom->getDeclName();
445 if (!DeclTo->isCompleteDefinition())
446 S.
Diag(DeclTo->getLocation(), diag::note_type_incomplete)
447 << DeclTo->getDeclName();
462 CACK_SimilarKind = 2,
483 enum {
None, Ptr, MemPtr, BlockPtr, Array };
485 if (T->isAnyPointerType())
return Ptr;
486 if (T->isMemberPointerType())
return MemPtr;
487 if (T->isBlockPointerType())
return BlockPtr;
490 if (T->isConstantArrayType() || T->isIncompleteArrayType())
return Array;
496 return AT->getElementType();
497 return T->getPointeeType();
508 Kind = CastAwayConstnessKind::CACK_Similar;
510 Kind = CastAwayConstnessKind::CACK_Similar;
513 int T1Class = Classify(T1);
515 return CastAwayConstnessKind::CACK_None;
517 int T2Class = Classify(T2);
519 return CastAwayConstnessKind::CACK_None;
523 Kind = T1Class == T2Class ? CastAwayConstnessKind::CACK_SimilarKind
524 : CastAwayConstnessKind::CACK_Incoherent;
534 if (Classify(T1) != Array)
537 auto T2Class = Classify(T2);
541 if (T2Class != Array)
542 Kind = CastAwayConstnessKind::CACK_Incoherent;
543 else if (Kind != CastAwayConstnessKind::CACK_Incoherent)
544 Kind = CastAwayConstnessKind::CACK_SimilarKind;
561 bool CheckCVR,
bool CheckObjCLifetime,
562 QualType *TheOffendingSrcType =
nullptr,
563 QualType *TheOffendingDestType =
nullptr,
568 return CastAwayConstnessKind::CACK_None;
573 "Source type is not pointer or pointer to member.");
576 "Destination type is not pointer or pointer to member.");
585 QualType PrevUnwrappedSrcType = UnwrappedSrcType;
586 QualType PrevUnwrappedDestType = UnwrappedDestType;
587 auto WorstKind = CastAwayConstnessKind::CACK_Similar;
588 bool AllConstSoFar =
true;
590 Self.
Context, UnwrappedSrcType, UnwrappedDestType)) {
593 if (
Kind > WorstKind)
605 UnwrappedDestType->isObjCObjectType())
614 if (SrcCvrQuals != DestCvrQuals) {
615 if (CastAwayQualifiers)
616 *CastAwayQualifiers = SrcCvrQuals - DestCvrQuals;
619 if (!DestCvrQuals.compatiblyIncludes(SrcCvrQuals)) {
620 if (TheOffendingSrcType)
621 *TheOffendingSrcType = PrevUnwrappedSrcType;
622 if (TheOffendingDestType)
623 *TheOffendingDestType = PrevUnwrappedDestType;
634 if (CheckObjCLifetime &&
640 if (AllConstSoFar && !DestQuals.
hasConst()) {
641 AllConstSoFar =
false;
642 if (TheOffendingSrcType)
643 *TheOffendingSrcType = PrevUnwrappedSrcType;
644 if (TheOffendingDestType)
645 *TheOffendingDestType = PrevUnwrappedDestType;
648 PrevUnwrappedSrcType = UnwrappedSrcType;
649 PrevUnwrappedDestType = UnwrappedDestType;
652 return CastAwayConstnessKind::CACK_None;
658 case CastAwayConstnessKind::CACK_None:
659 llvm_unreachable(
"did not cast away constness");
661 case CastAwayConstnessKind::CACK_Similar:
663 case CastAwayConstnessKind::CACK_SimilarKind:
664 DiagID = diag::err_bad_cxx_cast_qualifiers_away;
667 case CastAwayConstnessKind::CACK_Incoherent:
668 DiagID = diag::ext_bad_cxx_cast_qualifiers_away_incoherent;
672 llvm_unreachable(
"unexpected cast away constness kind");
678 void CastOperation::CheckDynamicCast() {
681 else if (isPlaceholder())
700 Self.
Diag(OpRange.
getBegin(), diag::err_bad_dynamic_cast_not_ref_or_ptr)
701 << this->DestType << DestRange;
708 assert(DestPointer &&
"Reference to void is not possible");
709 }
else if (DestRecord) {
711 diag::err_bad_dynamic_cast_incomplete,
717 Self.
Diag(OpRange.
getBegin(), diag::err_bad_dynamic_cast_not_class)
733 Self.
Diag(OpRange.
getBegin(), diag::err_bad_dynamic_cast_not_ptr)
734 << OrigSrcType << SrcExpr.
get()->getSourceRange();
738 }
else if (DestReference->isLValueReferenceType()) {
739 if (!SrcExpr.
get()->isLValue()) {
740 Self.
Diag(OpRange.
getBegin(), diag::err_bad_cxx_cast_rvalue)
741 <<
CT_Dynamic << OrigSrcType << this->DestType << OpRange;
743 SrcPointee = SrcType;
747 if (SrcExpr.
get()->isRValue())
749 SrcType, SrcExpr.
get(),
false);
750 SrcPointee = SrcType;
756 diag::err_bad_dynamic_cast_incomplete,
762 Self.
Diag(OpRange.
getBegin(), diag::err_bad_dynamic_cast_not_class)
768 assert((DestPointer || DestReference) &&
769 "Bad destination non-ptr/ref slipped through.");
770 assert((DestRecord || DestPointee->
isVoidType()) &&
771 "Bad destination pointee slipped through.");
772 assert(SrcRecord &&
"Bad source pointee slipped through.");
776 Self.
Diag(OpRange.
getBegin(), diag::err_bad_cxx_cast_qualifiers_away)
777 <<
CT_Dynamic << OrigSrcType << this->DestType << OpRange;
784 if (DestRecord == SrcRecord) {
800 Kind = CK_DerivedToBase;
806 assert(SrcDecl &&
"Definition missing");
807 if (!cast<CXXRecordDecl>(SrcDecl)->isPolymorphic()) {
808 Self.
Diag(OpRange.
getBegin(), diag::err_bad_dynamic_cast_not_polymorphic)
817 Self.
Diag(OpRange.
getBegin(), diag::err_no_dynamic_cast_with_fno_rtti);
831 void CastOperation::CheckConstCast() {
834 else if (isPlaceholder())
839 unsigned msg = diag::err_bad_cxx_cast_generic;
840 auto TCR =
TryConstCast(Self, SrcExpr, DestType,
false, msg);
843 << SrcExpr.
get()->getType() << DestType << OpRange;
880 ReinterpretKind = ReinterpretUpcast;
882 ReinterpretKind = ReinterpretDowncast;
886 bool VirtualBase =
true;
887 bool NonZeroOffset =
false;
893 bool IsVirtual =
false;
894 for (CXXBasePath::const_iterator IElem = Path.begin(), EElem = Path.end();
895 IElem != EElem; ++IElem) {
896 IsVirtual = IElem->Base->isVirtual();
899 const CXXRecordDecl *BaseRD = IElem->Base->getType()->getAsCXXRecordDecl();
900 assert(BaseRD &&
"Base type should be a valid unqualified class type");
906 !ClassDefinition->isCompleteDefinition())
919 NonZeroOffset =
true;
921 VirtualBase = VirtualBase && IsVirtual;
924 (void) NonZeroOffset;
925 assert((VirtualBase || NonZeroOffset) &&
926 "Should have returned if has non-virtual base with zero offset");
929 ReinterpretKind == ReinterpretUpcast? DestType : SrcType;
931 ReinterpretKind == ReinterpretUpcast? SrcType : DestType;
934 Self.
Diag(BeginLoc, diag::warn_reinterpret_different_from_static)
935 << DerivedType << BaseType << !VirtualBase << int(ReinterpretKind)
937 Self.
Diag(BeginLoc, diag::note_reinterpret_updowncast_use_static)
938 << int(ReinterpretKind)
947 void CastOperation::CheckReinterpretCast() {
948 if (ValueKind ==
VK_RValue && !isPlaceholder(BuiltinType::Overload))
951 checkNonOverloadPlaceholders();
955 unsigned msg = diag::err_bad_cxx_cast_generic;
958 false, OpRange, msg,
Kind);
964 Self.
Diag(OpRange.
getBegin(), diag::err_bad_reinterpret_cast_overload)
966 << DestType << OpRange;
988 void CastOperation::CheckStaticCast() {
989 if (isPlaceholder()) {
990 checkNonOverloadPlaceholders();
1001 if (claimPlaceholder(BuiltinType::Overload)) {
1005 OpRange, DestType, diag::err_bad_static_cast_overload);
1015 !isPlaceholder(BuiltinType::Overload)) {
1021 unsigned msg = diag::err_bad_cxx_cast_generic;
1024 Kind, BasePath,
false);
1030 Self.
Diag(OpRange.
getBegin(), diag::err_bad_static_cast_overload)
1031 << oe->
getName() << DestType << OpRange
1041 if (
Kind == CK_BitCast)
1058 DestPtrType->getPointeeType().getAddressSpace();
1069 bool ListInitialization) {
1095 OpRange, msg,
Kind, BasePath);
1110 Kind, ListInitialization);
1130 if (Enum->getDecl()->isScoped()) {
1132 Kind = CK_IntegralToBoolean;
1135 Kind = CK_IntegralCast;
1138 Kind = CK_IntegralToFloating;
1154 Kind = CK_IntegralCast;
1157 Kind = CK_FloatingToIntegral;
1173 OpRange, msg, Kind, BasePath);
1196 if (DestPointeeQuals != SrcPointeeQuals &&
1198 msg = diag::err_bad_cxx_cast_qualifiers_away;
1203 ? CK_AddressSpaceConversion
1212 Self.
Diag(OpRange.getBegin(), diag::ext_ms_cast_fn_obj) << OpRange;
1220 Kind = CK_CPointerToObjCPointerCast;
1225 Kind = CK_AnyPointerToBlockPointerCast;
1246 if (SrcPointer->getPointeeType()->getAs<
RecordType>() &&
1248 msg = diag::err_bad_cxx_cast_unrelated_class;
1273 bool ObjCConversion;
1274 bool ObjCLifetimeConversion;
1283 SrcExpr->
getBeginLoc(), ToType, FromType, DerivedToBase, ObjCConversion,
1284 ObjCLifetimeConversion);
1291 msg = SrcExpr->
isLValue() ? diag::err_bad_lvalue_to_rvalue_cast
1292 : diag::err_bad_rvalue_to_rvalue_cast;
1296 if (DerivedToBase) {
1297 Kind = CK_DerivedToBase;
1327 if (!DestReference) {
1331 if (!RValueRef && !SrcExpr->
isLValue()) {
1333 msg = diag::err_bad_cxx_cast_rvalue;
1370 msg = diag::err_bad_static_cast_pointer_nonpointer;
1377 CStyle, OpRange, SrcType, DestType, msg, Kind,
1387 QualType OrigDestType,
unsigned &msg,
1425 msg = diag::err_bad_cxx_cast_qualifiers_away;
1429 if (Paths.
isAmbiguous(SrcType.getUnqualifiedType())) {
1439 std::string PathDisplayStr;
1440 std::set<unsigned> DisplayedPaths;
1442 if (DisplayedPaths.insert(Path.back().SubobjectNumber).second) {
1445 PathDisplayStr +=
"\n ";
1447 PathDisplayStr += PE.Base->getType().getAsString() +
" -> ";
1452 Self.
Diag(OpRange.
getBegin(), diag::err_ambiguous_base_to_derived_cast)
1455 << PathDisplayStr << OpRange;
1462 Self.
Diag(OpRange.
getBegin(), diag::err_static_downcast_via_virtual)
1463 << OrigSrcType << OrigDestType << VirtualBase << OpRange;
1472 diag::err_downcast_from_inaccessible_base)) {
1485 Kind = CK_BaseToDerived;
1506 bool WasOverloadedFunction =
false;
1515 WasOverloadedFunction =
true;
1521 msg = diag::err_bad_static_cast_member_pointer_nonmp;
1548 Paths.setRecordingPaths(
true);
1554 Self.
Diag(OpRange.
getBegin(), diag::err_ambiguous_memptr_conv)
1555 << 1 << SrcClass << DestClass << PathDisplayStr << OpRange;
1560 if (
const RecordType *VBase = Paths.getDetectedVirtual()) {
1561 Self.
Diag(OpRange.
getBegin(), diag::err_memptr_conv_via_virtual)
1562 << SrcClass << DestClass <<
QualType(VBase, 0) << OpRange;
1569 DestClass, SrcClass,
1571 diag::err_upcast_to_inaccessible_base)) {
1585 if (WasOverloadedFunction) {
1605 Kind = CK_DerivedToBaseMemberPointer;
1621 diag::err_bad_dynamic_cast_incomplete) ||
1623 diag::err_allocation_of_abstract_type)) {
1637 Expr *SrcExprRaw = SrcExpr.
get();
1660 Kind = CK_ConstructorConversion;
1675 bool NeedToMaterializeTemporary =
false;
1689 if (isa<LValueReferenceType>(DestTypeTmp) && !SrcExpr.
get()->isLValue()) {
1693 msg = diag::err_bad_cxx_cast_rvalue;
1697 if (isa<RValueReferenceType>(DestTypeTmp) && SrcExpr.
get()->isRValue()) {
1701 msg = diag::err_bad_cxx_cast_rvalue;
1707 NeedToMaterializeTemporary =
true;
1715 if (SrcExpr.
get()->refersToBitField()) {
1716 msg = diag::err_bad_cxx_cast_bitfield;
1736 msg = diag::err_bad_const_cast_dest;
1745 msg = diag::err_bad_const_cast_dest;
1758 if (NeedToMaterializeTemporary)
1776 unsigned DiagID = IsDereference ?
1777 diag::warn_pointer_indirection_from_incompatible_type :
1778 diag::warn_undefined_reinterpret_cast;
1780 if (Diags.isIgnored(DiagID, Range.
getBegin()))
1784 if (IsDereference) {
1820 Diag(Range.
getBegin(), DiagID) << SrcType << DestType << Range;
1829 if (SrcPtrTy->isObjCSelType()) {
1831 if (isa<PointerType>(DestType))
1834 Self.
Diag(SrcExpr.
get()->getExprLoc(),
1835 diag::warn_cast_pointer_from_sel)
1836 << SrcType << DestType << SrcExpr.
get()->getSourceRange();
1850 const auto *SrcFTy =
1852 const auto *DstFTy =
1861 Expr *Src = SrcExpr.
get()->IgnoreParenImpCasts();
1862 if (
auto *UO = dyn_cast<UnaryOperator>(Src))
1863 if (UO->getOpcode() == UO_AddrOf)
1877 FD->isVariadic(), FD->isCXXInstanceMember());
1878 if (DstCC == DefaultCC || SrcCC != DefaultCC)
1884 Self.
Diag(OpRange.
getBegin(), diag::warn_cast_calling_conv)
1885 << SrcCCName << DstCCName << OpRange;
1897 SourceLocation NameLoc = FD->getFirstDecl()->getNameInfo().getLoc();
1901 llvm::raw_svector_ostream OS(CCAttrText);
1904 OS <<
"__" << DstCCName;
1911 OS <<
"__attribute__((" << DstCCName <<
"))";
1912 AttrTokens.push_back(tok::kw___attribute);
1913 AttrTokens.push_back(tok::l_paren);
1914 AttrTokens.push_back(tok::l_paren);
1919 AttrTokens.push_back(tok::r_paren);
1920 AttrTokens.push_back(tok::r_paren);
1923 if (!AttrSpelling.empty())
1924 CCAttrText = AttrSpelling;
1926 Self.
Diag(NameLoc, diag::note_change_calling_conv_fixit)
1950 diag::warn_int_to_void_pointer_cast
1951 : diag::warn_int_to_pointer_cast;
1952 Self.
Diag(Loc, Diag) << SrcType << DestType;
1988 bool IsLValueCast =
false;
2000 assert(FixedExpr.
isUsable() &&
"Invalid result fixing overloaded expr");
2001 SrcExpr = FixedExpr;
2002 SrcType = SrcExpr.get()->getType();
2006 if (!SrcExpr.
get()->isGLValue()) {
2009 msg = diag::err_bad_cxx_cast_rvalue;
2022 const char *inappropriate =
nullptr;
2023 switch (SrcExpr.
get()->getObjectKind()) {
2027 msg = diag::err_bad_cxx_cast_bitfield;
2032 case OK_ObjCSubscript: inappropriate =
"container subscripting expression";
2035 if (inappropriate) {
2036 Self.
Diag(OpRange.
getBegin(), diag::err_bad_reinterpret_cast_reference)
2037 << inappropriate << DestType
2038 << OpRange << SrcExpr.
get()->getSourceRange();
2047 IsLValueCast =
true;
2055 if (DestMemPtr && SrcMemPtr) {
2061 SrcMemPtr->isMemberFunctionPointer())
2074 msg = diag::err_bad_cxx_cast_member_pointer_size;
2088 assert(!IsLValueCast);
2089 Kind = CK_ReinterpretMemberPointer;
2101 msg = diag::err_bad_reinterpret_cast_small_int;
2104 Kind = CK_PointerToIntegral;
2112 if (srcIsVector || destIsVector) {
2129 msg = diag::err_bad_cxx_cast_vector_to_scalar_different_size;
2130 else if (!srcIsVector)
2131 msg = diag::err_bad_cxx_cast_scalar_to_vector_different_size;
2133 msg = diag::err_bad_cxx_cast_vector_to_vector_different_size;
2138 if (SrcType == DestType) {
2162 if (!destIsPtr && !srcIsPtr) {
2169 assert(srcIsPtr &&
"One type must be a pointer");
2173 bool MicrosoftException = Self.
getLangOpts().MicrosoftExt &&
2177 !MicrosoftException) {
2178 msg = diag::err_bad_reinterpret_cast_small_int;
2181 Kind = CK_PointerToIntegral;
2186 assert(destIsPtr &&
"One type must be a pointer");
2193 Kind = CK_IntegralToPointer;
2197 if (!destIsPtr || !srcIsPtr) {
2217 Kind = CK_LValueBitCast;
2222 Kind = CK_AnyPointerToBlockPointerCast;
2227 Kind = CK_AddressSpaceConversion;
2235 return SuccessResult;
2249 return SuccessResult;
2260 diag::warn_cxx98_compat_cast_fn_obj : diag::ext_cast_fn_obj)
2262 return SuccessResult;
2269 diag::warn_cxx98_compat_cast_fn_obj : diag::ext_cast_fn_obj)
2271 return SuccessResult;
2279 return SuccessResult;
2282 void CastOperation::checkAddressSpaceCast(
QualType SrcType,
QualType DestType) {
2293 if (!DestPtrType->isAddressSpaceOverlapping(*SrcPtrType)) {
2295 diag::err_typecheck_incompatible_address_space)
2297 << SrcExpr.
get()->getSourceRange();
2303 void CastOperation::CheckCXXCStyleCast(
bool FunctionalStyle,
2304 bool ListInitialization) {
2308 if (isPlaceholder()) {
2310 if (claimPlaceholder(BuiltinType::UnknownAny)) {
2313 ValueKind, BasePath);
2317 checkNonOverloadPlaceholders();
2328 if (claimPlaceholder(BuiltinType::Overload)) {
2331 true, DestRange, DestType,
2332 diag::err_bad_cstyle_cast_overload);
2343 SrcExpr.
get()->isValueDependent()) {
2344 assert(
Kind == CK_Dependent);
2349 !isPlaceholder(BuiltinType::Overload)) {
2358 && (SrcExpr.
get()->getType()->isIntegerType()
2359 || SrcExpr.
get()->getType()->isFloatingType())) {
2360 Kind = CK_VectorSplat;
2376 unsigned msg = diag::err_bad_cxx_cast_generic;
2390 msg,
Kind, BasePath, ListInitialization);
2397 OpRange, msg,
Kind);
2405 checkObjCConversion(CCK);
2419 Self.
Diag(OpRange.
getBegin(), diag::err_bad_cstyle_cast_overload)
2420 << OE->
getName() << DestType << OpRange
2426 OpRange, SrcExpr.
get(), DestType, ListInitialization);
2430 checkAddressSpaceCast(SrcExpr.
get()->getType(), DestType);
2433 if (
Kind == CK_BitCast)
2446 SrcExpr.
get()->getExprLoc()))
2449 if (!isa<CallExpr>(SrcExpr.
get()))
2471 Self.
Diag(SrcExpr.
get()->getExprLoc(),
2472 diag::warn_bad_function_cast)
2473 << SrcType << DestType << SrcExpr.
get()->getSourceRange();
2477 void CastOperation::CheckCStyleCast() {
2481 if (claimPlaceholder(BuiltinType::UnknownAny)) {
2484 ValueKind, BasePath);
2505 SrcExpr.
get(), DestType,
true, DAP))
2512 if (SrcExpr.isInvalid())
2514 QualType SrcType = SrcExpr.get()->getType();
2518 checkAddressSpaceCast(SrcType, DestType);
2519 if (SrcExpr.isInvalid())
2523 diag::err_typecheck_cast_to_incomplete)) {
2533 Self.
Diag(OpRange.
getBegin(), diag::ext_typecheck_cast_nonscalar)
2534 << DestType << SrcExpr.get()->getSourceRange();
2543 Self.
Diag(OpRange.
getBegin(), diag::ext_typecheck_cast_to_union)
2544 << SrcExpr.get()->getSourceRange();
2548 Self.
Diag(OpRange.
getBegin(), diag::err_typecheck_cast_to_union_no_type)
2549 << SrcType << SrcExpr.get()->getSourceRange();
2558 if (SrcExpr.get()->EvaluateAsInt(Result, Self.
Context)) {
2559 llvm::APSInt CastInt = Result.
Val.
getInt();
2561 Kind = CK_ZeroToOCLOpaqueType;
2565 diag::err_opencl_cast_non_zero_to_event_t)
2566 << CastInt.toString(10) << SrcExpr.get()->getSourceRange();
2573 Self.
Diag(OpRange.
getBegin(), diag::err_typecheck_cond_expect_scalar)
2574 << DestType << SrcExpr.get()->getSourceRange();
2583 Self.
Diag(SrcExpr.get()->getExprLoc(),
2584 diag::err_typecheck_expect_scalar_operand)
2585 << SrcType << SrcExpr.get()->getSourceRange();
2598 Kind = CK_VectorSplat;
2617 if (isa<ObjCSelectorExpr>(SrcExpr.get())) {
2618 Self.
Diag(SrcExpr.get()->getExprLoc(), diag::err_cast_selector_expr);
2627 Self.
Diag(SrcExpr.get()->getExprLoc(),
2628 diag::err_cast_pointer_from_non_pointer_int)
2629 << SrcType << SrcExpr.get()->getSourceRange();
2638 Self.
Diag(SrcExpr.get()->getBeginLoc(),
2639 diag::err_cast_pointer_to_non_pointer_int)
2640 << DestType << SrcExpr.get()->getSourceRange();
2649 Self.
Diag(SrcExpr.get()->getBeginLoc(), diag::err_opencl_cast_to_half)
2650 << DestType << SrcExpr.get()->getSourceRange();
2659 if (SrcExpr.isInvalid())
2663 if (Self.
getLangOpts().ObjCAutoRefCount && CastPtr) {
2666 Qualifiers ExprQuals = ExprPtr->getPointeeType().getQualifiers();
2668 ExprPtr->getPointeeType()->isObjCLifetimeType() &&
2670 Self.
Diag(SrcExpr.get()->getBeginLoc(),
2671 diag::err_typecheck_incompatible_ownership)
2673 << SrcExpr.get()->getSourceRange();
2679 Self.
Diag(SrcExpr.get()->getBeginLoc(),
2680 diag::err_arc_convesion_of_weak_unavailable)
2681 << 1 << SrcType << DestType << SrcExpr.get()->getSourceRange();
2691 if (SrcExpr.isInvalid())
2694 if (
Kind == CK_BitCast)
2710 QualType TheOffendingSrcType, TheOffendingDestType;
2713 &TheOffendingSrcType, &TheOffendingDestType,
2714 &CastAwayQualifiers) !=
2715 CastAwayConstnessKind::CACK_Similar)
2719 int qualifiers = -1;
2722 }
else if (CastAwayQualifiers.
hasConst()) {
2728 if (qualifiers == -1)
2729 Self.
Diag(SrcExpr.
get()->getBeginLoc(), diag::warn_cast_qual2)
2730 << SrcType << DestType;
2732 Self.
Diag(SrcExpr.
get()->getBeginLoc(), diag::warn_cast_qual)
2733 << TheOffendingSrcType << TheOffendingDestType << qualifiers;
2740 CastOperation Op(*
this, CastTypeInfo->
getType(), CastExpr);
2744 if (getLangOpts().CPlusPlus) {
2745 Op.CheckCXXCStyleCast(
false,
2746 isa<InitListExpr>(CastExpr));
2748 Op.CheckCStyleCast();
2751 if (Op.SrcExpr.isInvalid())
2758 Op.ValueKind, Op.Kind, Op.SrcExpr.get(),
2759 &Op.BasePath, CastTypeInfo, LPLoc, RPLoc));
2767 assert(LPLoc.
isValid() &&
"List-initialization shouldn't get here.");
2768 CastOperation Op(*
this, Type, CastExpr);
2772 Op.CheckCXXCStyleCast(
true,
false);
2773 if (Op.SrcExpr.isInvalid())
2776 auto *SubExpr = Op.SrcExpr.
get();
2777 if (
auto *BindExpr = dyn_cast<CXXBindTemporaryExpr>(SubExpr))
2778 SubExpr = BindExpr->getSubExpr();
2779 if (
auto *ConstructExpr = dyn_cast<CXXConstructExpr>(SubExpr))
2780 ConstructExpr->setParenOrBraceRange(
SourceRange(LPLoc, RPLoc));
2783 Op.ValueKind, CastTypeInfo, Op.Kind,
2784 Op.SrcExpr.get(), &Op.BasePath, LPLoc, RPLoc));
Defines the clang::ASTContext interface.
bool RequireNonAbstractType(SourceLocation Loc, QualType T, TypeDiagnoser &Diagnoser)
Represents a function declaration or definition.
static bool IsAddressSpaceConversion(QualType SrcType, QualType DestType)
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
PointerType - C99 6.7.5.1 - Pointer Declarators.
QualType getPointeeType() const
A (possibly-)qualified type.
bool isBlockPointerType() const
bool isMemberPointerType() const
IdentifierInfo * getIdentifierInfo(StringRef Name) const
Return information about the specified preprocessor identifier token.
A cast other than a C-style cast.
SourceRange getSourceRange() const LLVM_READONLY
Retrieve the source range covering the entirety of this nested-name-specifier.
const ASTRecordLayout & getASTRecordLayout(const RecordDecl *D) const
Get or compute information about the layout of the specified record (struct/union/class) D...
bool isArithmeticType() const
FunctionType - C99 6.7.5.3 - Function Declarators.
ARCConversionResult CheckObjCConversion(SourceRange castRange, QualType castType, Expr *&op, CheckedConversionKind CCK, bool Diagnose=true, bool DiagnoseCFAudited=false, BinaryOperatorKind Opc=BO_PtrMemD)
Checks for invalid conversions and casts between retainable pointers and other pointer kinds for ARC ...
QualType getPointeeType() const
If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee...
CharUnits getBaseClassOffset(const CXXRecordDecl *Base) const
getBaseClassOffset - Get the offset, in chars, for the given base class.
static CXXDynamicCastExpr * Create(const ASTContext &Context, QualType T, ExprValueKind VK, CastKind Kind, Expr *Op, const CXXCastPath *Path, TypeSourceInfo *Written, SourceLocation L, SourceLocation RParenLoc, SourceRange AngleBrackets)
bool isRealFloatingType() const
Floating point categories.
bool isRecordType() const
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID)
Emit a diagnostic.
static TryCastResult TryStaticCast(Sema &Self, ExprResult &SrcExpr, QualType DestType, Sema::CheckedConversionKind CCK, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath, bool ListInitialization)
TryStaticCast - Check if a static cast can be performed, and do so if possible.
bool isExtVectorType() const
The cast method is appropriate and successful.
FailureKind getFailureKind() const
Determine why initialization failed.
CanQualType ARCUnbridgedCastTy
The base class of the type hierarchy.
bool isDerivedFrom(const CXXRecordDecl *Base) const
Determine whether this class is derived from the class Base.
StringRef getLastMacroWithSpelling(SourceLocation Loc, ArrayRef< TokenValue > Tokens) const
Return the name of the macro defined before Loc that has spelling Tokens.
static ExprValueKind getValueKindForType(QualType T)
getValueKindForType - Given a formal return or parameter type, give its value kind.
Overloading for a user-defined conversion failed.
bool isZero() const
isZero - Test whether the quantity equals zero.
Ambiguous candidates found.
const TargetInfo & getTargetInfo() const
A container of type source information.
static CXXFunctionalCastExpr * Create(const ASTContext &Context, QualType T, ExprValueKind VK, TypeSourceInfo *Written, CastKind Kind, Expr *Op, const CXXCastPath *Path, SourceLocation LPLoc, SourceLocation RPLoc)
Represents a path from a specific derived class (which is not represented as part of the path) to a p...
static InitializedEntity InitializeTemporary(QualType Type)
Create the initialization entity for a temporary.
bool isCompleteDefinition() const
Return true if this decl has its body fully specified.
bool isUnsignedIntegerType() const
Return true if this is an integer type that is unsigned, according to C99 6.2.5p6 [which returns true...
bool CheckVectorCast(SourceRange R, QualType VectorTy, QualType Ty, CastKind &Kind)
An Objective-C array/dictionary subscripting which reads an object or writes at the subscripted array...
Information about one declarator, including the parsed type information and the identifier.
void removeObjCLifetime()
DiagnosticsEngine & Diags
bool isEnumeralType() const
static void DiagnoseCallingConvCast(Sema &Self, const ExprResult &SrcExpr, QualType DstType, SourceRange OpRange)
Diagnose casts that change the calling convention of a pointer to a function defined in the current T...
const T * getAs() const
Member-template getAs<specific type>'.
void clear()
Clear the base-paths results.
CastAwayConstnessKind
The kind of unwrapping we did when determining whether a conversion casts away constness.
QualType getMemberPointerType(QualType T, const Type *Cls) const
Return the uniqued reference to the type for a member pointer to the specified type in the specified ...
DeclarationName getName() const
Gets the name looked up.
bool isInvalidDecl() const
OpenCLOptions & getOpenCLOptions()
Defines the clang::Expr interface and subclasses for C++ expressions.
The collection of all-type qualifiers we support.
bool isRecordingPaths() const
Whether we are recording paths.
bool UnwrapSimilarTypes(QualType &T1, QualType &T2)
Attempt to unwrap two types that may be similar (C++ [conv.qual]).
Expr * FixOverloadedFunctionReference(Expr *E, DeclAccessPair FoundDecl, FunctionDecl *Fn)
FixOverloadedFunctionReference - E is an expression that refers to a C++ overloaded function (possibl...
Represents a struct/union/class.
One of these records is kept for each identifier that is lexed.
TargetCXXABI getCXXABI() const
Get the C++ ABI currently in use.
void setRecordingPaths(bool RP)
Specify whether we should be recording paths or not.
A vector component is an element or range of elements on a vector.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
bool allowsNonTrivialObjCLifetimeQualifiers() const
True if any ObjC types may have non-trivial lifetime qualifiers.
bool isObjCLifetimeType() const
Returns true if objects of this type have lifetime semantics under ARC.
The cast method is not applicable.
RecordDecl * getDefinition() const
Returns the RecordDecl that actually defines this struct/union/class.
bool IsDerivedFrom(SourceLocation Loc, QualType Derived, QualType Base)
Determine whether the type Derived is a C++ class that is derived from the type Base.
SourceLocation getBeginLoc() const LLVM_READONLY
static TryCastResult getCastAwayConstnessCastKind(CastAwayConstnessKind CACK, unsigned &DiagID)
bool isReferenceType() const
static CharUnits Zero()
Zero - Construct a CharUnits quantity of zero.
Ref_Incompatible - The two types are incompatible, so direct reference binding is not possible...
bool isAtLeastAsQualifiedAs(QualType Other) const
Determine whether this type is at least as qualified as the other given type, requiring exact equalit...
bool isIntegralOrEnumerationType() const
Determine whether this type is an integral or enumeration type.
OverloadCandidateDisplayKind
An r-value expression (a pr-value in the C++11 taxonomy) produces a temporary value.
bool isInvalidType() const
static bool isValidCast(TryCastResult TCR)
bool isCompleteType(SourceLocation Loc, QualType T)
An rvalue reference type, per C++11 [dcl.ref].
tok::TokenKind getTokenID() const
If this is a source-language token (e.g.
CharUnits - This is an opaque type for sizes expressed in character units.
ReferenceCompareResult CompareReferenceRelationship(SourceLocation Loc, QualType T1, QualType T2, bool &DerivedToBase, bool &ObjCConversion, bool &ObjCLifetimeConversion)
CompareReferenceRelationship - Compare the two types T1 and T2 to determine whether they are referenc...
Succeeded, but refers to a deleted function.
APValue Val
Val - This is the value the expression can be folded to.
Ref_Compatible - The two types are reference-compatible.
OverloadCandidateSet & getFailedCandidateSet()
Retrieve a reference to the candidate set when overload resolution fails.
ExprValueKind getValueKind() const
getValueKind - The value kind that this expression produces.
const Type * getClass() const
bool isRValueReferenceType() const
CheckedConversionKind
The kind of conversion being performed.
static TryCastResult TryReinterpretCast(Sema &Self, ExprResult &SrcExpr, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind)
FunctionDecl * ResolveAddressOfOverloadedFunction(Expr *AddressOfExpr, QualType TargetType, bool Complain, DeclAccessPair &Found, bool *pHadMultipleCandidates=nullptr)
ResolveAddressOfOverloadedFunction - Try to resolve the address of an overloaded function (C++ [over...
ExprResult Perform(Sema &S, const InitializedEntity &Entity, const InitializationKind &Kind, MultiExprArg Args, QualType *ResultType=nullptr)
Perform the actual initialization of the given entity based on the computed initialization sequence...
const RecordType * getDetectedVirtual() const
The virtual base discovered on the path (if we are merely detecting virtuals).
const Type * getTypePtr() const
Retrieves a pointer to the underlying (unqualified) type.
CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...
static void DiagnoseCastQual(Sema &Self, const ExprResult &SrcExpr, QualType DestType)
DiagnoseCastQual - Warn whenever casts discards a qualifiers, be it either const, volatile or both...
const internal::VariadicDynCastAllOfMatcher< Stmt, CastExpr > castExpr
Matches any cast nodes of Clang's AST.
const LangOptions & getLangOpts() const
ExprResult DefaultFunctionArrayLvalueConversion(Expr *E, bool Diagnose=true)
bool isScalarType() const
bool compatiblyIncludesObjCLifetime(Qualifiers other) const
Determines if these qualifiers compatibly include another set of qualifiers from the narrow perspecti...
An ordinary object is located at an address in memory.
CastKind PrepareScalarCast(ExprResult &src, QualType destType)
Prepares for a scalar cast, performing all the necessary stages except the final cast and returning t...
static CastAwayConstnessKind unwrapCastAwayConstnessLevel(ASTContext &Context, QualType &T1, QualType &T2)
Unwrap one level of types for CastsAwayConstness.
Sema - This implements semantic analysis and AST building for C.
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
bool compatiblyIncludes(Qualifiers other) const
Determines if these qualifiers compatibly include another set.
bool isComplexType() const
isComplexType() does not include complex integers (a GCC extension).
CastKind
CastKind - The kind of operation required for a conversion.
static ImplicitCastExpr * Create(const ASTContext &Context, QualType T, CastKind Kind, Expr *Operand, const CXXCastPath *BasePath, ExprValueKind Cat)
bool UnwrapSimilarArrayTypes(QualType &T1, QualType &T2)
Attempt to unwrap two types that may both be array types with the same bound (or both be array types ...
static TryCastResult TryConstCast(Sema &Self, ExprResult &SrcExpr, QualType DestType, bool CStyle, unsigned &msg)
TryConstCast - See if a const_cast from source to destination is allowed, and perform it if it is...
bool isEnabled(llvm::StringRef Ext) const
ASTRecordLayout - This class contains layout information for one RecordDecl, which is a struct/union/...
An Objective-C property is a logical field of an Objective-C object which is read and written via Obj...
This represents one expression.
static void diagnoseBadCast(Sema &S, unsigned msg, CastType castType, SourceRange opRange, Expr *src, QualType destType, bool listInitialization)
Diagnose a failed cast.
QualType getPointeeType() const
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
static InitializationKind CreateFunctionalCast(SourceRange TypeRange, bool InitList)
Create a direct initialization for a functional cast.
void BuildBasePathArray(const CXXBasePaths &Paths, CXXCastPath &BasePath)
static FindResult find(Expr *E)
Finds the overloaded expression in the given expression E of OverloadTy.
const CXXRecordDecl * getPointeeCXXRecordDecl() const
If this is a pointer or reference to a RecordType, return the CXXRecordDecl that the type refers to...
const T * castAs() const
Member-template castAs<specific type>.
OverloadingResult getFailedOverloadResult() const
Get the overloading result, for when the initialization sequence failed due to a bad overload...
The cast method is appropriate and accepted as a language extension.
Defines the clang::Preprocessor interface.
bool isNullPtrType() const
static CXXStaticCastExpr * Create(const ASTContext &Context, QualType T, ExprValueKind VK, CastKind K, Expr *Op, const CXXCastPath *Path, TypeSourceInfo *Written, SourceLocation L, SourceLocation RParenLoc, SourceRange AngleBrackets)
CXXRecordDecl * getDefinition() const
Overload resolution succeeded.
ExprResult BuildCXXNamedCast(SourceLocation OpLoc, tok::TokenKind Kind, TypeSourceInfo *Ty, Expr *E, SourceRange AngleBrackets, SourceRange Parens)
Stores token information for comparing actual tokens with predefined values.
ExprResult CheckPlaceholderExpr(Expr *E)
Check for operands with placeholder types and complain if found.
static TryCastResult TryStaticImplicitCast(Sema &Self, ExprResult &SrcExpr, QualType DestType, Sema::CheckedConversionKind CCK, SourceRange OpRange, unsigned &msg, CastKind &Kind, bool ListInitialization)
TryStaticImplicitCast - Tests whether a conversion according to C++ 5.2.9p2 is valid: ...
bool isConstructorInitialization() const
Determine whether this initialization is direct call to a constructor.
ReferenceCompareResult
ReferenceCompareResult - Expresses the result of comparing two types (cv1 T1 and cv2 T2) to determine...
bool RequireCompleteType(SourceLocation Loc, QualType T, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
bool isSignedIntegerType() const
Return true if this is an integer type that is signed, according to C99 6.2.5p4 [char, signed char, short, int, long..], or an enum decl which has a signed representation.
static TryCastResult TryStaticMemberPointerUpcast(Sema &Self, ExprResult &SrcExpr, QualType SrcType, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
TryStaticMemberPointerUpcast - Tests whether a conversion according to C++ 5.2.9p9 is valid: ...
bool ResolveAndFixSingleFunctionTemplateSpecialization(ExprResult &SrcExpr, bool DoFunctionPointerConverion=false, bool Complain=false, SourceRange OpRangeForComplaining=SourceRange(), QualType DestTypeForComplaining=QualType(), unsigned DiagIDForComplaining=0)
bool resolveAndFixAddressOfOnlyViableOverloadCandidate(ExprResult &SrcExpr, bool DoFunctionPointerConversion=false)
Given an overloaded function, tries to turn it into a non-overloaded function reference using resolve...
bool isAtLeastAsQualifiedAs(CanQual< T > Other) const
Determines whether this canonical type is at least as qualified as the Other canonical type...
SourceLocation getEnd() const
Preprocessor & getPreprocessor() const
Represents a GCC generic vector type.
static TryCastResult TryStaticReferenceDowncast(Sema &Self, Expr *SrcExpr, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
Tests whether a conversion according to C++ 5.2.9p5 is valid.
bool CheckTollFreeBridgeStaticCast(QualType castType, Expr *castExpr, CastKind &Kind)
QualType getTypeDeclType(const TypeDecl *Decl, const TypeDecl *PrevDecl=nullptr) const
Return the unique reference to the type for the specified type declaration.
The result type of a method or function.
CallingConv
CallingConv - Specifies the calling convention that a function uses.
bool isKeyword(const LangOptions &LangOpts) const
Return true if this token is a keyword in the specified language.
SourceLocation getEndLoc() const LLVM_READONLY
unsigned getCVRQualifiers() const
Retrieve the set of CVR (const-volatile-restrict) qualifiers applied to this type.
ExprResult BuildCStyleCastExpr(SourceLocation LParenLoc, TypeSourceInfo *Ty, SourceLocation RParenLoc, Expr *Op)
bool isVoidPointerType() const
bool areLaxCompatibleVectorTypes(QualType srcType, QualType destType)
Are the two types lax-compatible vector types? That is, given that one of them is a vector...
RecordDecl * getDecl() const
static TryCastResult TryStaticDowncast(Sema &Self, CanQualType SrcType, CanQualType DestType, bool CStyle, SourceRange OpRange, QualType OrigSrcType, QualType OrigDestType, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
TryStaticDowncast - Common functionality of TryStaticReferenceDowncast and TryStaticPointerDowncast.
static CXXConstCastExpr * Create(const ASTContext &Context, QualType T, ExprValueKind VK, Expr *Op, TypeSourceInfo *WrittenTy, SourceLocation L, SourceLocation RParenLoc, SourceRange AngleBrackets)
A reference to an overloaded function set, either an UnresolvedLookupExpr or an UnresolvedMemberExpr...
ActionResult - This structure is used while parsing/acting on expressions, stmts, etc...
ASTContext & getASTContext() const
Encodes a location in the source.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of enums...
CastKind PrepareCastToObjCObjectPointer(ExprResult &E)
Prepare a conversion of the given expression to an ObjC object pointer type.
LangAS getAddressSpace() const
Return the address space of this type.
static TryCastResult TryStaticPointerDowncast(Sema &Self, QualType SrcType, QualType DestType, bool CStyle, SourceRange OpRange, unsigned &msg, CastKind &Kind, CXXCastPath &BasePath)
Tests whether a conversion according to C++ 5.2.9p8 is valid.
static const FieldDecl * getTargetFieldForToUnionCast(QualType unionType, QualType opType)
bool isIntegralType(const ASTContext &Ctx) const
Determine whether this type is an integral type.
Represents a static or instance method of a struct/union/class.
ExprResult ActOnCXXNamedCast(SourceLocation OpLoc, tok::TokenKind Kind, SourceLocation LAngleBracketLoc, Declarator &D, SourceLocation RAngleBracketLoc, SourceLocation LParenLoc, Expr *E, SourceLocation RParenLoc)
ActOnCXXNamedCast - Parse {dynamic,static,reinterpret,const}_cast's.
bool CheckObjCARCUnavailableWeakConversion(QualType castType, QualType ExprType)
std::string getAmbiguousPathsDisplayString(CXXBasePaths &Paths)
Builds a string representing ambiguous paths from a specific derived class to different subobjects of...
const ArrayType * getAsArrayType(QualType T) const
Type Query functions.
Represents a canonical, potentially-qualified type.
TokenKind
Provides a simple uniform namespace for tokens from all C languages.
Describes the kind of initialization being performed, along with location information for tokens rela...
bool isMemberFunctionPointerType() const
bool isObjCObjectPointerType() const
bool isAnyPointerType() const
ImplicitCastExpr - Allows us to explicitly represent implicit type conversions, which have no direct ...
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language...
Overloading for initialization by constructor failed.
Requests that all candidates be shown.
bool isAnyCharacterType() const
Determine whether this type is any of the built-in character types.
bool isVectorType() const
OverloadCandidateSet - A set of overload candidates, used in C++ overload resolution (C++ 13...
static InitializationKind CreateCast(SourceRange TypeRange)
Create a direct initialization due to a cast that isn't a C-style or functional cast.
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
static CXXReinterpretCastExpr * Create(const ASTContext &Context, QualType T, ExprValueKind VK, CastKind Kind, Expr *Op, const CXXCastPath *Path, TypeSourceInfo *WrittenTy, SourceLocation L, SourceLocation RParenLoc, SourceRange AngleBrackets)
CanProxy< U > getAs() const
Retrieve a canonical type pointer with a different static type, upcasting or downcasting as needed...
ExprResult checkUnknownAnyCast(SourceRange TypeRange, QualType CastType, Expr *CastExpr, CastKind &CastKind, ExprValueKind &VK, CXXCastPath &Path)
Check a cast of an unknown-any type.
A POD class for pairing a NamedDecl* with an access specifier.
bool isPlaceholderType() const
Test for a type which does not represent an actual type-system type but is instead used as a placehol...
Represents an element in a path from a derived class to a base class.
CallingConv getDefaultCallingConvention(bool IsVariadic, bool IsCXXMethod) const
Retrieves the default calling convention for the current target.
std::list< CXXBasePath >::const_iterator const_paths_iterator
Dataflow Directional Tag Classes.
bool isValid() const
Return true if this is a valid SourceLocation object.
EvalResult is a struct with detailed info about an evaluated expression.
void CheckCompatibleReinterpretCast(QualType SrcType, QualType DestType, bool IsDereference, SourceRange Range)
bool hasCvrSimilarType(QualType T1, QualType T2)
Determine if two types are similar, ignoring only CVR qualifiers.
The cast method is appropriate, but failed.
static std::string getAsString(SplitQualType split, const PrintingPolicy &Policy)
const CXXRecordDecl * getParent() const
Returns the parent of this method declaration, which is the class in which this method is defined...
bool isBooleanType() const
ExprResult prepareVectorSplat(QualType VectorTy, Expr *SplattedExpr)
Prepare SplattedExpr for a vector splat operation, adding implicit casts if necessary.
static void checkIntToPointerCast(bool CStyle, SourceLocation Loc, const Expr *SrcExpr, QualType DestType, Sema &Self)
Requests that only viable candidates be shown.
bool isAmbiguous(CanQualType BaseType)
Determine whether the path from the most-derived type to the given base type is ambiguous (i...
A pointer to member type per C++ 8.3.3 - Pointers to members.
bool isIntegerConstantExpr(llvm::APSInt &Result, const ASTContext &Ctx, SourceLocation *Loc=nullptr, bool isEvaluated=true) const
isIntegerConstantExpr - Return true if this expression is a valid integer constant expression...
static InitializationKind CreateCStyleCast(SourceLocation StartLoc, SourceRange TypeRange, bool InitList)
Create a direct initialization for a C-style cast.
void CheckCastAlign(Expr *Op, QualType T, SourceRange TRange)
CheckCastAlign - Implements -Wcast-align, which warns when a pointer cast increases the alignment req...
static void DiagnoseCastOfObjCSEL(Sema &Self, const ExprResult &SrcExpr, QualType DestType)
static bool fixOverloadedReinterpretCastExpr(Sema &Self, QualType DestType, ExprResult &Result)
Expr * IgnoreParenImpCasts() LLVM_READONLY
IgnoreParenImpCasts - Ignore parentheses and implicit casts.
ExprResult IgnoredValueConversions(Expr *E)
IgnoredValueConversions - Given that an expression's result is syntactically ignored, perform any conversions that are required.
SourceRange getSourceRange() const LLVM_READONLY
Get the full source range.
A helper class that allows the use of isa/cast/dyncast to detect TagType objects of structs/unions/cl...
static bool tryDiagnoseOverloadedCast(Sema &S, CastType CT, SourceRange range, Expr *src, QualType destType, bool listInitialization)
Try to diagnose a failed overloaded cast.
bool isIntegerType() const
isIntegerType() does not include complex integers (a GCC extension).
ExprResult CheckExtVectorCast(SourceRange R, QualType DestTy, Expr *CastExpr, CastKind &Kind)
static CStyleCastExpr * Create(const ASTContext &Context, QualType T, ExprValueKind VK, CastKind K, Expr *Op, const CXXCastPath *BasePath, TypeSourceInfo *WrittenTy, SourceLocation L, SourceLocation R)
bool CheckDerivedToBaseConversion(QualType Derived, QualType Base, SourceLocation Loc, SourceRange Range, CXXCastPath *BasePath=nullptr, bool IgnoreAccess=false)
bool isFunctionType() const
MaterializeTemporaryExpr * CreateMaterializeTemporaryExpr(QualType T, Expr *Temporary, bool BoundToLvalueReference)
Base for LValueReferenceType and RValueReferenceType.
bool hasSameType(QualType T1, QualType T2) const
Determine whether the given types T1 and T2 are equivalent.
static TryCastResult TryLValueToRValueCast(Sema &Self, Expr *SrcExpr, QualType DestType, bool CStyle, CastKind &Kind, CXXCastPath &BasePath, unsigned &msg)
Tests whether a conversion according to N2844 is valid.
static FixItHint CreateInsertion(SourceLocation InsertionLoc, StringRef Code, bool BeforePreviousInsertions=false)
Create a code modification hint that inserts the given code string at a specific location.
Implements a partial diagnostic that can be emitted anwyhere in a DiagnosticBuilder stream...
QualType getNonLValueExprType(const ASTContext &Context) const
Determine the type of a (typically non-lvalue) expression with the specified result type...
A bitfield object is a bitfield on a C or C++ record.
uint64_t getTypeSize(QualType T) const
Return the size of the specified (complete) type T, in bits.
bool isObjCObjectType() const
QualType withCVRQualifiers(unsigned CVR) const
CanQualType getCanonicalType(QualType T) const
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
bool isLValueReferenceType() const
ExprResult BuildCXXFunctionalCastExpr(TypeSourceInfo *TInfo, QualType Type, SourceLocation LParenLoc, Expr *CastExpr, SourceLocation RParenLoc)
TypeLoc getTypeLoc() const
Return the TypeLoc wrapper for the type source info.
bool Failed() const
Determine whether the initialization sequence is invalid.
CallingConv getCallConv() const
Describes the sequence of initializations required to initialize a given object or reference with a s...
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
Represents a C++ struct/union/class.
bool isMemberFunctionPointer() const
Returns true if the member type (i.e.
static CastAwayConstnessKind CastsAwayConstness(Sema &Self, QualType SrcType, QualType DestType, bool CheckCVR, bool CheckObjCLifetime, QualType *TheOffendingSrcType=nullptr, QualType *TheOffendingDestType=nullptr, Qualifiers *CastAwayQualifiers=nullptr)
Check if the pointer conversion from SrcType to DestType casts away constness as defined in C++ [expr...
Qualifiers getQualifiers() const
Retrieve the set of qualifiers applied to this type.
AccessResult CheckBaseClassAccess(SourceLocation AccessLoc, QualType Base, QualType Derived, const CXXBasePath &Path, unsigned DiagID, bool ForceCheck=false, bool ForceUnprivileged=false)
Checks access for a hierarchy conversion.
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
static FixItHint CreateReplacement(CharSourceRange RemoveRange, StringRef Code)
Create a code modification hint that replaces the given source range with the given code string...
This class is used for builtin types like 'int'.
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
Defines the clang::TargetInfo interface.
bool isComplexIntegerType() const
bool isMicrosoft() const
Is this ABI an MSVC-compatible ABI?
unsigned getCVRQualifiers() const
static Qualifiers fromCVRMask(unsigned CVR)
static void DiagnoseBadFunctionCast(Sema &Self, const ExprResult &SrcExpr, QualType DestType)
DiagnoseBadFunctionCast - Warn whenever a function call is cast to a non-matching type...
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
A reference to a declared variable, function, enum, etc.
bool isIgnored(unsigned DiagID, SourceLocation Loc) const
Determine whether the diagnostic is known to be ignored.
NestedNameSpecifierLoc getQualifierLoc() const
Fetches the nested-name qualifier with source-location information, if one was given.
bool isPointerType() const
void NoteAllOverloadCandidates(Expr *E, QualType DestType=QualType(), bool TakingAddress=false)
BasePaths - Represents the set of paths from a derived class to one of its (direct or indirect) bases...
No viable function found.
static StringRef getNameForCallConv(CallingConv CC)
bool isFloatingType() const
A trivial tuple used to represent a source range.
Describes an entity that is being initialized.
bool isFunctionPointerType() const
SourceLocation getBegin() const
const LangOptions & getLangOpts() const
void NoteCandidates(Sema &S, OverloadCandidateDisplayKind OCD, ArrayRef< Expr *> Args, StringRef Opc="", SourceLocation Loc=SourceLocation(), llvm::function_ref< bool(OverloadCandidate &)> Filter=[](OverloadCandidate &) { return true;})
When overload resolution fails, prints diagnostic messages containing the candidates in the candidate...
QualType getUnqualifiedArrayType(QualType T, Qualifiers &Quals)
Return this type as a completely-unqualified array type, capturing the qualifiers in Quals...
bool isIncompleteOrObjectType() const
Return true if this is an incomplete or object type, in other words, not a function type...
QualType getPointeeType() const
static void DiagnoseReinterpretUpDownCast(Sema &Self, const Expr *SrcExpr, QualType DestType, SourceRange OpRange)
Check that a reinterpret_cast<DestType>(SrcExpr) is not used as upcast or downcast between respective...
QualType getType() const
Return the type wrapped by this type source info.
Engages in a tight little dance with the lexer to efficiently preprocess tokens.