27#include "llvm/ADT/STLExtras.h"
76 if (CandDecl->isInvalidDecl())
84 ThisTy, Classification,
101 CtorInfo.ConstructorTmpl, CtorInfo.FoundDecl,
nullptr,
119 bool AllowUserDefined) {
127 return Decl && (AllowUserDefined || !
Decl->isUserProvided()) &&
143 return Decl && (AllowUserDefined || !
Decl->isUserProvided()) &&
184 const auto *BaseDecl = B.getType()->getAsCXXRecordDecl();
189 if (B.isVirtual() || (!BaseDecl->isDependentType() &&
196 if (Field->getType()->isDependentType())
198 if (Field->getType()->isReferenceType())
219 const auto *BaseDecl = B.getType()->getAsCXXRecordDecl();
223 if (!BaseDecl->isDependentType() &&
229 if (Field->getType()->isDependentType())
250 auto HasSuitableSMP = [&] {
257 auto IsUnion = [&, Is = std::optional<bool>{}]()
mutable {
281 if (D->
hasAttr<TriviallyRelocatableAttr>())
301 if (D->
hasAttr<ReplaceableAttr>())
302 return HasSuitableSMP();
306 return HasSuitableSMP();
316 if (std::optional<ASTContext::CXXRecordDeclRelocationInfo> Info =
318 return Info->IsRelocatable;
337 if (
Context.containsNonRelocatablePointerAuth(
Type))
350 if (std::optional<ASTContext::CXXRecordDeclRelocationInfo> Info =
352 return Info->IsReplaceable;
360 if (
Type.isConstQualified() ||
Type.isVolatileQualified())
373 return ::IsCXXReplaceableType(*
this, RD);
383 if (!
T->getType()->isVariableArrayType())
386 S.
Diag(
T->getTypeLoc().getBeginLoc(), diag::err_vla_unsupported)
397 if (!
T->getType()->isAtomicType())
400 S.
Diag(
T->getTypeLoc().getBeginLoc(), diag::err_atomic_unsupported)
425 llvm_unreachable(
"not a UTT");
427 case UTT_IsCompleteType:
436 case UTT_IsFloatingPoint:
438 case UTT_IsBoundedArray:
440 case UTT_IsLvalueReference:
441 case UTT_IsRvalueReference:
442 case UTT_IsMemberFunctionPointer:
443 case UTT_IsMemberObjectPointer:
445 case UTT_IsScopedEnum:
449 case UTT_IsReference:
450 case UTT_IsArithmetic:
451 case UTT_IsFundamental:
455 case UTT_IsMemberPointer:
456 case UTT_IsTypedResourceElementCompatible:
467 case UTT_IsUnboundedArray:
471 case UTT_IsInterfaceClass:
475 case UTT_StructuredBindingSize:
481 case UTT_IsPolymorphic:
486 Loc, ArgTy, diag::err_incomplete_type_used_in_type_trait_expr);
495 Loc, ArgTy, diag::err_incomplete_type_used_in_type_trait_expr);
499 case UTT_IsAggregate:
500 case UTT_IsImplicitLifetime:
505 Loc, ArgTy, diag::err_incomplete_type_used_in_type_trait_expr);
509 case UTT_HasUniqueObjectRepresentations:
514 Loc, ArgTy, diag::err_incomplete_type_used_in_type_trait_expr);
519 case UTT_IsTriviallyCopyable:
520 case UTT_IsStandardLayout:
523 case UTT_IsBitwiseCloneable:
526 case UTT_IsTriviallyRelocatable:
527 case UTT_IsTriviallyEqualityComparable:
528 case UTT_IsCppTriviallyRelocatable:
529 case UTT_IsReplaceable:
530 case UTT_CanPassInRegs:
534 case UTT_HasNothrowAssign:
535 case UTT_HasNothrowMoveAssign:
536 case UTT_HasNothrowConstructor:
537 case UTT_HasNothrowCopy:
538 case UTT_HasTrivialAssign:
539 case UTT_HasTrivialMoveAssign:
540 case UTT_HasTrivialDefaultConstructor:
541 case UTT_HasTrivialMoveConstructor:
542 case UTT_HasTrivialCopy:
543 case UTT_HasTrivialDestructor:
544 case UTT_HasVirtualDestructor:
549 case UTT_IsDestructible:
550 case UTT_IsNothrowDestructible:
551 case UTT_IsTriviallyDestructible:
552 case UTT_IsIntangibleType:
557 Loc, ArgTy, diag::err_incomplete_type_used_in_type_trait_expr);
566 if ((RD->*HasTrivial)() && !(RD->*HasNonTrivial)())
572 if (
Self.LookupQualifiedName(Res, RD)) {
573 bool FoundOperator =
false;
581 if ((Operator->*IsDesiredOp)()) {
582 FoundOperator =
true;
584 CPT =
Self.ResolveExceptionSpec(KeyLoc, CPT);
589 return FoundOperator;
599 if (
Decl->isLambda())
600 return Decl->isCapturelessLambda();
616 Functions, &Operand, &Operand);
620 const auto *
CallExpr = dyn_cast<CXXOperatorCallExpr>(Result.get());
624 auto ParamT = Callee->getParamDecl(0)->getType();
625 if (!Callee->isDefaulted())
627 if (!ParamT->isReferenceType() && !
Decl->isTriviallyCopyable())
633 return llvm::all_of(
Decl->bases(),
635 if (const auto *RD = BS.getType()->getAsCXXRecordDecl())
636 return HasNonDeletedDefaultedEqualityComparison(
641 auto Type = FD->getType();
642 if (Type->isArrayType())
643 Type = Type->getBaseElementTypeUnsafe()
644 ->getCanonicalTypeUnqualified();
646 if (Type->isReferenceType() || Type->isEnumeralType())
648 if (const auto *RD = Type->getAsCXXRecordDecl())
649 return HasNonDeletedDefaultedEqualityComparison(S, RD, KeyLoc);
667 CanonicalType,
false);
694 switch (
T.isNonTrivialToPrimitiveDestructiveMove()) {
696 return !
T.isDestructedType();
708 assert(!
T->isDependentType() &&
"Cannot evaluate traits of dependent type");
713 llvm_unreachable(
"not a UTT");
717 return T->isVoidType();
719 return T->isIntegralType(
C);
720 case UTT_IsFloatingPoint:
721 return T->isFloatingType();
725 if (
const auto *CAT =
C.getAsConstantArrayType(
T))
726 return CAT->getSize() != 0;
727 return T->isArrayType();
728 case UTT_IsBoundedArray:
733 if (
const auto *CAT =
C.getAsConstantArrayType(
T))
734 return CAT->getSize() != 0;
735 return T->isArrayType() && !
T->isIncompleteArrayType();
736 case UTT_IsUnboundedArray:
739 return T->isIncompleteArrayType();
741 return T->isAnyPointerType();
742 case UTT_IsLvalueReference:
743 return T->isLValueReferenceType();
744 case UTT_IsRvalueReference:
745 return T->isRValueReferenceType();
746 case UTT_IsMemberFunctionPointer:
747 return T->isMemberFunctionPointerType();
748 case UTT_IsMemberObjectPointer:
749 return T->isMemberDataPointerType();
751 return T->isEnumeralType();
752 case UTT_IsScopedEnum:
753 return T->isScopedEnumeralType();
755 return T->isUnionType();
757 return T->isClassType() ||
T->isStructureType() ||
T->isInterfaceType();
759 return T->isFunctionType();
763 case UTT_IsReference:
764 return T->isReferenceType();
765 case UTT_IsArithmetic:
766 return T->isArithmeticType() && !
T->isEnumeralType();
767 case UTT_IsFundamental:
768 return T->isFundamentalType();
770 return T->isObjectType();
776 if (
T->isObjCLifetimeType()) {
777 switch (
T.getObjCLifetime()) {
789 return T->isScalarType();
791 return T->isCompoundType();
792 case UTT_IsMemberPointer:
793 return T->isMemberPointerType();
798 return T.isConstQualified();
800 return T.isVolatileQualified();
802 return T.isTrivialType(
C);
803 case UTT_IsTriviallyCopyable:
804 return T.isTriviallyCopyableType(
C);
805 case UTT_IsStandardLayout:
806 return T->isStandardLayoutType();
808 return T.isPODType(
C);
810 return T->isLiteralType(
C);
815 case UTT_IsPolymorphic:
823 case UTT_IsAggregate:
827 return T->isAggregateType() ||
T->isVectorType() ||
T->isExtVectorType() ||
828 T->isAnyComplexType();
832 case UTT_IsInterfaceClass:
837 return RD->
hasAttr<FinalAttr>();
842 return T->isFloatingType() ||
843 (
T->isSignedIntegerType() && !
T->isEnumeralType());
846 return T->isUnsignedIntegerType() && !
T->isEnumeralType();
864 case UTT_HasTrivialDefaultConstructor:
875 case UTT_HasTrivialMoveConstructor:
885 case UTT_HasTrivialCopy:
891 if (
T.isPODType(
C) ||
T->isReferenceType())
897 case UTT_HasTrivialMoveAssign:
907 case UTT_HasTrivialAssign:
920 if (
T.isConstQualified())
928 case UTT_IsDestructible:
929 case UTT_IsTriviallyDestructible:
930 case UTT_IsNothrowDestructible:
933 if (
T->isReferenceType())
937 if (
T->isObjCLifetimeType() &&
944 if (
T->isIncompleteType() ||
T->isFunctionType())
949 if (UTT == UTT_IsTriviallyDestructible &&
T.isDestructedType())
956 if (
auto *RD =
C.getBaseElementType(
T)->getAsCXXRecordDecl()) {
967 if (UTT == UTT_IsNothrowDestructible) {
969 CPT =
Self.ResolveExceptionSpec(KeyLoc, CPT);
976 case UTT_HasTrivialDestructor:
983 if (
T.isPODType(
C) ||
T->isReferenceType())
987 if (
T->isObjCLifetimeType() &&
995 case UTT_HasNothrowAssign:
1003 if (
C.getBaseElementType(
T).isConstQualified())
1005 if (
T->isReferenceType())
1007 if (
T.isPODType(
C) ||
T->isObjCLifetimeType())
1010 if (
auto *RD =
T->getAsCXXRecordDecl())
1016 case UTT_HasNothrowMoveAssign:
1023 if (
auto *RD =
C.getBaseElementType(
T)->getAsCXXRecordDecl())
1029 case UTT_HasNothrowCopy:
1035 if (
T.isPODType(
C) ||
T->isReferenceType() ||
T->isObjCLifetimeType())
1042 bool FoundConstructor =
false;
1044 for (
const auto *ND :
Self.LookupConstructors(RD)) {
1055 FoundConstructor =
true;
1057 CPT =
Self.ResolveExceptionSpec(KeyLoc, CPT);
1067 return FoundConstructor;
1070 case UTT_HasNothrowConstructor:
1076 if (
T.isPODType(
C) ||
T->isObjCLifetimeType())
1078 if (
CXXRecordDecl *RD =
C.getBaseElementType(
T)->getAsCXXRecordDecl()) {
1083 bool FoundConstructor =
false;
1084 for (
const auto *ND :
Self.LookupConstructors(RD)) {
1093 FoundConstructor =
true;
1095 CPT =
Self.ResolveExceptionSpec(KeyLoc, CPT);
1104 return FoundConstructor;
1107 case UTT_HasVirtualDestructor:
1119 case UTT_IsCompleteType:
1123 return !
T->isIncompleteType();
1124 case UTT_HasUniqueObjectRepresentations:
1125 return C.hasUniqueObjectRepresentations(
T);
1126 case UTT_IsTriviallyRelocatable:
1128 case UTT_IsBitwiseCloneable:
1129 return T.isBitwiseCloneableType(
C);
1130 case UTT_IsCppTriviallyRelocatable:
1131 return Self.IsCXXTriviallyRelocatableType(
T);
1132 case UTT_IsReplaceable:
1133 return Self.IsCXXReplaceableType(
T);
1134 case UTT_CanPassInRegs:
1135 if (
CXXRecordDecl *RD =
T->getAsCXXRecordDecl(); RD && !
T.hasQualifiers())
1137 Self.Diag(KeyLoc, diag::err_builtin_pass_in_regs_non_class) <<
T;
1139 case UTT_IsTriviallyEqualityComparable:
1141 case UTT_IsImplicitLifetime: {
1143 tok::kw___builtin_is_implicit_lifetime);
1145 tok::kw___builtin_is_implicit_lifetime);
1151 QualType UnqualT =
T->getCanonicalTypeUnqualified();
1175 case UTT_IsIntangibleType:
1176 assert(
Self.getLangOpts().HLSL &&
"intangible types are HLSL-only feature");
1177 if (!
T->isVoidType() && !
T->isIncompleteArrayType())
1179 diag::err_incomplete_type))
1182 tok::kw___builtin_hlsl_is_intangible))
1184 return T->isHLSLIntangibleType();
1186 case UTT_IsTypedResourceElementCompatible:
1187 assert(
Self.getLangOpts().HLSL &&
1188 "typed resource element compatible types are an HLSL-only feature");
1189 if (
T->isIncompleteType())
1192 return Self.HLSL().IsTypedResourceElementCompatible(
T);
1203 SourceLocation KeyLoc, llvm::BumpPtrAllocator &OpaqueExprAllocator) {
1244 LhsT =
Self.Context.getRValueReferenceType(LhsT);
1280 case TypeTrait::UTT_StructuredBindingSize: {
1282 SourceRange ArgRange = Args[0]->getTypeLoc().getSourceRange();
1286 S.
Diag(KWLoc, diag::err_arg_is_not_destructurable) <<
T << ArgRange;
1294 llvm_unreachable(
"Not a SizeT type trait");
1311 if (Kind <=
BTT_Last && Kind != BTT_ReferenceBindsToTemporary &&
1312 Kind != BTT_ReferenceConstructsFromTemporary &&
1313 Kind != BTT_ReferenceConvertsFromTemporary)
1317 case clang::BTT_ReferenceBindsToTemporary:
1318 case clang::BTT_ReferenceConstructsFromTemporary:
1319 case clang::BTT_ReferenceConvertsFromTemporary:
1320 case clang::TT_IsConstructible:
1321 case clang::TT_IsNothrowConstructible:
1322 case clang::TT_IsTriviallyConstructible: {
1336 assert(!Args.empty());
1341 for (
const auto *TSI : Args) {
1347 KWLoc, ArgTy, diag::err_incomplete_type_used_in_type_trait_expr))
1353 if (
T->isIncompleteType() ||
T->isFunctionType())
1364 bool UseRawObjectType =
1365 Kind == clang::BTT_ReferenceBindsToTemporary ||
1366 Kind == clang::BTT_ReferenceConstructsFromTemporary ||
1367 Kind == clang::BTT_ReferenceConvertsFromTemporary;
1369 llvm::BumpPtrAllocator OpaqueExprAllocator;
1371 ArgExprs.reserve(Args.size() - 1);
1372 for (
unsigned I = 1, N = Args.size(); I != N; ++I) {
1373 QualType ArgTy = Args[I]->getType();
1393 Kind == clang::BTT_ReferenceConvertsFromTemporary
1404 if (Kind == clang::TT_IsConstructible)
1407 if (Kind == clang::BTT_ReferenceBindsToTemporary ||
1408 Kind == clang::BTT_ReferenceConstructsFromTemporary ||
1409 Kind == clang::BTT_ReferenceConvertsFromTemporary) {
1410 if (!
T->isReferenceType())
1414 if (
T.getNonReferenceType()->isFunctionType())
1417 if (!
Init.isDirectReferenceBinding())
1420 if (Kind == clang::BTT_ReferenceBindsToTemporary)
1424 if (
U->isReferenceType())
1432 OpaqueExprAllocator)
1436 if (Kind == clang::TT_IsNothrowConstructible)
1439 if (Kind == clang::TT_IsTriviallyConstructible) {
1442 if (
T.getNonReferenceType().hasNonTrivialObjCLifetime())
1447 return !Result.get()->hasNonTrivialCall(S.
Context);
1450 llvm_unreachable(
"unhandled type trait");
1454 llvm_unreachable(
"not a TT");
1464 case UTT_HasNothrowAssign:
1465 case UTT_HasNothrowMoveAssign:
1466 Replacement = BTT_IsNothrowAssignable;
1468 case UTT_HasNothrowCopy:
1469 case UTT_HasNothrowConstructor:
1470 Replacement = TT_IsNothrowConstructible;
1472 case UTT_HasTrivialAssign:
1473 case UTT_HasTrivialMoveAssign:
1474 Replacement = BTT_IsTriviallyAssignable;
1476 case UTT_HasTrivialCopy:
1477 Replacement = UTT_IsTriviallyCopyable;
1479 case UTT_HasTrivialDefaultConstructor:
1480 case UTT_HasTrivialMoveConstructor:
1481 Replacement = TT_IsTriviallyConstructible;
1483 case UTT_HasTrivialDestructor:
1484 Replacement = UTT_IsTriviallyDestructible;
1486 case UTT_IsTriviallyRelocatable:
1487 Replacement = clang::UTT_IsCppTriviallyRelocatable;
1489 case BTT_ReferenceBindsToTemporary:
1490 Replacement = clang::BTT_ReferenceConstructsFromTemporary;
1495 S.
Diag(KWLoc, diag::warn_deprecated_builtin)
1501 if (Arity && N != Arity) {
1502 Diag(Loc, diag::err_type_trait_arity)
1503 << Arity << 0 << (Arity > 1) << (
int)N <<
SourceRange(Loc);
1507 if (!Arity && N == 0) {
1508 Diag(Loc, diag::err_type_trait_arity)
1521 if (Kind == TypeTrait::UTT_StructuredBindingSize)
1533 *
this, Kind, KWLoc, Args[0]->
getType()))
1536 DiagnoseBuiltinDeprecation(*
this, Kind, KWLoc);
1539 for (
unsigned I = 0, N = Args.size(); I != N; ++I) {
1540 if (Args[I]->
getType()->isDependentType()) {
1551 KWLoc, Kind, Args, RParenLoc,
Result);
1557 Args, RParenLoc,
Result);
1560 llvm_unreachable(
"unhandled type trait return type");
1567 ConvertedArgs.reserve(Args.size());
1569 for (
unsigned I = 0, N = Args.size(); I != N; ++I) {
1573 TInfo =
Context.getTrivialTypeSourceInfo(
T, KWLoc);
1575 ConvertedArgs.push_back(TInfo);
1588 const RecordType *lhsRecord = LhsT->
getAsCanonical<RecordType>();
1589 const RecordType *rhsRecord = RhsT->
getAsCanonical<RecordType>();
1590 if (!rhsRecord || !lhsRecord) {
1593 if (!LHSObjTy || !RHSObjTy)
1598 if (!BaseInterface || !DerivedInterface)
1602 diag::err_incomplete_type_used_in_type_trait_expr))
1608 assert(
Context.hasSameUnqualifiedType(LhsT, RhsT) ==
1609 (lhsRecord == rhsRecord));
1613 if (lhsRecord && lhsRecord->getOriginalDecl()->isUnion())
1615 if (rhsRecord && rhsRecord->getOriginalDecl()->isUnion())
1618 if (lhsRecord == rhsRecord)
1626 diag::err_incomplete_type_used_in_type_trait_expr))
1641 "Cannot evaluate traits of dependent types");
1647 case BTT_IsVirtualBaseOf: {
1648 const RecordType *BaseRecord = LhsT->
getAsCanonical<RecordType>();
1649 const RecordType *DerivedRecord = RhsT->
getAsCanonical<RecordType>();
1651 if (!BaseRecord || !DerivedRecord) {
1653 tok::kw___builtin_is_virtual_base_of);
1655 tok::kw___builtin_is_virtual_base_of);
1659 if (BaseRecord->isUnionType() || DerivedRecord->isUnionType())
1662 if (!BaseRecord->isStructureOrClassType() ||
1663 !DerivedRecord->isStructureOrClassType())
1667 diag::err_incomplete_type))
1671 ->isVirtuallyDerivedFrom(
1675 return Self.Context.hasSameType(LhsT, RhsT);
1676 case BTT_TypeCompatible: {
1679 QualType Lhs =
Self.getASTContext().getUnqualifiedArrayType(LhsT, LhsQuals);
1680 QualType Rhs =
Self.getASTContext().getUnqualifiedArrayType(RhsT, RhsQuals);
1681 return Self.Context.typesAreCompatible(Lhs, Rhs);
1683 case BTT_IsConvertible:
1684 case BTT_IsConvertibleTo:
1685 case BTT_IsNothrowConvertible: {
1688 llvm::BumpPtrAllocator OpaqueExprAllocator;
1690 OpaqueExprAllocator);
1691 if (Result.isInvalid())
1694 if (BTT != BTT_IsNothrowConvertible)
1700 case BTT_IsAssignable:
1701 case BTT_IsNothrowAssignable:
1702 case BTT_IsTriviallyAssignable: {
1715 Self.RequireCompleteType(
1717 diag::err_incomplete_type_used_in_type_trait_expr))
1720 Self.RequireCompleteType(
1722 diag::err_incomplete_type_used_in_type_trait_expr))
1732 if (Ty->isObjectType() || Ty->isFunctionType())
1733 Ty =
Self.Context.getRValueReferenceType(Ty);
1734 return {KeyLoc, Ty.getNonLValueExprType(
Self.Context),
1738 auto Lhs = createDeclValExpr(LhsT);
1739 auto Rhs = createDeclValExpr(RhsT);
1748 Self.BuildBinOp(
nullptr, KeyLoc, BO_Assign, &Lhs, &Rhs);
1749 if (Result.isInvalid())
1753 Self.CheckUnusedVolatileAssignment(Result.get());
1758 if (BTT == BTT_IsAssignable)
1761 if (BTT == BTT_IsNothrowAssignable)
1764 if (BTT == BTT_IsTriviallyAssignable) {
1770 if (Context.containsAddressDiscriminatedPointerAuth(LhsT) ||
1771 Context.containsAddressDiscriminatedPointerAuth(RhsT))
1773 return !Result.get()->hasNonTrivialCall(
Self.Context);
1776 llvm_unreachable(
"unhandled type trait");
1779 case BTT_IsLayoutCompatible: {
1782 diag::err_incomplete_type);
1785 diag::err_incomplete_type);
1790 return Self.IsLayoutCompatible(LhsT, RhsT);
1792 case BTT_IsPointerInterconvertibleBaseOf: {
1794 !
Self.getASTContext().hasSameUnqualifiedType(LhsT, RhsT)) {
1796 diag::err_incomplete_type);
1800 tok::kw___is_pointer_interconvertible_base_of);
1802 tok::kw___is_pointer_interconvertible_base_of);
1804 return Self.IsPointerInterconvertibleBaseOf(Lhs, Rhs);
1806 case BTT_IsDeducible: {
1809 return Self.DeduceTemplateArgumentsFromType(
1810 TSTToBeDeduced->getTemplateName().getAsTemplateDecl(), RhsT,
1813 case BTT_IsScalarizedLayoutCompatible: {
1816 diag::err_incomplete_type))
1820 diag::err_incomplete_type))
1824 Self, Lhs, tok::kw___builtin_hlsl_is_scalarized_layout_compatible);
1826 Self, Rhs, tok::kw___builtin_hlsl_is_scalarized_layout_compatible);
1828 return Self.HLSL().IsScalarizedLayoutCompatible(LhsT, RhsT);
1830 case BTT_LtSynthesisesFromSpaceship:
1831 case BTT_LeSynthesisesFromSpaceship:
1832 case BTT_GtSynthesisesFromSpaceship:
1833 case BTT_GeSynthesisesFromSpaceship: {
1852 case BTT_LtSynthesisesFromSpaceship:
1853 return BinaryOperatorKind::BO_LT;
1854 case BTT_LeSynthesisesFromSpaceship:
1855 return BinaryOperatorKind::BO_LE;
1856 case BTT_GtSynthesisesFromSpaceship:
1857 return BinaryOperatorKind::BO_GT;
1858 case BTT_GeSynthesisesFromSpaceship:
1859 return BinaryOperatorKind::BO_GE;
1861 llvm_unreachable(
"Trying to Synthesize non-comparison operator?");
1866 Self.LookupBinOp(
Self.TUScope, KeyLoc, OpKind, Functions);
1869 Self.CreateOverloadedBinOp(KeyLoc, OpKind, Functions, &LHS, &RHS);
1876 llvm_unreachable(
"not a BTT");
1878 llvm_unreachable(
"Unknown type trait or not implemented");
1887 TSInfo =
Context.getTrivialTypeSourceInfo(
T);
1895 assert(!
T->isDependentType() &&
"Cannot evaluate traits of dependent type");
1899 if (
T->isArrayType()) {
1903 T = AT->getElementType();
1909 case ATT_ArrayExtent: {
1912 if (
Self.VerifyIntegerConstantExpression(
1913 DimExpr, &
Value, diag::err_dimension_expr_not_constant_integer)
1916 if (
Value.isSigned() &&
Value.isNegative()) {
1917 Self.Diag(KeyLoc, diag::err_dimension_expr_not_constant_integer)
1923 if (
T->isArrayType()) {
1925 bool Matched =
false;
1932 T = AT->getElementType();
1935 if (Matched &&
T->isArrayType()) {
1937 Self.Context.getAsConstantArrayType(
T))
1938 return CAT->getLimitedSize();
1944 llvm_unreachable(
"Unknown type trait or not implemented");
1955 if (!
T->isDependentType())
1964 RParen,
Context.getSizeType());
1980 case ET_IsLValueExpr:
1982 case ET_IsRValueExpr:
1985 llvm_unreachable(
"Expression trait not covered by switch");
2006 return llvm::StringSwitch<std::optional<TypeTrait>>(Name)
2007 .Case(
"is_trivially_relocatable",
2008 TypeTrait::UTT_IsCppTriviallyRelocatable)
2009 .Case(
"is_replaceable", TypeTrait::UTT_IsReplaceable)
2010 .Case(
"is_trivially_copyable", TypeTrait::UTT_IsTriviallyCopyable)
2011 .Case(
"is_assignable", TypeTrait::BTT_IsAssignable)
2012 .Case(
"is_empty", TypeTrait::UTT_IsEmpty)
2013 .Case(
"is_standard_layout", TypeTrait::UTT_IsStandardLayout)
2014 .Case(
"is_aggregate", TypeTrait::UTT_IsAggregate)
2015 .Case(
"is_constructible", TypeTrait::TT_IsConstructible)
2016 .Case(
"is_final", TypeTrait::UTT_IsFinal)
2017 .Case(
"is_abstract", TypeTrait::UTT_IsAbstract)
2018 .Default(std::nullopt);
2022 std::optional<std::pair<TypeTrait, llvm::SmallVector<QualType, 1>>>;
2030 std::optional<TypeTrait> Trait;
2033 if (
const auto *TraitExpr = dyn_cast<TypeTraitExpr>(E)) {
2034 Trait = TraitExpr->getTrait();
2035 for (
const auto *Arg : TraitExpr->getArgs())
2036 Args.push_back(Arg->getType());
2037 return {{Trait.value(), std::move(Args)}};
2039 const auto *Ref = dyn_cast<DeclRefExpr>(E);
2041 return std::nullopt;
2044 if (
const auto *VD =
2045 dyn_cast<VarTemplateSpecializationDecl>(Ref->getDecl())) {
2046 if (!VD->isInStdNamespace())
2047 return std::nullopt;
2048 StringRef Name = VD->getIdentifier()->getName();
2049 if (!Name.consume_back(
"_v"))
2050 return std::nullopt;
2053 return std::nullopt;
2054 for (
const auto &Arg : VD->getTemplateArgs().asArray()) {
2056 for (
const auto &InnerArg : Arg.pack_elements())
2057 Args.push_back(InnerArg.getAsType());
2059 Args.push_back(Arg.getAsType());
2061 llvm_unreachable(
"Unexpected kind");
2064 return {{Trait.value(), std::move(Args)}};
2068 if (
const auto *VD = dyn_cast<VarDecl>(Ref->getDecl());
2069 Ref->hasQualifier() && VD && VD->getIdentifier()->isStr(
"value")) {
2072 return std::nullopt;
2073 const auto *Ts = Qualifier.getAsType()->getAs<TemplateSpecializationType>();
2075 return std::nullopt;
2076 const TemplateDecl *D = Ts->getTemplateName().getAsTemplateDecl();
2078 return std::nullopt;
2081 return std::nullopt;
2082 for (
const auto &Arg : Ts->template_arguments())
2083 Args.push_back(Arg.getAsType());
2084 return {{Trait.value(), std::move(Args)}};
2086 return std::nullopt;
2094 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2095 << diag::TraitNotSatisfiedReason::UnionWithUserDeclaredSMF << K;
2109 const auto *
Decl = cast_or_null<CXXConstructorDecl>(
2111 if (
Decl &&
Decl->isUserProvided())
2112 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2113 << diag::TraitNotSatisfiedReason::UserProvidedCtr
2119 if (
Decl &&
Decl->isUserProvided())
2120 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2121 << diag::TraitNotSatisfiedReason::UserProvidedAssign
2125 Dtr = Dtr->getCanonicalDecl();
2126 if (Dtr->isUserProvided() && !Dtr->isDefaulted())
2127 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2128 << diag::TraitNotSatisfiedReason::DeletedDtr << 1
2129 << Dtr->getSourceRange();
2137 assert(B.getType()->getAsCXXRecordDecl() &&
"invalid base?");
2139 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2140 << diag::TraitNotSatisfiedReason::VBase << B.getType()
2141 << B.getSourceRange();
2143 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2144 << diag::TraitNotSatisfiedReason::NTRBase << B.getType()
2145 << B.getSourceRange();
2148 if (!Field->getType()->isReferenceType() &&
2150 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2151 << diag::TraitNotSatisfiedReason::NTRField << Field
2152 << Field->getType() << Field->getSourceRange();
2155 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2156 << diag::TraitNotSatisfiedReason::DeletedDtr << 0
2159 if (D->
hasAttr<TriviallyRelocatableAttr>())
2167 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait)
2168 <<
T << diag::TraitName::TriviallyRelocatable;
2169 if (
T->isVariablyModifiedType())
2170 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2171 << diag::TraitNotSatisfiedReason::VLA;
2173 if (
T->isReferenceType())
2174 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2175 << diag::TraitNotSatisfiedReason::Ref;
2176 T =
T.getNonReferenceType();
2178 if (
T.hasNonTrivialObjCLifetime())
2179 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2180 << diag::TraitNotSatisfiedReason::HasArcLifetime;
2195 assert(B.getType()->getAsCXXRecordDecl() &&
"invalid base?");
2197 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2198 << diag::TraitNotSatisfiedReason::NonReplaceableBase << B.getType()
2199 << B.getSourceRange();
2203 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2204 << diag::TraitNotSatisfiedReason::NonReplaceableField << Field
2205 << Field->getType() << Field->getSourceRange();
2208 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2209 << diag::TraitNotSatisfiedReason::DeletedDtr << 0
2216 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2217 << diag::TraitNotSatisfiedReason::DeletedCtr
2224 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2225 << diag::TraitNotSatisfiedReason::DeletedAssign
2229 if (D->
hasAttr<ReplaceableAttr>())
2236 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait)
2237 <<
T << diag::TraitName::Replaceable;
2239 if (
T->isVariablyModifiedType())
2240 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2241 << diag::TraitNotSatisfiedReason::VLA;
2243 if (
T->isReferenceType())
2244 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2245 << diag::TraitNotSatisfiedReason::Ref;
2246 T =
T.getNonReferenceType();
2248 if (
T.isConstQualified())
2249 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2250 << diag::TraitNotSatisfiedReason::Const;
2252 if (
T.isVolatileQualified())
2253 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2254 << diag::TraitNotSatisfiedReason::Volatile;
2256 bool IsArray =
T->isArrayType();
2259 if (
T->isScalarType())
2264 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2265 << diag::TraitNotSatisfiedReason::NotScalarOrClass << IsArray;
2282 assert(B.getType()->getAsCXXRecordDecl() &&
"invalid base?");
2284 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2285 << diag::TraitNotSatisfiedReason::VBase << B.getType()
2286 << B.getSourceRange();
2287 if (!B.getType().isTriviallyCopyableType(D->
getASTContext())) {
2288 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2289 << diag::TraitNotSatisfiedReason::NTCBase << B.getType()
2290 << B.getSourceRange();
2294 if (!Field->getType().isTriviallyCopyableType(Field->getASTContext()))
2295 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2296 << diag::TraitNotSatisfiedReason::NTCField << Field
2297 << Field->getType() << Field->getSourceRange();
2301 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2302 << diag::TraitNotSatisfiedReason::DeletedDtr
2306 if (Method->isTrivial() || !Method->isUserProvided()) {
2309 auto SpecialMemberKind =
2311 switch (SpecialMemberKind) {
2323 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2324 << (IsAssignment ? diag::TraitNotSatisfiedReason::UserProvidedAssign
2325 : diag::TraitNotSatisfiedReason::UserProvidedCtr)
2326 << IsMove << Method->getSourceRange();
2342 bool ContainsVoid =
false;
2344 ContainsVoid |= ArgTy->isVoidType();
2348 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2349 << diag::TraitNotSatisfiedReason::CVVoidType;
2352 if (
T->isFunctionType())
2353 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2354 << diag::TraitNotSatisfiedReason::FunctionType;
2356 if (
T->isIncompleteArrayType())
2357 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2358 << diag::TraitNotSatisfiedReason::IncompleteArrayType;
2364 llvm::BumpPtrAllocator OpaqueExprAllocator;
2366 ArgExprs.reserve(Ts.size() - 1);
2367 for (
unsigned I = 1, N = Ts.size(); I != N; ++I) {
2385 Init.Diagnose(SemaRef, To, InitKind, ArgExprs);
2391 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait)
2392 <<
T << diag::TraitName::TriviallyCopyable;
2394 if (
T->isReferenceType())
2395 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2396 << diag::TraitNotSatisfiedReason::Ref;
2413 if (Ty->isObjectType() || Ty->isFunctionType())
2415 return {Loc, Ty.getNonLValueExprType(SemaRef.
Context),
2419 auto LHS = createDeclValExpr(
T);
2420 auto RHS = createDeclValExpr(
U);
2426 SemaRef.
BuildBinOp(
nullptr, Loc, BO_Assign, &LHS, &RHS);
2437 for (
const auto *Field : D->
fields()) {
2438 if (Field->isZeroLengthBitField())
2440 if (Field->isBitField()) {
2441 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2442 << diag::TraitNotSatisfiedReason::NonZeroLengthField << Field
2443 << Field->getSourceRange();
2446 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2447 << diag::TraitNotSatisfiedReason::NonEmptyMember << Field
2448 << Field->getType() << Field->getSourceRange();
2452 for (
const auto *M : D->
methods()) {
2453 if (M->isVirtual()) {
2454 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2455 << diag::TraitNotSatisfiedReason::VirtualFunction << M
2456 << M->getSourceRange();
2462 for (
const auto &B : D->
bases()) {
2463 const auto *BR = B.getType()->getAsCXXRecordDecl();
2464 if (!BR || BR->isInvalidDecl())
2466 if (B.isVirtual()) {
2467 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2468 << diag::TraitNotSatisfiedReason::VBase << B.getType()
2469 << B.getSourceRange();
2471 if (!BR->isEmpty()) {
2472 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2473 << diag::TraitNotSatisfiedReason::NonEmptyBase << B.getType()
2474 << B.getSourceRange();
2481 S.
Diag(Loc, diag::note_unsatisfied_trait) <<
T << diag::TraitName::Empty;
2486 if (
T->isReferenceType())
2487 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2488 << diag::TraitNotSatisfiedReason::Ref;
2489 T =
T.getNonReferenceType();
2492 T = AT->getElementType();
2494 if (
auto *D =
T->getAsCXXRecordDecl()) {
2495 if (D->hasDefinition()) {
2497 S.
Diag(D->getLocation(), diag::note_defined_here) << D;
2509 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2510 << diag::TraitNotSatisfiedReason::NotMarkedFinal;
2518 S.
Diag(Loc, diag::note_unsatisfied_trait) <<
T << diag::TraitName::Final;
2519 if (
T->isReferenceType()) {
2520 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2521 << diag::TraitNotSatisfiedReason::Ref;
2522 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2523 << diag::TraitNotSatisfiedReason::NotClassOrUnion;
2528 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2529 << diag::TraitNotSatisfiedReason::NotClassOrUnion;
2532 if (
T->isFunctionType()) {
2533 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2534 << diag::TraitNotSatisfiedReason::FunctionType;
2535 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2536 << diag::TraitNotSatisfiedReason::NotClassOrUnion;
2539 if (!
T->isRecordType()) {
2540 S.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2541 << diag::TraitNotSatisfiedReason::NotClassOrUnion;
2544 if (
const auto *D =
T->getAsCXXRecordDecl())
2549 int NumBasesWithFields = 0;
2556 if (!Field->isUnnamedBitField()) {
2557 if (++NumBasesWithFields > 1)
2569 assert(B.getType()->getAsCXXRecordDecl() &&
"invalid base?");
2570 if (B.isVirtual()) {
2571 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2572 << diag::TraitNotSatisfiedReason::VBase << B.getType()
2573 << B.getSourceRange();
2575 if (!B.getType()->isStandardLayoutType()) {
2576 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2577 << diag::TraitNotSatisfiedReason::NonStandardLayoutBase << B.getType()
2578 << B.getSourceRange();
2586 if (Field->isUnnamedBitField())
2597 if (Field->getAccess() != FirstAccess) {
2599 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2600 << diag::TraitNotSatisfiedReason::MixedAccess;
2605 SemaRef.
Diag(Field->getLocation(), diag::note_unsatisfied_trait_reason)
2606 << diag::TraitNotSatisfiedReason::MixedAccessField << Field
2614 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2615 << diag::TraitNotSatisfiedReason::MultipleDataBase;
2621 for (
const auto *M : D->
methods()) {
2622 if (M->isVirtual()) {
2628 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2629 << diag::TraitNotSatisfiedReason::VirtualFunction << VirtualMD;
2630 SemaRef.
Diag(VirtualMD->getLocation(), diag::note_defined_here)
2634 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2635 << diag::TraitNotSatisfiedReason::VirtualFunction << D;
2636 SemaRef.
Diag(D->getLocation(), diag::note_defined_here) << D;
2640 if (!Field->getType()->isStandardLayoutType()) {
2641 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2642 << diag::TraitNotSatisfiedReason::NonStandardLayoutMember << Field
2643 << Field->getType() << Field->getSourceRange();
2657 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2658 << diag::TraitNotSatisfiedReason::IndirectBaseWithFields << Indirect
2666 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait)
2667 <<
T << diag::TraitName::StandardLayout;
2670 if (
T->isVariablyModifiedType()) {
2671 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2672 << diag::TraitNotSatisfiedReason::VLA;
2676 if (
T->isReferenceType()) {
2677 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2678 << diag::TraitNotSatisfiedReason::Ref;
2681 T =
T.getNonReferenceType();
2695 if (Ctor->isUserProvided())
2696 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2697 << diag::TraitNotSatisfiedReason::UserDeclaredCtr;
2698 if (Ctor->isInheritingConstructor())
2699 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2700 << diag::TraitNotSatisfiedReason::InheritedCtr;
2703 if (llvm::any_of(D->
decls(), [](
auto const *Sub) {
2704 return isa<ConstructorUsingShadowDecl>(Sub);
2706 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2707 << diag::TraitNotSatisfiedReason::InheritedCtr;
2711 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2712 << diag::TraitNotSatisfiedReason::PolymorphicType
2716 if (B.isVirtual()) {
2717 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2718 << diag::TraitNotSatisfiedReason::VBase << B.getType()
2719 << B.getSourceRange();
2726 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2727 << diag::TraitNotSatisfiedReason::PrivateProtectedDirectBase
2736 if (Method->isVirtual()) {
2737 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2738 << diag::TraitNotSatisfiedReason::VirtualFunction << Method
2739 << Method->getSourceRange();
2748 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2749 << diag::TraitNotSatisfiedReason::PrivateProtectedDirectDataMember
2762 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait)
2763 <<
T << diag::TraitName::Aggregate;
2765 if (
T->isVoidType())
2766 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2767 << diag::TraitNotSatisfiedReason::CVVoidType;
2769 T =
T.getNonReferenceType();
2783 if (B.getType()->castAsCXXRecordDecl()->isAbstract()) {
2784 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2785 << diag::TraitNotSatisfiedReason::OverridesAllPureVirtual
2786 << B.getType() << B.getSourceRange();
2793 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait)
2794 <<
T << diag::TraitName::Abstract;
2796 if (
T->isReferenceType()) {
2797 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2798 << diag::TraitNotSatisfiedReason::Ref;
2799 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2800 << diag::TraitNotSatisfiedReason::NotStructOrClass;
2804 if (
T->isUnionType()) {
2805 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2806 << diag::TraitNotSatisfiedReason::UnionType;
2807 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2808 << diag::TraitNotSatisfiedReason::NotStructOrClass;
2813 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2814 << diag::TraitNotSatisfiedReason::ArrayType;
2815 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2816 << diag::TraitNotSatisfiedReason::NotStructOrClass;
2820 if (
T->isFunctionType()) {
2821 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2822 << diag::TraitNotSatisfiedReason::FunctionType;
2823 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2824 << diag::TraitNotSatisfiedReason::NotStructOrClass;
2828 if (
T->isPointerType()) {
2829 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2830 << diag::TraitNotSatisfiedReason::PointerType;
2831 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2832 << diag::TraitNotSatisfiedReason::NotStructOrClass;
2836 if (!
T->isStructureOrClassType()) {
2837 SemaRef.
Diag(Loc, diag::note_unsatisfied_trait_reason)
2838 << diag::TraitNotSatisfiedReason::NotStructOrClass;
2856 const auto &[Trait, Args] = TraitInfo.value();
2858 case UTT_IsCppTriviallyRelocatable:
2861 case UTT_IsReplaceable:
2864 case UTT_IsTriviallyCopyable:
2867 case BTT_IsAssignable:
2873 case UTT_IsStandardLayout:
2876 case TT_IsConstructible:
2879 case UTT_IsAggregate:
2891 case UTT_IsAbstract:
static CanQualType GetReturnType(QualType RetTy)
Returns the "extra-canonicalized" return type, which discards qualifiers on the return type.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the Diagnostic IDs-related interfaces.
This file declares semantic analysis for HLSL constructs.
static bool EvaluateBinaryTypeTrait(Sema &Self, TypeTrait BTT, const TypeSourceInfo *Lhs, const TypeSourceInfo *Rhs, SourceLocation KeyLoc)
static bool HasNonDeletedDefaultedEqualityComparison(Sema &S, const CXXRecordDecl *Decl, SourceLocation KeyLoc)
static void DiagnoseNonAbstractReason(Sema &SemaRef, SourceLocation Loc, const CXXRecordDecl *D)
static APValue EvaluateSizeTTypeTrait(Sema &S, TypeTrait Kind, SourceLocation KWLoc, ArrayRef< TypeSourceInfo * > Args, SourceLocation RParenLoc, bool IsDependent)
static bool DiagnoseVLAInCXXTypeTrait(Sema &S, const TypeSourceInfo *T, clang::tok::TokenKind TypeTraitID)
Checks that type T is not a VLA.
static bool HasNoThrowOperator(CXXRecordDecl *RD, OverloadedOperatorKind Op, Sema &Self, SourceLocation KeyLoc, ASTContext &C, bool(CXXRecordDecl::*HasTrivial)() const, bool(CXXRecordDecl::*HasNonTrivial)() const, bool(CXXMethodDecl::*IsDesiredOp)() const)
static std::optional< TypeTrait > StdNameToTypeTrait(StringRef Name)
static void DiagnoseNonConstructibleReason(Sema &SemaRef, SourceLocation Loc, const llvm::SmallVector< clang::QualType, 1 > &Ts)
static bool IsEligibleForTrivialRelocation(Sema &SemaRef, const CXXRecordDecl *D)
static CXXMethodDecl * LookupSpecialMemberFromXValue(Sema &SemaRef, const CXXRecordDecl *RD, bool Assign)
static bool hasSuitableMoveAssignmentOperatorForRelocation(Sema &SemaRef, const CXXRecordDecl *D, bool AllowUserDefined)
static bool DiagnoseAtomicInCXXTypeTrait(Sema &S, const TypeSourceInfo *T, clang::tok::TokenKind TypeTraitID)
Checks that type T is not an atomic type (_Atomic).
static void DiagnoseNonStandardLayoutReason(Sema &SemaRef, SourceLocation Loc, const CXXRecordDecl *D)
static void DiagnoseIsFinalReason(Sema &S, SourceLocation Loc, const CXXRecordDecl *D)
static void DiagnoseIsEmptyReason(Sema &S, SourceLocation Loc, const CXXRecordDecl *D)
static bool hasMultipleDataBaseClassesWithFields(const CXXRecordDecl *D)
static bool IsEligibleForReplacement(Sema &SemaRef, const CXXRecordDecl *D)
static bool EvaluateExpressionTrait(ExpressionTrait ET, Expr *E)
static ExtractedTypeTraitInfo ExtractTypeTraitFromExpression(const Expr *E)
std::optional< std::pair< TypeTrait, llvm::SmallVector< QualType, 1 > > > ExtractedTypeTraitInfo
static void DiagnoseNonTriviallyRelocatableReason(Sema &SemaRef, SourceLocation Loc, const CXXRecordDecl *D)
static void DiagnoseNonAssignableReason(Sema &SemaRef, SourceLocation Loc, QualType T, QualType U)
static bool IsTriviallyRelocatableType(Sema &SemaRef, QualType T)
static void DiagnoseNonDefaultMovable(Sema &SemaRef, SourceLocation Loc, const CXXRecordDecl *D)
static bool IsDefaultMovable(Sema &SemaRef, const CXXRecordDecl *D)
static bool hasSuitableConstructorForRelocation(Sema &SemaRef, const CXXRecordDecl *D, bool AllowUserDefined)
static void DiagnoseNonTriviallyCopyableReason(Sema &SemaRef, SourceLocation Loc, const CXXRecordDecl *D)
static bool EvaluateUnaryTypeTrait(Sema &Self, TypeTrait UTT, SourceLocation KeyLoc, TypeSourceInfo *TInfo)
static uint64_t EvaluateArrayTypeTrait(Sema &Self, ArrayTypeTrait ATT, QualType T, Expr *DimExpr, SourceLocation KeyLoc)
static bool CheckUnaryTypeTraitTypeCompleteness(Sema &S, TypeTrait UTT, SourceLocation Loc, QualType ArgTy)
Check the completeness of a type in a unary type trait.
static ExprResult CheckConvertibilityForTypeTraits(Sema &Self, const TypeSourceInfo *Lhs, const TypeSourceInfo *Rhs, SourceLocation KeyLoc, llvm::BumpPtrAllocator &OpaqueExprAllocator)
static void DiagnoseNonReplaceableReason(Sema &SemaRef, SourceLocation Loc, const CXXRecordDecl *D)
static void DiagnoseNonAggregateReason(Sema &SemaRef, SourceLocation Loc, const CXXRecordDecl *D)
static bool EvaluateBooleanTypeTrait(Sema &S, TypeTrait Kind, SourceLocation KWLoc, ArrayRef< TypeSourceInfo * > Args, SourceLocation RParenLoc, bool IsDependent)
static bool IsCXXReplaceableType(Sema &S, const CXXRecordDecl *RD)
static bool isTriviallyEqualityComparableType(Sema &S, QualType Type, SourceLocation KeyLoc)
Defines various enumerations that describe declaration and type specifiers.
Defines enumerations for the type traits support.
C Language Family Type Representation.
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
TranslationUnitDecl * getTranslationUnitDecl() const
QualType getRValueReferenceType(QualType T) const
Return the uniqued reference to the type for an rvalue reference to the specified type.
DeclarationNameTable DeclarationNames
void setRelocationInfoForCXXRecord(const CXXRecordDecl *, CXXRecordDeclRelocationInfo)
QualType getPointerType(QualType T) const
Return the uniqued reference to the type for a pointer to the specified type.
bool containsAddressDiscriminatedPointerAuth(QualType T) const
Examines a given type, and returns whether the type itself is address discriminated,...
bool hasUniqueObjectRepresentations(QualType Ty, bool CheckIfTriviallyCopyable=true) const
Return true if the specified type has unique object representations according to (C++17 [meta....
QualType getBaseElementType(const ArrayType *VAT) const
Return the innermost element type of an array type.
bool hasSameUnqualifiedType(QualType T1, QualType T2) const
Determine whether the given types are equivalent after cvr-qualifiers have been removed.
const ArrayType * getAsArrayType(QualType T) const
Type Query functions.
TypeSourceInfo * CreateTypeSourceInfo(QualType T, unsigned Size=0) const
Allocate an uninitialized TypeSourceInfo.
llvm::APSInt MakeIntValue(uint64_t Value, QualType Type) const
Make an APSInt of the appropriate width and signedness for the given Value and integer Type.
QualType getSizeType() const
Return the unique type for "size_t" (C99 7.17), defined in <stddef.h>.
CanQualType getCanonicalTagType(const TagDecl *TD) const
std::optional< CXXRecordDeclRelocationInfo > getRelocationInfoForCXXRecord(const CXXRecordDecl *) const
An Embarcadero array type trait, as used in the implementation of __array_rank and __array_extent.
Represents an array type, per C99 6.7.5.2 - Array Declarators.
Represents a base class of a C++ class.
Represents a C++ constructor within a class.
Represents a C++ destructor within a class.
CXXDestructorDecl * getCanonicalDecl() override
Retrieves the "canonical" declaration of the given declaration.
Represents a static or instance method of a struct/union/class.
bool isMoveAssignmentOperator() const
Determine whether this is a move assignment operator.
bool isCopyAssignmentOperator() const
Determine whether this is a copy-assignment operator, regardless of whether it was declared implicitl...
Represents a C++ struct/union/class.
bool hasTrivialMoveAssignment() const
Determine whether this class has a trivial move assignment operator (C++11 [class....
bool hasNonTrivialCopyAssignment() const
Determine whether this class has a non-trivial copy assignment operator (C++ [class....
bool isEffectivelyFinal() const
Determine whether it's impossible for a class to be derived from this class.
bool hasSimpleMoveConstructor() const
true if we know for sure that this class has a single, accessible, unambiguous move constructor that ...
bool hasTrivialDefaultConstructor() const
Determine whether this class has a trivial default constructor (C++11 [class.ctor]p5).
bool hasTrivialDestructor() const
Determine whether this class has a trivial destructor (C++ [class.dtor]p3)
bool hasUserDeclaredDestructor() const
Determine whether this class has a user-declared destructor.
bool hasUserDeclaredMoveAssignment() const
Determine whether this class has had a move assignment declared by the user.
bool hasDeletedDestructor() const
Returns the destructor decl for this class.
bool hasTrivialMoveConstructor() const
Determine whether this class has a trivial move constructor (C++11 [class.copy]p12)
bool hasUserDeclaredCopyAssignment() const
Determine whether this class has a user-declared copy assignment operator.
method_range methods() const
CXXRecordDecl * getDefinition() const
bool hasTrivialCopyConstructor() const
Determine whether this class has a trivial copy constructor (C++ [class.copy]p6, C++11 [class....
bool isPolymorphic() const
Whether this class is polymorphic (C++ [class.virtual]), which means that the class contains or inher...
bool hasTrivialCopyAssignment() const
Determine whether this class has a trivial copy assignment operator (C++ [class.copy]p11,...
bool isAbstract() const
Determine whether this class has a pure virtual function.
bool hasSimpleMoveAssignment() const
true if we know for sure that this class has a single, accessible, unambiguous move assignment operat...
bool hasNonTrivialMoveConstructor() const
Determine whether this class has a non-trivial move constructor (C++11 [class.copy]p12)
bool hasDirectFields() const
Determine whether this class has direct non-static data members.
bool hasUserDeclaredCopyConstructor() const
Determine whether this class has a user-declared copy constructor.
bool hasDefinition() const
bool hasSimpleCopyConstructor() const
true if we know for sure that this class has a single, accessible, unambiguous copy constructor that ...
bool isEmpty() const
Determine whether this is an empty class in the sense of (C++11 [meta.unary.prop]).
CXXDestructorDecl * getDestructor() const
Returns the destructor decl for this class.
bool hasNonTrivialMoveAssignment() const
Determine whether this class has a non-trivial move assignment operator (C++11 [class....
bool hasUserDeclaredMoveOperation() const
Whether this class has a user-declared move constructor or assignment operator.
bool hasNonTrivialDefaultConstructor() const
Determine whether this class has a non-trivial default constructor (C++11 [class.ctor]p5).
bool hasUserDeclaredMoveConstructor() const
Determine whether this class has had a move constructor declared by the user.
bool forallBases(ForallBasesCallback BaseMatches) const
Determines if the given callback holds for all the direct or indirect base classes of this type.
bool hasNonTrivialCopyConstructor() const
Determine whether this class has a non-trivial copy constructor (C++ [class.copy]p6,...
bool hasSimpleCopyAssignment() const
true if we know for sure that this class has a single, accessible, unambiguous copy assignment operat...
CallExpr - Represents a function call (C99 6.5.2.2, C++ [expr.call]).
FunctionDecl * getDirectCallee()
If the callee is a FunctionDecl, return it. Otherwise return null.
Represents the canonical version of C arrays with a specified constant size.
A POD class for pairing a NamedDecl* with an access specifier.
static DeclAccessPair make(NamedDecl *D, AccessSpecifier AS)
DeclContextLookupResult lookup_result
lookup_result lookup(DeclarationName Name) const
lookup - Find the declarations (if any) with the given Name in this context.
decl_range decls() const
decls_begin/decls_end - Iterate over the declarations stored in this context.
Decl - This represents one declaration (or definition), e.g.
bool isInStdNamespace() const
ASTContext & getASTContext() const LLVM_READONLY
bool isInvalidDecl() const
SourceLocation getLocation() const
AccessSpecifier getAccess() const
virtual SourceRange getSourceRange() const LLVM_READONLY
Source range that this declaration covers.
The name of a declaration.
RAII object that enters a new expression evaluation context.
The return type of classify().
This represents one expression.
bool isTypeDependent() const
Determines whether the type of this expression depends on.
Expr * IgnoreParenImpCasts() LLVM_READONLY
Skip past any parentheses and implicit casts which might surround this expression until reaching a fi...
bool containsErrors() const
Whether this expression contains subexpressions which had errors.
bool isLValue() const
isLValue - True if this expression is an "l-value" according to the rules of the current language.
Classification Classify(ASTContext &Ctx) const
Classify - Classify this expression according to the C++11 expression taxonomy.
bool hasPlaceholderType() const
Returns whether this expression has a placeholder type.
static ExprValueKind getValueKindForType(QualType T)
getValueKindForType - Given a formal return or parameter type, give its value kind.
An expression trait intrinsic.
Represents a member of a struct/union/class.
bool isTrivial() const
Whether this function is "trivial" in some specialized C++ senses.
bool isDeleted() const
Whether this function has been deleted.
bool isDefaulted() const
Whether this function is defaulted.
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
bool isUserProvided() const
True if this method is user-declared and was not deleted or defaulted on its first declaration.
Represents a prototype with parameter type info, e.g.
unsigned getNumParams() const
bool isNothrow(bool ResultIfDependent=false) const
Determine whether this function type has a non-throwing exception specification.
Declaration of a template function.
StringRef getName() const
Return the actual identifier string.
Describes the kind of initialization being performed, along with location information for tokens rela...
static InitializationKind CreateDirect(SourceLocation InitLoc, SourceLocation LParenLoc, SourceLocation RParenLoc)
Create a direct initialization.
static InitializationKind CreateCopy(SourceLocation InitLoc, SourceLocation EqualLoc, bool AllowExplicitConvs=false)
Create a copy initialization.
Describes the sequence of initializations required to initialize a given object or reference with a s...
Describes an entity that is being initialized.
static InitializedEntity InitializeTemporary(QualType Type)
Create the initialization entity for a temporary.
Represents the results of name lookup.
UnresolvedSetImpl::iterator iterator
void suppressDiagnostics()
Suppress the diagnostics that would normally fire because of this lookup.
This represents a decl that may have a name.
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
@ Type
A type, stored as a Type*.
Represents an ObjC class declaration.
bool isSuperClassOf(const ObjCInterfaceDecl *I) const
isSuperClassOf - Return true if this class is the specified class or is a super class of the specifie...
OpaqueValueExpr - An expression referring to an opaque object of a fixed type and value class.
OverloadCandidateSet - A set of overload candidates, used in C++ overload resolution (C++ 13....
@ CSK_Normal
Normal lookup.
SmallVectorImpl< OverloadCandidate >::iterator iterator
OverloadingResult BestViableFunction(Sema &S, SourceLocation Loc, OverloadCandidateSet::iterator &Best)
Find the best viable function on this overload set, if it exists.
A (possibly-)qualified type.
bool isTriviallyCopyableType(const ASTContext &Context) const
Return true if this is a trivially copyable type (C++0x [basic.types]p9)
QualType getNonLValueExprType(const ASTContext &Context) const
Determine the type of a (typically non-lvalue) expression with the specified result type.
QualType getNonReferenceType() const
If Type is a reference type (e.g., const int&), returns the type that the reference refers to ("const...
bool hasNonTrivialObjCLifetime() const
@ PCK_Trivial
The type does not fall into any of the following categories.
@ PCK_ARCStrong
The type is an Objective-C retainable pointer type that is qualified with the ARC __strong qualifier.
The collection of all-type qualifiers we support.
@ OCL_Strong
Assigning into this object requires the old value to be released and the new value to be retained.
@ OCL_ExplicitNone
This object can be modified without requiring retains or releases.
@ OCL_None
There is no lifetime qualification on this type.
@ OCL_Weak
Reading or writing from this object requires a barrier call.
@ OCL_Autoreleasing
Assigning into this object requires a lifetime extension.
bool canPassInRegisters() const
Determine whether this class can be passed in registers.
field_range fields() const
SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)
Emit a diagnostic.
CXXSpecialMemberKind asSpecialMember() const
RAII class used to determine whether SFINAE has trapped any errors that occur during template argumen...
bool hasErrorOccurred() const
Determine whether any SFINAE errors have been trapped.
Sema - This implements semantic analysis and AST building for C.
DefaultedFunctionKind getDefaultedFunctionKind(const FunctionDecl *FD)
Determine the kind of defaulting that would be done for a given function.
@ LookupOrdinaryName
Ordinary name lookup, which finds ordinary names (functions, variables, typedefs, etc....
ExprResult ActOnExpressionTrait(ExpressionTrait OET, SourceLocation KWLoc, Expr *Queried, SourceLocation RParen)
ActOnExpressionTrait - Parsed one of the unary type trait support pseudo-functions.
bool IsCXXTriviallyRelocatableType(QualType T)
Determines if a type is trivially relocatable according to the C++26 rules.
bool BuiltinIsBaseOf(SourceLocation RhsTLoc, QualType LhsT, QualType RhsT)
void DiagnoseTypeTraitDetails(const Expr *E)
If E represents a built-in type trait, or a known standard type trait, try to print more information ...
ASTContext & getASTContext() const
ASTContext::CXXRecordDeclRelocationInfo CheckCXX2CRelocatableAndReplaceable(const clang::CXXRecordDecl *D)
void LookupBinOp(Scope *S, SourceLocation OpLoc, BinaryOperatorKind Opc, UnresolvedSetImpl &Functions)
ExprResult CreateOverloadedBinOp(SourceLocation OpLoc, BinaryOperatorKind Opc, const UnresolvedSetImpl &Fns, Expr *LHS, Expr *RHS, bool RequiresADL=true, bool AllowRewrittenCandidates=true, FunctionDecl *DefaultedFn=nullptr)
Create a binary operation that may resolve to an overloaded operator.
bool CheckTypeTraitArity(unsigned Arity, SourceLocation Loc, size_t N)
ExprResult ActOnArrayTypeTrait(ArrayTypeTrait ATT, SourceLocation KWLoc, ParsedType LhsTy, Expr *DimExpr, SourceLocation RParen)
ActOnArrayTypeTrait - Parsed one of the binary type trait support pseudo-functions.
void AddMethodTemplateCandidate(FunctionTemplateDecl *MethodTmpl, DeclAccessPair FoundDecl, CXXRecordDecl *ActingContext, TemplateArgumentListInfo *ExplicitTemplateArgs, QualType ObjectType, Expr::Classification ObjectClassification, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversions=false, bool PartialOverloading=false, OverloadCandidateParamOrder PO={})
Add a C++ member function template as a candidate to the candidate set, using template argument deduc...
void AddTemplateOverloadCandidate(FunctionTemplateDecl *FunctionTemplate, DeclAccessPair FoundDecl, TemplateArgumentListInfo *ExplicitTemplateArgs, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversions=false, bool PartialOverloading=false, bool AllowExplicit=true, ADLCallKind IsADLCandidate=ADLCallKind::NotADL, OverloadCandidateParamOrder PO={}, bool AggregateCandidateDeduction=false)
Add a C++ function template specialization as a candidate in the candidate set, using template argume...
const LangOptions & getLangOpts() const
void AddOverloadCandidate(FunctionDecl *Function, DeclAccessPair FoundDecl, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversions=false, bool PartialOverloading=false, bool AllowExplicit=true, bool AllowExplicitConversion=false, ADLCallKind IsADLCandidate=ADLCallKind::NotADL, ConversionSequenceList EarlyConversions={}, OverloadCandidateParamOrder PO={}, bool AggregateCandidateDeduction=false, bool StrictPackMatch=false)
AddOverloadCandidate - Adds the given function to the set of candidate functions, using the given fun...
ExprResult BuildTypeTrait(TypeTrait Kind, SourceLocation KWLoc, ArrayRef< TypeSourceInfo * > Args, SourceLocation RParenLoc)
ExprResult BuildExpressionTrait(ExpressionTrait OET, SourceLocation KWLoc, Expr *Queried, SourceLocation RParen)
bool IsCXXReplaceableType(QualType T)
Determines if a type is replaceable according to the C++26 rules.
ExprResult CheckPlaceholderExpr(Expr *E)
Check for operands with placeholder types and complain if found.
void AddMethodCandidate(DeclAccessPair FoundDecl, QualType ObjectType, Expr::Classification ObjectClassification, ArrayRef< Expr * > Args, OverloadCandidateSet &CandidateSet, bool SuppressUserConversion=false, OverloadCandidateParamOrder PO={})
AddMethodCandidate - Adds a named decl (which is some kind of method) as a method candidate to the gi...
CanThrowResult canThrow(const Stmt *E)
@ Unevaluated
The current expression and its subexpressions occur within an unevaluated operand (C++11 [expr]p7),...
bool RequireCompleteType(SourceLocation Loc, QualType T, CompleteTypeKind Kind, TypeDiagnoser &Diagnoser)
Ensure that the type T is a complete type.
Scope * TUScope
Translation Unit Scope - useful to Objective-C actions that need to lookup file scope declarations in...
ExprResult BuildBinOp(Scope *S, SourceLocation OpLoc, BinaryOperatorKind Opc, Expr *LHSExpr, Expr *RHSExpr, bool ForFoldExpression=false)
ExprResult ActOnTypeTrait(TypeTrait Kind, SourceLocation KWLoc, ArrayRef< ParsedType > Args, SourceLocation RParenLoc)
Parsed one of the type trait support pseudo-functions.
ExprResult BuildArrayTypeTrait(ArrayTypeTrait ATT, SourceLocation KWLoc, TypeSourceInfo *TSInfo, Expr *DimExpr, SourceLocation RParen)
UnsignedOrNone GetDecompositionElementCount(QualType DecompType, SourceLocation Loc)
static QualType GetTypeFromParser(ParsedType Ty, TypeSourceInfo **TInfo=nullptr)
Encodes a location in the source.
A trivial tuple used to represent a source range.
SourceLocation getBegin() const
SourceRange getSourceRange() const LLVM_READONLY
SourceLocation tokens are not useful in isolation - they are low level value objects created/interpre...
SourceLocation getBeginLoc() const LLVM_READONLY
SourceRange getSourceRange() const override LLVM_READONLY
Source range that this declaration covers.
bool isDependentType() const
Whether this declaration declares a type that is dependent, i.e., a type that somehow depends on temp...
@ Pack
The template argument is actually a parameter pack.
@ Type
The template argument is a type.
The base class of all kinds of template declarations (e.g., class, function, etc.).
SourceLocation getBeginLoc() const
Get the begin source location.
A container of type source information.
TypeLoc getTypeLoc() const
Return the TypeLoc wrapper for the type source info.
QualType getType() const
Return the type wrapped by this type source info.
static TypeTraitExpr * Create(const ASTContext &C, QualType T, SourceLocation Loc, TypeTrait Kind, ArrayRef< TypeSourceInfo * > Args, SourceLocation RParenLoc, bool Value)
Create a new type trait expression.
The base class of the type hierarchy.
bool isIncompleteArrayType() const
bool isRValueReferenceType() const
CXXRecordDecl * getAsCXXRecordDecl() const
Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...
RecordDecl * getAsRecordDecl() const
Retrieves the RecordDecl this type refers to.
const T * castAs() const
Member-template castAs<specific type>.
bool isEnumeralType() const
bool isScalarType() const
bool isVariableArrayType() const
bool isLValueReferenceType() const
bool isDependentType() const
Whether this type is a dependent type, meaning that its definition somehow depends on a template para...
bool isAggregateType() const
Determines whether the type is a C++ aggregate type or C aggregate or union type.
const Type * getBaseElementTypeUnsafe() const
Get the base element type of this type, potentially discarding type qualifiers.
bool isObjectType() const
Determine whether this type is an object type.
bool isIncompleteType(NamedDecl **Def=nullptr) const
Types are partitioned into 3 broad categories (C99 6.2.5p1): object types, function types,...
bool isFunctionType() const
bool isStructureOrClassType() const
bool isVectorType() const
const T * getAsCanonical() const
If this type is canonically the specified type, return its canonical type cast to that specified type...
const T * getAs() const
Member-template getAs<specific type>'.
A set of unresolved declarations.
Provides information about an attempted template argument deduction, whose success or failure was des...
TokenKind
Provides a simple uniform namespace for tokens from all C languages.
The JSON file list parser is used to communicate input to InstallAPI.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
OverloadedOperatorKind
Enumeration specifying the different kinds of C++ overloaded operators.
bool isa(CodeGen::Address addr)
ArrayTypeTrait
Names for the array type traits.
unsigned getTypeTraitArity(TypeTrait T) LLVM_READONLY
Return the arity of the type trait T.
@ OR_Deleted
Succeeded, but refers to a deleted function.
@ OR_Success
Overload resolution succeeded.
@ Self
'self' clause, allowed on Compute and Combined Constructs, plus 'update'.
AccessSpecifier
A C++ access specifier (public, private, protected), plus the special value "none" which means differ...
@ Dependent
Parse the block as a dependent block, which may be used in some template instantiations but not other...
@ Result
The result type of a method or function.
const FunctionProtoType * T
CXXSpecialMemberKind
Kinds of C++ special members.
ExprValueKind
The categorization of expression values, currently following the C++11 scheme.
@ VK_PRValue
A pr-value expression (in the C++11 taxonomy) produces a temporary value.
@ VK_XValue
An x-value expression is a reference to an object with independent storage but which can be "moved",...
@ VK_LValue
An l-value expression is a reference to an object with independent storage.
const char * getTraitSpelling(ExpressionTrait T) LLVM_READONLY
Return the spelling of the type trait TT. Never null.
@ Success
Template argument deduction was successful.
U cast(CodeGen::Address addr)
ConstructorInfo getConstructorInfo(NamedDecl *ND)
OpaquePtr< QualType > ParsedType
An opaque type for threading parsed type information through the parser.
ActionResult< Expr * > ExprResult
TypeTrait
Names for traits that operate specifically on types.
DeclarationNameInfo - A collector data type for bundling together a DeclarationName and the correspon...