|
207
|
1 // Test without serialization:
|
|
|
2 // RUN: %clang_cc1 -fsyntax-only %s -ast-dump -std=c++17 | FileCheck %s
|
|
|
3 //
|
|
|
4 // Test with serialization:
|
|
|
5 // RUN: %clang_cc1 -std=c++17 -emit-pch -o %t %s
|
|
|
6 // 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 %s
|
|
|
9
|
|
|
10 namespace PR46111 {
|
|
|
11 template <typename>
|
|
|
12 struct S;
|
|
|
13
|
|
|
14 template <typename T>
|
|
|
15 struct 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.
|
|
|
21 HasDeductionGuide()->HasDeductionGuide<int>;
|
|
|
22
|
|
|
23 template <typename T>
|
|
|
24 struct 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.
|
|
|
30 HasDeductionGuideTypeAlias()->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) -> HasDeductionGuide<T>'
|
|
|
34 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuide> 'auto (HasDeductionGuide<T>) -> HasDeductionGuide<T>'
|
|
|
35 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for HasDeductionGuide> 'auto () -> HasDeductionGuide<int>'
|
|
|
36 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuideTypeAlias> 'auto (typename STy::Child) -> HasDeductionGuideTypeAlias<T>'
|
|
|
37 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuideTypeAlias> 'auto (HasDeductionGuideTypeAlias<T>) -> HasDeductionGuideTypeAlias<T>'
|
|
|
38 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for HasDeductionGuideTypeAlias> 'auto () -> HasDeductionGuideTypeAlias<int>'
|
|
|
39 } // namespace PR46111
|
|
|
40
|
|
|
41
|
|
|
42 namespace 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 PR48177
|
|
|
60
|
|
|
61 // CHECK: CXXRecordDecl {{.*}} struct Derived
|
|
|
62 // CHECK: TypeAliasDecl {{.*}} type_alias 'typename Derived<T, S, A>::type_alias'
|
|
|
63 // CHECK-NEXT: DependentNameType {{.*}} 'typename Derived<T, S, A>::type_alias' dependent
|
|
|
64
|
|
|
65 // CHECK: CXXRecordDecl {{.*}} struct Derived
|
|
|
66 // CHECK: TypeAliasDecl {{.*}} type_alias 'typename Derived<int, 1, int>::type_alias':'int'
|
|
|
67 // CHECK-NEXT: ElaboratedType {{.*}} 'typename Derived<int, 1, int>::type_alias' sugar
|
|
|
68 // CHECK-NEXT: TypedefType {{.*}} 'PR48177::Base<int>::type_alias' sugar
|
|
|
69 // CHECK-NEXT: TypeAlias {{.*}} 'type_alias'
|
|
|
70 // CHECK-NEXT: SubstTemplateTypeParmType {{.*}} 'int' sugar
|
|
|
71 // CHECK-NEXT: TemplateTypeParmType {{.*}} 'A'
|
|
|
72 // CHECK-NEXT: TemplateTypeParm {{.*}} 'A'
|
|
|
73 // CHECK-NEXT: BuiltinType {{.*}} 'int'
|
|
|
74
|
|
|
75 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (Derived<T, S, A> &&, const typename Derived<T, S, A>::type_alias &) -> Derived<T, S, A>'
|
|
|
76 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (T) -> Derived<T, S, A>'
|
|
|
77 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (Derived<T, S, A>) -> Derived<T, S, A>'
|
|
|
78 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for Derived> 'auto (T, A) -> Derived<T, 1, A>'
|
|
|
79 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for Derived> 'auto (int, int) -> Derived<int, 1, int>'
|
