This is an archive of the discontinued LLVM Phabricator instance.

Differential D127361

[NFC] clang: add test for PR55886
ClosedPublic

Authored by mizvekov on Jun 8 2022, 3:51 PM.

Details

Reviewers
None
Commits
rGcfda534b9944: [NFC] clang: add test for PR55886
Summary

Signed-off-by: Matheus Izvekov <mizvekov@gmail.com>

Diff Detail

Event Timeline

mizvekov created this revision.Jun 8 2022, 3:51 PM
Herald added a project: Restricted Project. · View Herald TranscriptJun 8 2022, 3:51 PM
mizvekov requested review of this revision.Jun 8 2022, 3:51 PM
Herald added a project: Restricted Project. · View Herald TranscriptJun 8 2022, 3:51 PM
Herald added a subscriber: cfe-commits. · View Herald Transcript
mizvekov added a child revision: D127351: clang: fix early substitution of alias templates.Jun 8 2022, 3:57 PM
This revision was not accepted when it landed; it landed in state Needs Review.Jun 8 2022, 4:21 PM
This revision was landed with ongoing or failed builds.
Closed by commit rGcfda534b9944: [NFC] clang: add test for PR55886 (authored by mizvekov). · Explain Why
This revision was automatically updated to reflect the committed changes.
mizvekov added a commit: rGcfda534b9944: [NFC] clang: add test for PR55886.
Harbormaster completed remote builds in B168705: Diff 435371.Jun 8 2022, 4:39 PM
mizvekov added a parent revision: D128113: Clang: fix AST representation of expanded template arguments..Jun 22 2022, 7:32 PM
mizvekov removed a child revision: D127351: clang: fix early substitution of alias templates.
mizvekov removed a parent revision: D128113: Clang: fix AST representation of expanded template arguments..Jun 22 2022, 7:35 PM

Revision Contents

PathSize
clang/
test/
AST/
19 lines

Diff 435384

clang/test/AST/ast-dump-template-decls.cpp

Show First 20 Lines • Show All 102 Lines • ▼ Show 20 Linesstruct V {
void f(); void f();
}; };
template <typename Ty> template <typename Ty>
template <typename Uy> template <typename Uy>
// CHECK: FunctionTemplateDecl 0x{{[^ ]*}} parent 0x{{[^ ]*}} prev 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+2]]:18> col:13 f // CHECK: FunctionTemplateDecl 0x{{[^ ]*}} parent 0x{{[^ ]*}} prev 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+2]]:18> col:13 f
// CHECK-NEXT: TemplateTypeParmDecl 0x{{[^ ]*}} <line:[[@LINE-2]]:11, col:20> col:20 typename depth 1 index 0 Uy // CHECK-NEXT: TemplateTypeParmDecl 0x{{[^ ]*}} <line:[[@LINE-2]]:11, col:20> col:20 typename depth 1 index 0 Uy
void V<Ty>::f() {} void V<Ty>::f() {}
namespace PR55886 {
template <class T> struct C {
template <class U> using type1 = U(T);
};
using type2 = typename C<int>::type1<void>;
// CHECK: TypeAliasDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, col:42> col:7 type2 'typename C<int>::type1<void>':'void (int)'
// CHECK-NEXT: ElaboratedType 0x{{[^ ]*}} 'typename C<int>::type1<void>' sugar
// CHECK-NEXT: TemplateSpecializationType 0x{{[^ ]*}} 'type1<void>' sugar alias type1
// CHECK-NEXT: TemplateArgument type 'void'
// CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'void'
// CHECK-NEXT: FunctionProtoType 0x{{[^ ]*}} 'void (int)' cdecl
// CHECK-NEXT: SubstTemplateTypeParmType 0x{{[^ ]*}} 'void' sugar
// CHECK-NEXT: TemplateTypeParmType 0x{{[^ ]*}} 'U' dependent depth 0 index 0
// CHECK-NEXT: TemplateTypeParm 0x{{[^ ]*}} 'U'
// CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'void'
// CHECK-NEXT: SubstTemplateTypeParmType 0x{{[^ ]*}} 'int' sugar
// CHECK-NEXT: TemplateTypeParmType 0x{{[^ ]*}} 'T' dependent depth 0 index 0
} // namespace PR55886