79 lines · cpp
1// Test without serialization:2// RUN: %clang_cc1 %s -ast-dump -std=c++17 | FileCheck %s3//4// Test with serialization:5// RUN: %clang_cc1 -std=c++17 -emit-pch -o %t %s6// RUN: %clang_cc1 -x c++ -std=c++17 -include-pch %t -ast-dump-all /dev/null \7// RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \8// RUN: | FileCheck %s9 10namespace PR46111 {11template <typename>12struct S;13 14template <typename T>15struct HasDeductionGuide {16 typedef PR46111::S<T> STy;17 HasDeductionGuide(typename STy::Child);18};19 20// This causes deduction guides to be generated for all constructors.21HasDeductionGuide()->HasDeductionGuide<int>;22 23template <typename T>24struct HasDeductionGuideTypeAlias {25 using STy = PR46111::S<T>;26 HasDeductionGuideTypeAlias(typename STy::Child);27};28 29// This causes deduction guides to be generated for all constructors.30HasDeductionGuideTypeAlias()->HasDeductionGuideTypeAlias<int>;31 32// The parameter to this one shouldn't be an elaborated type.33// CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuide> 'auto (typename STy::Child) -> PR46111::HasDeductionGuide<T>'34// CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuide> 'auto (PR46111::HasDeductionGuide<T>) -> PR46111::HasDeductionGuide<T>'35// CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for HasDeductionGuide> 'auto () -> HasDeductionGuide<int>'36// CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuideTypeAlias> 'auto (typename STy::Child) -> PR46111::HasDeductionGuideTypeAlias<T>'37// CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuideTypeAlias> 'auto (PR46111::HasDeductionGuideTypeAlias<T>) -> PR46111::HasDeductionGuideTypeAlias<T>'38// CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for HasDeductionGuideTypeAlias> 'auto () -> HasDeductionGuideTypeAlias<int>'39} // namespace PR4611140 41 42namespace PR48177 {43 template <class A> struct Base {44 using type_alias = A;45 };46 template<class T, int S, class A>47 struct Derived : Base<A> {48 using type_alias = typename Derived::type_alias;49 Derived(Derived &&, typename Derived::type_alias const&);50 Derived(T);51 };52 53 template<class T, class A>54 Derived(T, A) -> Derived<T, 1, A>;55 56 void init() {57 Derived d {1,2};58 }59} // namespace PR4817760 61// CHECK: CXXRecordDecl {{.*}} struct Derived62// CHECK: TypeAliasDecl {{.*}} type_alias 'typename Derived<T, S, A>::type_alias'63// CHECK-NEXT: DependentNameType {{.*}} 'typename Derived<T, S, A>::type_alias' dependent64 65// CHECK: CXXRecordDecl {{.*}} struct Derived66// CHECK: TypeAliasDecl {{.*}} type_alias 'typename Derived<int, 1, int>::type_alias':'int'67// CHECK-NEXT: TypedefType {{.*}} 'typename Derived<int, 1, int>::type_alias' sugar68// CHECK-NEXT: NestedNameSpecifier TypeSpec 'Derived<int, 1, int>'69// CHECK-NEXT: TypeAlias {{.*}} 'type_alias'70// CHECK-NEXT: SubstTemplateTypeParmType {{.*}} 'int' sugar class depth 0 index 0 A71// CHECK-NEXT: ClassTemplateSpecialization {{.*}} 'Base'72// CHECK-NEXT: BuiltinType {{.*}} 'int'73 74// CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (Derived<T, S, A> &&, const typename Derived<T, S, A>::type_alias &) -> PR48177::Derived<T, S, A>'75// CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (T) -> PR48177::Derived<T, S, A>'76// CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (PR48177::Derived<T, S, A>) -> PR48177::Derived<T, S, A>'77// CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for Derived> 'auto (T, A) -> Derived<T, 1, A>'78// CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for Derived> 'auto (int, int) -> Derived<int, 1, int>'79