This is an archive of the discontinued LLVM Phabricator instance.

Differential D158165

[clang][AST] TextNodeDumper learned to output instantiated_from information
ClosedPublic

Authored by strimo378 on Aug 17 2023, 3:11 AM.

Download Raw Diff

Details

Reviewers

aaron.ballman

Commits

rGd7f7fb6c1d97: [clang][AST] TextNodeDumper learned to output instantiated_from information

Diff Detail

Repository: rG LLVM Github Monorepo

Event Timeline

strimo378 created this revision.Aug 17 2023, 3:11 AM

Herald added a project: Restricted Project. · View Herald TranscriptAug 17 2023, 3:11 AM

strimo378 requested review of this revision.Aug 17 2023, 3:11 AM

Herald added a project: Restricted Project. · View Herald TranscriptAug 17 2023, 3:11 AM

Herald added a subscriber: cfe-commits. · View Herald Transcript

Harbormaster completed remote builds in B253171: Diff 551068.Aug 17 2023, 4:09 AM

LGTM with a small nit.

clang/lib/AST/TextNodeDumper.cpp
1896

This revision is now accepted and ready to land.Aug 17 2023, 6:19 AM

Closed by commit rGd7f7fb6c1d97: [clang][AST] TextNodeDumper learned to output instantiated_from information (authored by strimo378). · Explain WhyAug 17 2023, 7:12 AM

This revision was automatically updated to reflect the committed changes.

strimo378 added a commit: rGd7f7fb6c1d97: [clang][AST] TextNodeDumper learned to output instantiated_from information.

Revision Contents

Path

Size

clang/

lib/

AST/

TextNodeDumper.cpp

9 lines

test/

AST/

ast-dump-decl.cpp

610 lines

Diff 551124

clang/lib/AST/TextNodeDumper.cpp

Show First 20 Lines • Show All 1,886 Lines • ▼ Show 20 Lines

if (!D->isInlineSpecified() && D->isInlined()) {

OS << " implicit-inline";

}

// Since NumParams comes from the FunctionProtoType of the FunctionDecl and

// the Params are set later, it is possible for a dump during debugging to

// encounter a FunctionDecl that has been created but hasn't been assigned

// ParmVarDecls yet.

if (!D->param_empty() && !D->param_begin())

OS << " <<<NULL params x " << D->getNumParams() << ">>>";

if (const auto *Instance = D->getInstantiatedFromMemberFunction()) {

aaron.ballmanUnsubmitted

Not Done

OS << " <<<NULL params x " << D->getNumParams() << ">>>";

- if (auto *Instance = D->getInstantiatedFromMemberFunction()) {

+ if (const auto *Instance = D->getInstantiatedFromMemberFunction()) {

OS << " instantiated_from";

aaron.ballman:

OS << " instantiated_from";

dumpPointer(Instance);

}

void TextNodeDumper::VisitLifetimeExtendedTemporaryDecl(

const LifetimeExtendedTemporaryDecl *D) {

OS << " extended by ";

dumpBareDeclRef(D->getExtendingDecl());

OS << " mangling ";

{

▲ Show 20 Lines • Show All 199 Lines • ▼ Show 20 Lines

void TextNodeDumper::VisitTypeAliasTemplateDecl(

const TypeAliasTemplateDecl *D) {

dumpName(D);

}

void TextNodeDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) {

VisitRecordDecl(D);

if (const auto *Instance = D->getInstantiatedFromMemberClass()) {

OS << " instantiated_from";

dumpPointer(Instance);

}

if (const auto *CTSD = dyn_cast<ClassTemplateSpecializationDecl>(D))

dumpTemplateSpecializationKind(CTSD->getSpecializationKind());

dumpNestedNameSpecifier(D->getQualifier());

if (!D->isCompleteDefinition())

return;

▲ Show 20 Lines • Show All 449 Lines • Show Last 20 Lines

clang/test/AST/ast-dump-decl.cpp

Show First 20 Lines • Show All 310 Lines • ▼ Show 20 Lines	namespace testClassTemplateDecl {

template<int I = 42> struct TestTemplateDefaultNonType;		template<int I = 42> struct TestTemplateDefaultNonType;
template<int I> struct TestTemplateDefaultNonType { };		template<int I> struct TestTemplateDefaultNonType { };

template<template<typename> class TT = TestClassTemplate> struct TestTemplateTemplateDefaultType;		template<template<typename> class TT = TestClassTemplate> struct TestTemplateTemplateDefaultType;
template<template<typename> class TT> struct TestTemplateTemplateDefaultType { };		template<template<typename> class TT> struct TestTemplateTemplateDefaultType { };
}		}

// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-40]]:3, line:[[@LINE-34]]:3> line:[[@LINE-40]]:30 TestClassTemplate		// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-40]]:3, line:[[@LINE-34]]:3> line:[[@LINE-40]]:30 TestClassTemplate{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:24, line:[[@LINE-36]]:3> line:[[@LINE-42]]:30 class TestClassTemplate definition		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:24, line:[[@LINE-36]]:3> line:[[@LINE-42]]:30 class TestClassTemplate definition{{$}}
// CHECK-NEXT: \| \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init		// CHECK-NEXT: \| \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \| \|-DefaultConstructor exists non_trivial user_provided		// CHECK-NEXT: \| \| \|-DefaultConstructor exists non_trivial user_provided{{$}}
// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveConstructor		// CHECK-NEXT: \| \| \|-MoveConstructor{{$}}
// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveAssignment		// CHECK-NEXT: \| \| \|-MoveAssignment{{$}}
// CHECK-NEXT: \| \| `-Destructor		// CHECK-NEXT: \| \| `-Destructor irrelevant non_trivial user_declared{{$}}
// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} <col:24, col:30> col:30 implicit referenced class TestClassTemplate		// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} <col:24, col:30> col:30 implicit referenced class TestClassTemplate{{$}}
// CHECK-NEXT: \| \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-50]]:3, col:9> col:3 public		// CHECK-NEXT: \| \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-50]]:3, col:9> col:3 public{{$}}
// CHECK-NEXT: \| \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:23> col:5 TestClassTemplate<T> 'void ()'		// CHECK-NEXT: \| \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:23> col:5 TestClassTemplate<T> 'void ()'{{$}}
// CHECK-NEXT: \| \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:24> col:5 ~TestClassTemplate<T> 'void ()'		// CHECK-NEXT: \| \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:24> col:5 ~TestClassTemplate<T> 'void ()' not_selected{{$}}
// CHECK-NEXT: \| \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:11> col:9 j 'int ()'		// CHECK-NEXT: \| \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:11> col:9 j 'int ()'{{$}}
// CHECK-NEXT: \| `-FieldDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:9> col:9 i 'int'		// CHECK-NEXT: \| `-FieldDecl 0x{{.+}} <line:[[@LINE-50]]:5, col:9> col:9 i 'int'{{$}}
// CHECK-NEXT: \|-ClassTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-56]]:3, line:[[@LINE-50]]:3> line:[[@LINE-56]]:30 class TestClassTemplate definition		// CHECK-NEXT: \|-ClassTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-56]]:3, line:[[@LINE-50]]:3> line:[[@LINE-56]]:30 class TestClassTemplate definition implicit_instantiation{{$}}
// CHECK-NEXT: \| \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init		// CHECK-NEXT: \| \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \| \|-DefaultConstructor exists non_trivial user_provided		// CHECK-NEXT: \| \| \|-DefaultConstructor exists non_trivial user_provided{{$}}
// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveConstructor		// CHECK-NEXT: \| \| \|-MoveConstructor{{$}}
// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveAssignment		// CHECK-NEXT: \| \| \|-MoveAssignment{{$}}
// CHECK-NEXT: \| \| `-Destructor non_trivial user_declared		// CHECK-NEXT: \| \| `-Destructor non_trivial user_declared{{$}}
// CHECK-NEXT: \| \|-TemplateArgument type 'testClassTemplateDecl::A'		// CHECK-NEXT: \| \|-TemplateArgument type 'testClassTemplateDecl::A'{{$}}
// CHECK-NEXT: \| \| `-RecordType 0{{.+}} 'testClassTemplateDecl::A'		// CHECK-NEXT: \| \| `-RecordType 0{{.+}} 'testClassTemplateDecl::A'{{$}}
// CHECK-NEXT: \| \| `-CXXRecord 0x{{.+}} 'A'		// CHECK-NEXT: \| \| `-CXXRecord 0x{{.+}} 'A'{{$}}
// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} <col:24, col:30> col:30 implicit class TestClassTemplate		// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} <col:24, col:30> col:30 implicit class TestClassTemplate{{$}}
// CHECK-NEXT: \| \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-67]]:3, col:9> col:3 public		// CHECK-NEXT: \| \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-67]]:3, col:9> col:3 public{{$}}
// CHECK-NEXT: \| \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:23> col:5 used TestClassTemplate 'void ()'		// CHECK-NEXT: \| \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:23> col:5 used TestClassTemplate 'void ()' implicit_instantiation instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: \| \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:24> col:5 used ~TestClassTemplate 'void () noexcept'		// CHECK-NEXT: \| \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:24> col:5 used ~TestClassTemplate 'void () noexcept' implicit_instantiation instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: \| \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:11> col:9 j 'int ()'		// CHECK-NEXT: \| \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:11> col:9 j 'int ()' implicit_instantiation instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: \| \|-FieldDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:9> col:9 i 'int'		// CHECK-NEXT: \| \|-FieldDecl 0x{{.+}} <line:[[@LINE-67]]:5, col:9> col:9 i 'int'{{$}}
// CHECK-NEXT: \| `-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-73]]:30> col:30 implicit constexpr TestClassTemplate 'void (const TestClassTemplate<A> &)' inline default trivial noexcept-unevaluated 0x{{.+}}		// CHECK-NEXT: \| `-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-73]]:30> col:30 implicit constexpr TestClassTemplate 'void (const TestClassTemplate<A> &)' inline default trivial noexcept-unevaluated 0x{{.+}}{{$}}
// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:30> col:30 'const TestClassTemplate<A> &'		// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:30> col:30 'const TestClassTemplate<A> &'{{$}}
// CHECK-NEXT: \|-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'		// CHECK-NEXT: \|-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'{{$}}
// CHECK-NEXT: \|-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'		// CHECK-NEXT: \|-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'{{$}}
// CHECK-NEXT: `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'		// CHECK-NEXT: `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'{{$}}

// CHECK: ClassTemplateSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-67]]:3, line:[[@LINE-65]]:3> line:[[@LINE-67]]:20 class TestClassTemplate definition		// CHECK: ClassTemplateSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-67]]:3, line:[[@LINE-65]]:3> line:[[@LINE-67]]:20 class TestClassTemplate definition explicit_specialization{{$}}
// CHECK-NEXT: \|-DefinitionData pass_in_registers standard_layout trivially_copyable trivial literal		// CHECK-NEXT: \|-DefinitionData pass_in_registers standard_layout trivially_copyable trivial literal{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists trivial needs_implicit		// CHECK-NEXT: \| \|-DefaultConstructor exists trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::B'		// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::B'{{$}}
// CHECK-NEXT: \| `-RecordType 0{{.+}} 'testClassTemplateDecl::B'		// CHECK-NEXT: \| `-RecordType 0{{.+}} 'testClassTemplateDecl::B'{{$}}
// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'B'		// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'B'{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:14, col:20> col:20 implicit class TestClassTemplate		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:14, col:20> col:20 implicit class TestClassTemplate{{$}}
// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-78]]:5, col:9> col:9 j 'int'		// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-78]]:5, col:9> col:9 j 'int'{{$}}

// CHECK: ClassTemplateSpecializationDecl 0x{{.+}} <{{.+}}:{{.*}}:3, col:44> col:25 class TestClassTemplate definition		// CHECK: ClassTemplateSpecializationDecl 0x{{.+}} <{{.+}}:{{.*}}:3, col:44> col:25 class TestClassTemplate definition explicit_instantiation_declaration{{$}}
// CHECK-NEXT: \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init		// CHECK-NEXT: \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists non_trivial user_provided		// CHECK-NEXT: \| \|-DefaultConstructor exists non_trivial user_provided{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor		// CHECK-NEXT: \| \|-MoveConstructor{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment		// CHECK-NEXT: \| \|-MoveAssignment{{$}}
// CHECK-NEXT: \| `-Destructor non_trivial user_declared		// CHECK-NEXT: \| `-Destructor non_trivial user_declared{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::C'		// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::C'{{$}}
// CHECK-NEXT: \| `-RecordType 0{{.+}} 'testClassTemplateDecl::C'		// CHECK-NEXT: \| `-RecordType 0{{.+}} 'testClassTemplateDecl::C'{{$}}
// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'C'		// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'C'{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <line:[[@LINE-104]]:24, col:30> col:30 implicit class TestClassTemplate		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <line:[[@LINE-104]]:24, col:30> col:30 implicit class TestClassTemplate{{$}}
// CHECK-NEXT: \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-104]]:3, col:9> col:3 public		// CHECK-NEXT: \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-104]]:3, col:9> col:3 public{{$}}
// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:23> col:5 TestClassTemplate 'void ()' explicit_instantiation_declaration		// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:23> col:5 TestClassTemplate 'void ()' explicit_instantiation_declaration instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:24> col:5 ~TestClassTemplate 'void ()' explicit_instantiation_declaration noexcept-unevaluated 0x{{.+}}		// CHECK-NEXT: \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:24> col:5 ~TestClassTemplate 'void ()' explicit_instantiation_declaration noexcept-unevaluated 0x{{[^ ]+}} instantiated_from {{0x[^ ]+}}
// CHECK-NEXT: \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:11> col:9 j 'int ()'		// CHECK-NEXT: \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:11> col:9 j 'int ()' explicit_instantiation_declaration instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:9> col:9 i 'int'		// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-104]]:5, col:9> col:9 i 'int'{{$}}

// CHECK: ClassTemplateSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-91]]:3, col:37> col:18 class TestClassTemplate definition		// CHECK: ClassTemplateSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-91]]:3, col:37> col:18 class TestClassTemplate definition explicit_instantiation_definition{{$}}
// CHECK-NEXT: \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init		// CHECK-NEXT: \|-DefinitionData standard_layout has_user_declared_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists non_trivial user_provided		// CHECK-NEXT: \| \|-DefaultConstructor exists non_trivial user_provided{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor		// CHECK-NEXT: \| \|-MoveConstructor{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment		// CHECK-NEXT: \| \|-MoveAssignment{{$}}
// CHECK-NEXT: \| `-Destructor non_trivial user_declared		// CHECK-NEXT: \| `-Destructor non_trivial user_declared{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::D'		// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::D'{{$}}
// CHECK-NEXT: \| `-RecordType 0{{.+}} 'testClassTemplateDecl::D'		// CHECK-NEXT: \| `-RecordType 0{{.+}} 'testClassTemplateDecl::D'{{$}}
// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'D'		// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'D'{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <line:[[@LINE-122]]:24, col:30> col:30 implicit class TestClassTemplate		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <line:[[@LINE-122]]:24, col:30> col:30 implicit class TestClassTemplate{{$}}
// CHECK-NEXT: \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-122]]:3, col:9> col:3 public		// CHECK-NEXT: \|-AccessSpecDecl 0x{{.+}} <line:[[@LINE-122]]:3, col:9> col:3 public{{$}}
// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:23> col:5 TestClassTemplate 'void ()' implicit_instantiation		// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:23> col:5 TestClassTemplate 'void ()' implicit_instantiation instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:24> col:5 ~TestClassTemplate 'void ()' implicit_instantiation noexcept-unevaluated 0x{{.+}}		// CHECK-NEXT: \|-CXXDestructorDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:24> col:5 ~TestClassTemplate 'void ()' implicit_instantiation noexcept-unevaluated 0x{{.+}} instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:11> col:9 j 'int ()' implicit_instantiation		// CHECK-NEXT: \|-CXXMethodDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:11> col:9 j 'int ()' implicit_instantiation instantiated_from {{0x[^ ]+}}{{$}}
// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:9> col:9 i 'int'		// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-122]]:5, col:9> col:9 i 'int'{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-106]]:3, line:[[@LINE-104]]:3> line:[[@LINE-106]]:44 TestClassTemplatePartial		// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-106]]:3, line:[[@LINE-104]]:3> line:[[@LINE-106]]:44 TestClassTemplatePartial{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:25, col:34> col:34 typename depth 0 index 1 T2		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:25, col:34> col:34 typename depth 0 index 1 T2{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:38, line:[[@LINE-107]]:3> line:[[@LINE-109]]:44 class TestClassTemplatePartial definition		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:38, line:[[@LINE-107]]:3> line:[[@LINE-109]]:44 class TestClassTemplatePartial definition{{$}}
// CHECK-NEXT: \|-DefinitionData standard_layout trivially_copyable trivial literal		// CHECK-NEXT: \|-DefinitionData standard_layout trivially_copyable trivial literal{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists trivial needs_implicit		// CHECK-NEXT: \| \|-DefaultConstructor exists trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:38, col:44> col:44 implicit class TestClassTemplatePartial		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:38, col:44> col:44 implicit class TestClassTemplatePartial{{$}}
// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-117]]:5, col:9> col:9 i 'int'		// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-117]]:5, col:9> col:9 i 'int'{{$}}

// CHECK: ClassTemplatePartialSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-117]]:3, line:[[@LINE-115]]:3> line:[[@LINE-117]]:31 class TestClassTemplatePartial definition		// CHECK: ClassTemplatePartialSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-117]]:3, line:[[@LINE-115]]:3> line:[[@LINE-117]]:31 class TestClassTemplatePartial definition explicit_specialization{{$}}
// CHECK-NEXT: \|-DefinitionData standard_layout trivially_copyable trivial literal		// CHECK-NEXT: \|-DefinitionData standard_layout trivially_copyable trivial literal{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists trivial needs_implicit		// CHECK-NEXT: \| \|-DefaultConstructor exists trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'type-parameter-0-0'		// CHECK-NEXT: \|-TemplateArgument type 'type-parameter-0-0'{{$}}
// CHECK-NEXT: \| `-TemplateTypeParmType 0x{{.+}} 'type-parameter-0-0' dependent depth 0 index 0		// CHECK-NEXT: \| `-TemplateTypeParmType 0x{{.+}} 'type-parameter-0-0' dependent depth 0 index 0{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::A'		// CHECK-NEXT: \|-TemplateArgument type 'testClassTemplateDecl::A'{{$}}
// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testClassTemplateDecl::A'		// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testClassTemplateDecl::A'{{$}}
// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'		// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T1		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T1{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplatePartial		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplatePartial{{$}}
// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-131]]:5, col:9> col:9 j 'int'		// CHECK-NEXT: `-FieldDecl 0x{{.+}} <line:[[@LINE-131]]:5, col:9> col:9 j 'int'{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-130]]:3, col:37> col:37 TestTemplateDefaultType		// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-130]]:3, col:37> col:37 TestTemplateDefaultType{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:25> col:21 typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:25> col:21 typename depth 0 index 0 T{{$}}
// CHECK-NEXT: \| `-TemplateArgument type 'int'		// CHECK-NEXT: \| `-TemplateArgument type 'int'{{$}}
// CHECK-NEXT: \| `-BuiltinType 0x{{.+}} 'int'		// CHECK-NEXT: \| `-BuiltinType 0x{{.+}} 'int'{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:30, col:37> col:37 struct TestTemplateDefaultType		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:30, col:37> col:37 struct TestTemplateDefaultType{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-135]]:3, col:57> col:31 TestTemplateDefaultType		// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-135]]:3, col:57> col:31 TestTemplateDefaultType{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T{{$}}
// CHECK-NEXT: \| `-TemplateArgument type 'int'		// CHECK-NEXT: \| `-TemplateArgument type 'int'{{$}}
// CHECK-NEXT: \| \|-inherited from TemplateTypeParm 0x{{.+}} 'T'		// CHECK-NEXT: \| \|-inherited from TemplateTypeParm 0x{{.+}} 'T'{{$}}
// CHECK-NEXT: \| `-BuiltinType 0x{{.+}} 'int'		// CHECK-NEXT: \| `-BuiltinType 0x{{.+}} 'int'{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <col:24, col:57> col:31 struct TestTemplateDefaultType definition		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <col:24, col:57> col:31 struct TestTemplateDefaultType definition{{$}}
// CHECK-NEXT: \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init		// CHECK-NEXT: \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr		// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:24, col:31> col:31 implicit struct TestTemplateDefaultType		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:24, col:31> col:31 implicit struct TestTemplateDefaultType{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-148]]:3, col:31> col:31 TestTemplateDefaultNonType		// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-148]]:3, col:31> col:31 TestTemplateDefaultNonType{{$}}
// CHECK-NEXT: \|-NonTypeTemplateParmDecl 0x{{.+}} <col:12, col:20> col:16 'int' depth 0 index 0 I		// CHECK-NEXT: \|-NonTypeTemplateParmDecl 0x{{.+}} <col:12, col:20> col:16 'int' depth 0 index 0 I{{$}}
// CHECK-NEXT: \| `-TemplateArgument expr		// CHECK-NEXT: \| `-TemplateArgument expr{{$}}
// CHECK-NEXT: \| `-IntegerLiteral 0x{{.+}} <col:20> 'int' 42		// CHECK-NEXT: \| `-IntegerLiteral 0x{{.+}} <col:20> 'int' 42{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:24, col:31> col:31 struct TestTemplateDefaultNonType		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:24, col:31> col:31 struct TestTemplateDefaultNonType{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:{{.*}}:3, col:68> col:68 TestTemplateTemplateDefaultType		// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:{{.*}}:3, col:68> col:68 TestTemplateTemplateDefaultType{{$}}
// CHECK-NEXT: \|-TemplateTemplateParmDecl 0x{{.+}} <col:12, col:42> col:37 depth 0 index 0 TT		// CHECK-NEXT: \|-TemplateTemplateParmDecl 0x{{.+}} <col:12, col:42> col:37 depth 0 index 0 TT{{$}}
// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:21> col:29 typename depth 1 index 0		// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:21> col:29 typename depth 1 index 0{{$}}
// CHECK-NEXT: \| `-TemplateArgument <col:42> template TestClassTemplate		// CHECK-NEXT: \| `-TemplateArgument <col:42> template TestClassTemplate{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:61, col:68> col:68 struct TestTemplateTemplateDefaultType		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:61, col:68> col:68 struct TestTemplateTemplateDefaultType{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:{{.*}}:3, col:82> col:48 TestTemplateTemplateDefaultType		// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:{{.*}}:3, col:82> col:48 TestTemplateTemplateDefaultType{{$}}
// CHECK-NEXT: \|-TemplateTemplateParmDecl 0x{{.+}} <col:12, col:37> col:37 depth 0 index 0 TT		// CHECK-NEXT: \|-TemplateTemplateParmDecl 0x{{.+}} <col:12, col:37> col:37 depth 0 index 0 TT{{$}}
// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:21> col:29 typename depth 1 index 0		// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:21> col:29 typename depth 1 index 0{{$}}
// CHECK-NEXT: \| `-TemplateArgument <line:{{.*}}:42> template TestClassTemplate		// CHECK-NEXT: \| `-TemplateArgument <line:{{.*}}:42> template TestClassTemplate{{$}}
// CHECK-NEXT: \| `-inherited from TemplateTemplateParm 0x{{.+}} 'TT'		// CHECK-NEXT: \| `-inherited from TemplateTemplateParm 0x{{.+}} 'TT'{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <line:{{.*}}:41, col:82> col:48 struct TestTemplateTemplateDefaultType definition		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <line:{{.*}}:41, col:82> col:48 struct TestTemplateTemplateDefaultType definition{{$}}
// CHECK-NEXT: \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init		// CHECK-NEXT: \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr		// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:41, col:48> col:48 implicit struct TestTemplateTemplateDefaultType		// CHECK-NEXT: `-CXXRecordDecl 0x{{.+}} <col:41, col:48> col:48 implicit struct TestTemplateTemplateDefaultType{{$}}


// PR15220 dump instantiation only once		// PR15220 dump instantiation only once
namespace testCanonicalTemplate {		namespace testCanonicalTemplate {
class A {};		class A {};

template<typename T> void TestFunctionTemplate(T);		template<typename T> void TestFunctionTemplate(T);
template<typename T> void TestFunctionTemplate(T);		template<typename T> void TestFunctionTemplate(T);
void bar(A a) { TestFunctionTemplate(a); }		void bar(A a) { TestFunctionTemplate(a); }
// CHECK: FunctionTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-3]]:3, col:51> col:29 TestFunctionTemplate		// CHECK: FunctionTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-3]]:3, col:51> col:29 TestFunctionTemplate{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T{{$}}
// CHECK-NEXT: \|-FunctionDecl 0x{{.*}} <col:24, col:51> col:29 TestFunctionTemplate 'void (T)'		// CHECK-NEXT: \|-FunctionDecl 0x{{.*}} <col:24, col:51> col:29 TestFunctionTemplate 'void (T)'{{$}}
// CHECK-NEXT: \| `-ParmVarDecl 0x{{.*}} <col:50> col:51 'T'		// CHECK-NEXT: \| `-ParmVarDecl 0x{{.*}} <col:50> col:51 'T'{{$}}
// CHECK-NEXT: `-FunctionDecl 0x{{.*}} <line:[[@LINE-6]]:24, col:51> col:29 used TestFunctionTemplate 'void (testCanonicalTemplate::A)'		// CHECK-NEXT: `-FunctionDecl 0x{{.*}} <line:[[@LINE-6]]:24, col:51> col:29 used TestFunctionTemplate 'void (testCanonicalTemplate::A)' implicit_instantiation{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'testCanonicalTemplate::A'		// CHECK-NEXT: \|-TemplateArgument type 'testCanonicalTemplate::A'{{$}}
// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testCanonicalTemplate::A'		// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testCanonicalTemplate::A'{{$}}
// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'		// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'{{$}}
// CHECK-NEXT: `-ParmVarDecl 0x{{.*}} <col:50> col:51 'testCanonicalTemplate::A':'testCanonicalTemplate::A'		// CHECK-NEXT: `-ParmVarDecl 0x{{.*}} <col:50> col:51 'testCanonicalTemplate::A':'testCanonicalTemplate::A'{{$}}

// CHECK: FunctionTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-12]]:3, col:51> col:29 TestFunctionTemplate		// CHECK: FunctionTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-12]]:3, col:51> col:29 TestFunctionTemplate{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T{{$}}
// CHECK-NEXT: \|-FunctionDecl{{.*}} 0x{{.+}} prev 0x{{.+}} <col:24, col:51> col:29 TestFunctionTemplate 'void (T)'		// CHECK-NEXT: \|-FunctionDecl{{.*}} 0x{{.+}} prev 0x{{.+}} <col:24, col:51> col:29 TestFunctionTemplate 'void (T)'{{$}}
// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:50> col:51 'T'		// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:50> col:51 'T'{{$}}
// CHECK-NEXT: `-Function 0x{{.+}} 'TestFunctionTemplate' 'void (testCanonicalTemplate::A)'		// CHECK-NEXT: `-Function 0x{{.+}} 'TestFunctionTemplate' 'void (testCanonicalTemplate::A)'{{$}}
// CHECK-NOT: TemplateArgument		// CHECK-NOT: TemplateArgument{{$}}

template<typename T1> class TestClassTemplate {		template<typename T1> class TestClassTemplate {
template<typename T2> friend class TestClassTemplate;		template<typename T2> friend class TestClassTemplate;
};		};
TestClassTemplate<A> a;		TestClassTemplate<A> a;
// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-4]]:3, line:[[@LINE-2]]:3> line:[[@LINE-4]]:31 TestClassTemplate		// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-4]]:3, line:[[@LINE-2]]:3> line:[[@LINE-4]]:31 TestClassTemplate{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, line:[[@LINE-4]]:3> line:[[@LINE-6]]:31 class TestClassTemplate definition		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, line:[[@LINE-4]]:3> line:[[@LINE-6]]:31 class TestClassTemplate definition{{$}}
// CHECK-NEXT: \| \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init		// CHECK-NEXT: \| \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr		// CHECK-NEXT: \| \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr{{$}}
// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveConstructor exists simple trivial needs_implicit		// CHECK-NEXT: \| \| \|-MoveConstructor exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate		// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate{{$}}
// CHECK-NEXT: \| `-FriendDecl 0x{{.+}} <line:[[@LINE-14]]:5, col:40> col:40		// CHECK-NEXT: \| `-FriendDecl 0x{{.+}} <line:[[@LINE-14]]:5, col:40> col:40{{$}}
// CHECK-NEXT: \| `-ClassTemplateDecl 0x{{.+}} parent 0x{{.+}} <col:5, col:40> col:40 TestClassTemplate		// CHECK-NEXT: \| `-ClassTemplateDecl 0x{{.+}} parent 0x{{.+}} <col:5, col:40> col:40 TestClassTemplate{{$}}
// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:14, col:23> col:23 typename depth 1 index 0 T2		// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:14, col:23> col:23 typename depth 1 index 0 T2{{$}}
// CHECK-NEXT: \| `-CXXRecordDecl 0x{{.+}} parent 0x{{.+}} <col:34, col:40> col:40 class TestClassTemplate		// CHECK-NEXT: \| `-CXXRecordDecl 0x{{.+}} parent 0x{{.+}} <col:34, col:40> col:40 class TestClassTemplate{{$}}
// CHECK-NEXT: `-ClassTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-19]]:3, line:[[@LINE-17]]:3> line:[[@LINE-19]]:31 class TestClassTemplate definition		// CHECK-NEXT: `-ClassTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-19]]:3, line:[[@LINE-17]]:3> line:[[@LINE-19]]:31 class TestClassTemplate definition implicit_instantiation{{$}}
// CHECK-NEXT: \|-DefinitionData pass_in_registers empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init		// CHECK-NEXT: \|-DefinitionData pass_in_registers empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr defaulted_is_constexpr		// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr defaulted_is_constexpr{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial		// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'testCanonicalTemplate::A'		// CHECK-NEXT: \|-TemplateArgument type 'testCanonicalTemplate::A'{{$}}
// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testCanonicalTemplate::A'		// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testCanonicalTemplate::A'{{$}}
// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'		// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate{{$}}
// CHECK-NEXT: \|-FriendDecl 0x{{.+}} <line:[[@LINE-30]]:5, col:40> col:40		// CHECK-NEXT: \|-FriendDecl 0x{{.+}} <line:[[@LINE-30]]:5, col:40> col:40{{$}}
// CHECK-NEXT: \| `-ClassTemplateDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <col:5, col:40> col:40 TestClassTemplate		// CHECK-NEXT: \| `-ClassTemplateDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <col:5, col:40> col:40 TestClassTemplate{{$}}
// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:14, col:23> col:23 typename depth 0 index 0 T2		// CHECK-NEXT: \| \|-TemplateTypeParmDecl 0x{{.+}} <col:14, col:23> col:23 typename depth 0 index 0 T2{{$}}
// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <col:34, col:40> col:40 class TestClassTemplate		// CHECK-NEXT: \| \|-CXXRecordDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <col:34, col:40> col:40 class TestClassTemplate{{$}}
// CHECK-NEXT: \| `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'		// CHECK-NEXT: \| `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate'{{$}}
// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-36]]:31> col:31 implicit used constexpr TestClassTemplate 'void () noexcept' inline default trivial		// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <line:[[@LINE-36]]:31> col:31 implicit used constexpr TestClassTemplate 'void () noexcept' inline default trivial{{$}}
// CHECK-NEXT: \| `-CompoundStmt 0x{{.+}} <col:31>		// CHECK-NEXT: \| `-CompoundStmt 0x{{.+}} <col:31>{{$}}
// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate 'void (const TestClassTemplate<A> &)' inline default trivial noexcept-unevaluated 0x{{.+}}		// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate 'void (const TestClassTemplate<A> &)' inline default trivial noexcept-unevaluated 0x{{.+}}{{$}}
// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:31> col:31 'const TestClassTemplate<A> &'		// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:31> col:31 'const TestClassTemplate<A> &'{{$}}
// CHECK-NEXT: `-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate 'void (TestClassTemplate<A> &&)' inline default trivial noexcept-unevaluated 0x{{.+}}		// CHECK-NEXT: `-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate 'void (TestClassTemplate<A> &&)' inline default trivial noexcept-unevaluated 0x{{.+}}{{$}}
// CHECK-NEXT: `-ParmVarDecl 0x{{.+}} <col:31> col:31 'TestClassTemplate<A> &&'		// CHECK-NEXT: `-ParmVarDecl 0x{{.+}} <col:31> col:31 'TestClassTemplate<A> &&'{{$}}


template<typename T1> class TestClassTemplate2;		template<typename T1> class TestClassTemplate2;
template<typename T1> class TestClassTemplate2;		template<typename T1> class TestClassTemplate2;
template<typename T1> class TestClassTemplate2 {		template<typename T1> class TestClassTemplate2 {
};		};
TestClassTemplate2<A> a2;		TestClassTemplate2<A> a2;
// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-5]]:3, col:31> col:31 TestClassTemplate2		// CHECK: ClassTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-5]]:3, col:31> col:31 TestClassTemplate2{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 class TestClassTemplate2		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 class TestClassTemplate2{{$}}
// CHECK-NEXT: `-ClassTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-6]]:3, line:[[@LINE-5]]:3> line:[[@LINE-6]]:31 class TestClassTemplate2 definition		// CHECK-NEXT: `-ClassTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-6]]:3, line:[[@LINE-5]]:3> line:[[@LINE-6]]:31 class TestClassTemplate2 definition implicit_instantiation{{$}}
// CHECK-NEXT: \|-DefinitionData pass_in_registers empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init		// CHECK-NEXT: \|-DefinitionData pass_in_registers empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr defaulted_is_constexpr		// CHECK-NEXT: \| \|-DefaultConstructor exists trivial constexpr defaulted_is_constexpr{{$}}
// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param implicit_has_const_param		// CHECK-NEXT: \| \|-CopyConstructor simple trivial has_const_param implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial		// CHECK-NEXT: \| \|-MoveConstructor exists simple trivial{{$}}
// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'testCanonicalTemplate::A'		// CHECK-NEXT: \|-TemplateArgument type 'testCanonicalTemplate::A'{{$}}
// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testCanonicalTemplate::A'		// CHECK-NEXT: \| `-RecordType 0x{{.+}} 'testCanonicalTemplate::A'{{$}}
// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'		// CHECK-NEXT: \| `-CXXRecord 0x{{.+}} 'A'{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate2		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate2{{$}}
// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit used constexpr TestClassTemplate2 'void () noexcept' inline default trivial		// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit used constexpr TestClassTemplate2 'void () noexcept' inline default trivial{{$}}
// CHECK-NEXT: \| `-CompoundStmt 0x{{.+}} <col:31>		// CHECK-NEXT: \| `-CompoundStmt 0x{{.+}} <col:31>{{$}}
// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate2 'void (const TestClassTemplate2<A> &)' inline default trivial noexcept-unevaluated 0x{{.+}}		// CHECK-NEXT: \|-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate2 'void (const TestClassTemplate2<A> &)' inline default trivial noexcept-unevaluated 0x{{.+}}{{$}}
// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:31> col:31 'const TestClassTemplate2<A> &'		// CHECK-NEXT: \| `-ParmVarDecl 0x{{.+}} <col:31> col:31 'const TestClassTemplate2<A> &'{{$}}
// CHECK-NEXT: `-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate2 'void (TestClassTemplate2<A> &&)' inline default trivial noexcept-unevaluated 0x{{.+}}		// CHECK-NEXT: `-CXXConstructorDecl 0x{{.+}} <col:31> col:31 implicit constexpr TestClassTemplate2 'void (TestClassTemplate2<A> &&)' inline default trivial noexcept-unevaluated 0x{{.+}}{{$}}
// CHECK-NEXT: `-ParmVarDecl 0x{{.+}} <col:31> col:31 'TestClassTemplate2<A> &&'		// CHECK-NEXT: `-ParmVarDecl 0x{{.+}} <col:31> col:31 'TestClassTemplate2<A> &&'{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-26]]:3, col:31> col:31 TestClassTemplate2		// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-26]]:3, col:31> col:31 TestClassTemplate2{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <col:25, col:31> col:31 class TestClassTemplate2		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <col:25, col:31> col:31 class TestClassTemplate2{{$}}
// CHECK-NEXT: `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate2'		// CHECK-NEXT: `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate2'{{$}}

// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-30]]:3, line:[[@LINE-29]]:3> line:[[@LINE-30]]:31 TestClassTemplate2		// CHECK: ClassTemplateDecl 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-30]]:3, line:[[@LINE-29]]:3> line:[[@LINE-30]]:31 TestClassTemplate2{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T1{{$}}
// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <col:25, line:[[@LINE-31]]:3> line:[[@LINE-32]]:31 class TestClassTemplate2 definition		// CHECK-NEXT: \|-CXXRecordDecl 0x{{.+}} prev 0x{{.+}} <col:25, line:[[@LINE-31]]:3> line:[[@LINE-32]]:31 class TestClassTemplate2 definition{{$}}
// CHECK-NEXT: \| \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init		// CHECK-NEXT: \| \|-DefinitionData empty aggregate standard_layout trivially_copyable pod trivial literal has_constexpr_non_copy_move_ctor can_const_default_init{{$}}
// CHECK-NEXT: \| \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr		// CHECK-NEXT: \| \| \|-DefaultConstructor exists trivial constexpr needs_implicit defaulted_is_constexpr{{$}}
// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyConstructor simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveConstructor exists simple trivial needs_implicit		// CHECK-NEXT: \| \| \|-MoveConstructor exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param		// CHECK-NEXT: \| \| \|-CopyAssignment simple trivial has_const_param needs_implicit implicit_has_const_param{{$}}
// CHECK-NEXT: \| \| \|-MoveAssignment exists simple trivial needs_implicit		// CHECK-NEXT: \| \| \|-MoveAssignment exists simple trivial needs_implicit{{$}}
// CHECK-NEXT: \| \| `-Destructor simple irrelevant trivial needs_implicit		// CHECK-NEXT: \| \| `-Destructor simple irrelevant trivial needs_implicit{{$}}
// CHECK-NEXT: \| `-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate2		// CHECK-NEXT: \| `-CXXRecordDecl 0x{{.+}} <col:25, col:31> col:31 implicit class TestClassTemplate2{{$}}
// CHECK-NEXT: `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate2'		// CHECK-NEXT: `-ClassTemplateSpecialization 0x{{.+}} 'TestClassTemplate2'{{$}}

struct S {		struct S {
template<typename T> static const T TestVarTemplate; // declaration of a static data member template		template<typename T> static const T TestVarTemplate; // declaration of a static data member template
};		};
template<typename T>		template<typename T>
const T S::TestVarTemplate = { }; // definition of a static data member template		const T S::TestVarTemplate = { }; // definition of a static data member template

void f()		void f()
{		{
int i = S::TestVarTemplate<int>;		int i = S::TestVarTemplate<int>;
int j = S::TestVarTemplate<int>;		int j = S::TestVarTemplate<int>;
}		}

// CHECK: VarTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-11]]:7, col:43> col:43 TestVarTemplate		// CHECK: VarTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-11]]:7, col:43> col:43 TestVarTemplate{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:16, col:25> col:25 referenced typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:16, col:25> col:25 referenced typename depth 0 index 0 T{{$}}
// CHECK-NEXT: \|-VarDecl 0x{{.+}} <col:28, col:43> col:43 TestVarTemplate 'const T' static		// CHECK-NEXT: \|-VarDecl 0x{{.+}} <col:28, col:43> col:43 TestVarTemplate 'const T' static{{$}}
// CHECK-NEXT: \|-VarTemplateSpecializationDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <line:[[@LINE-11]]:3, col:34> col:14 referenced TestVarTemplate 'const int':'const int' implicit_instantiation cinit		// CHECK-NEXT: \|-VarTemplateSpecializationDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <line:[[@LINE-11]]:3, col:34> col:14 referenced TestVarTemplate 'const int':'const int' implicit_instantiation cinit{{$}}
// CHECK-NEXT: \| \|-NestedNameSpecifier TypeSpec 'testCanonicalTemplate::S'		// CHECK-NEXT: \| \|-NestedNameSpecifier TypeSpec 'testCanonicalTemplate::S'{{$}}
// CHECK-NEXT: \| \|-TemplateArgument type 'int'		// CHECK-NEXT: \| \|-TemplateArgument type 'int'{{$}}
// CHECK-NEXT: \| \| `-BuiltinType 0x{{.+}} 'int'		// CHECK-NEXT: \| \| `-BuiltinType 0x{{.+}} 'int'{{$}}
// CHECK-NEXT: \| `-InitListExpr 0x{{.+}} <col:32, col:34> 'int':'int'		// CHECK-NEXT: \| `-InitListExpr 0x{{.+}} <col:32, col:34> 'int':'int'{{$}}
// CHECK-NEXT: `-VarTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-19]]:28, col:43> col:43 referenced TestVarTemplate 'const int':'const int' implicit_instantiation static		// CHECK-NEXT: `-VarTemplateSpecializationDecl 0x{{.+}} <line:[[@LINE-19]]:28, col:43> col:43 referenced TestVarTemplate 'const int':'const int' implicit_instantiation static{{$}}
// CHECK-NEXT: `-TemplateArgument type 'int'		// CHECK-NEXT: `-TemplateArgument type 'int'{{$}}

// CHECK: VarTemplateSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-22]]:28, col:43> col:43 referenced TestVarTemplate 'const int':'const int' implicit_instantiation static		// CHECK: VarTemplateSpecializationDecl 0x{{.+}} <{{.+}}:[[@LINE-22]]:28, col:43> col:43 referenced TestVarTemplate 'const int':'const int' implicit_instantiation static{{$}}
// CHECK-NEXT:`-TemplateArgument type 'int'		// CHECK-NEXT:`-TemplateArgument type 'int'{{$}}
// CHECK-NEXT: `-BuiltinType 0x{{.+}} 'int'		// CHECK-NEXT: `-BuiltinType 0x{{.+}} 'int'{{$}}

// CHECK: VarTemplateDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-24]]:3, line:[[@LINE-23]]:34> col:14 TestVarTemplate		// CHECK: VarTemplateDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-24]]:3, line:[[@LINE-23]]:34> col:14 TestVarTemplate{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <line:[[@LINE-25]]:12, col:21> col:21 referenced typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <line:[[@LINE-25]]:12, col:21> col:21 referenced typename depth 0 index 0 T{{$}}
// CHECK-NEXT: \|-VarDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <line:[[@LINE-25]]:3, col:34> col:14 TestVarTemplate 'const T' cinit		// CHECK-NEXT: \|-VarDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <line:[[@LINE-25]]:3, col:34> col:14 TestVarTemplate 'const T' cinit{{$}}
// CHECK-NEXT: \| \|-NestedNameSpecifier TypeSpec 'testCanonicalTemplate::S'		// CHECK-NEXT: \| \|-NestedNameSpecifier TypeSpec 'testCanonicalTemplate::S'{{$}}
// CHECK-NEXT: \| `-InitListExpr 0x{{.+}} <col:32, col:34> 'void'		// CHECK-NEXT: \| `-InitListExpr 0x{{.+}} <col:32, col:34> 'void'{{$}}
// CHECK-NEXT: \|-VarTemplateSpecialization 0x{{.+}} 'TestVarTemplate' 'const int':'const int'		// CHECK-NEXT: \|-VarTemplateSpecialization 0x{{.+}} 'TestVarTemplate' 'const int':'const int'{{$}}
// CHECK-NEXT: `-VarTemplateSpecialization 0x{{.+}} 'TestVarTemplate' 'const int':'const int'		// CHECK-NEXT: `-VarTemplateSpecialization 0x{{.+}} 'TestVarTemplate' 'const int':'const int'{{$}}

// CHECK: VarTemplateSpecializationDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-31]]:3, col:34> col:14 referenced TestVarTemplate 'const int':'const int' implicit_instantiation cinit		// CHECK: VarTemplateSpecializationDecl 0x{{.+}} parent 0x{{.+}} prev 0x{{.+}} <{{.+}}:[[@LINE-31]]:3, col:34> col:14 referenced TestVarTemplate 'const int':'const int' implicit_instantiation cinit{{$}}
// CHECK-NEXT: \|-NestedNameSpecifier TypeSpec 'testCanonicalTemplate::S'		// CHECK-NEXT: \|-NestedNameSpecifier TypeSpec 'testCanonicalTemplate::S'{{$}}
// CHECK-NEXT: \|-TemplateArgument type 'int'		// CHECK-NEXT: \|-TemplateArgument type 'int'{{$}}
// CHECK-NEXT: \| `-BuiltinType 0x{{.+}} 'int'		// CHECK-NEXT: \| `-BuiltinType 0x{{.+}} 'int'{{$}}
// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:32, col:34> 'int':'int'		// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:32, col:34> 'int':'int'{{$}}
}		}

template <class T>		template <class T>
class TestClassScopeFunctionSpecialization {		class TestClassScopeFunctionSpecialization {
template<class U> void foo(U a) { }		template<class U> void foo(U a) { }
template<> void foo<int>(int a) { }		template<> void foo<int>(int a) { }
};		};
// CHECK: ClassScopeFunctionSpecializationDecl		// CHECK: ClassScopeFunctionSpecializationDecl
▲ Show 20 Lines • Show All 176 Lines • ▼ Show 20 Lines
// CHECK: `-FullComment		// CHECK: `-FullComment
// CHECK: `-ParagraphComment		// CHECK: `-ParagraphComment
// CHECK: `-TextComment		// CHECK: `-TextComment
// CHECK: VarDecl {{.*}} Test 'int' extern		// CHECK: VarDecl {{.*}} Test 'int' extern
// CHECK-NOT: FullComment		// CHECK-NOT: FullComment

namespace TestConstexprVariableTemplateWithInitializer {		namespace TestConstexprVariableTemplateWithInitializer {
template<typename T> constexpr T foo{};		template<typename T> constexpr T foo{};
// CHECK: VarTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-1]]:3, col:40> col:36 foo		// CHECK: VarTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-1]]:3, col:40> col:36 foo{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 referenced typename depth 0 index 0 T{{$}}
// CHECK-NEXT: `-VarDecl 0x{{.+}} <col:24, col:40> col:36 foo 'const T' constexpr listinit		// CHECK-NEXT: `-VarDecl 0x{{.+}} <col:24, col:40> col:36 foo 'const T' constexpr listinit{{$}}
// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:39, col:40> 'void'		// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:39, col:40> 'void'{{$}}

template<typename T> constexpr int val{42};		template<typename T> constexpr int val{42};
// CHECK: VarTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-1]]:3, col:44> col:38 val		// CHECK: VarTemplateDecl 0x{{.+}} <{{.+}}:[[@LINE-1]]:3, col:44> col:38 val{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:12, col:21> col:21 typename depth 0 index 0 T{{$}}
// CHECK-NEXT: `-VarDecl 0x{{.+}} <col:24, col:44> col:38 val 'const int' constexpr listinit		// CHECK-NEXT: `-VarDecl 0x{{.+}} <col:24, col:44> col:38 val 'const int' constexpr listinit{{$}}
// CHECK-NEXT: \|-value: Int 42		// CHECK-NEXT: \|-value: Int 42{{$}}
// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:41, col:44> 'int'		// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:41, col:44> 'int'{{$}}

template <typename _Tp>		template <typename _Tp>
struct in_place_type_t {		struct in_place_type_t {
explicit in_place_type_t() = default;		explicit in_place_type_t() = default;
};		};

template <typename _Tp>		template <typename _Tp>
inline constexpr in_place_type_t<_Tp> in_place_type{};		inline constexpr in_place_type_t<_Tp> in_place_type{};
// CHECK: -VarTemplateDecl 0x{{.+}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:55> col:41 in_place_type		// CHECK: -VarTemplateDecl 0x{{.+}} <line:[[@LINE-2]]:3, line:[[@LINE-1]]:55> col:41 in_place_type{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <line:[[@LINE-3]]:13, col:22> col:22 referenced typename depth 0 index 0 _Tp		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <line:[[@LINE-3]]:13, col:22> col:22 referenced typename depth 0 index 0 _Tp{{$}}
// CHECK-NEXT: `-VarDecl 0x{{.+}} <line:[[@LINE-3]]:3, col:55> col:41 in_place_type 'const in_place_type_t<_Tp>':'const in_place_type_t<_Tp>' inline constexpr listinit		// CHECK-NEXT: `-VarDecl 0x{{.+}} <line:[[@LINE-3]]:3, col:55> col:41 in_place_type 'const in_place_type_t<_Tp>':'const in_place_type_t<_Tp>' inline constexpr listinit{{$}}
// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:54, col:55> 'void'		// CHECK-NEXT: `-InitListExpr 0x{{.+}} <col:54, col:55> 'void'{{$}}

template <typename T> constexpr T call_init(0);		template <typename T> constexpr T call_init(0);
// CHECK: -VarTemplateDecl 0x{{.+}} <line:[[@LINE-1]]:3, col:48> col:37 call_init		// CHECK: -VarTemplateDecl 0x{{.+}} <line:[[@LINE-1]]:3, col:48> col:37 call_init{{$}}
// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:13, col:22> col:22 referenced typename depth 0 index 0 T		// CHECK-NEXT: \|-TemplateTypeParmDecl 0x{{.+}} <col:13, col:22> col:22 referenced typename depth 0 index 0 T{{$}}
// CHECK-NEXT: `-VarDecl 0x{{.+}} <col:25, col:48> col:37 call_init 'const T' constexpr callinit		// CHECK-NEXT: `-VarDecl 0x{{.+}} <col:25, col:48> col:37 call_init 'const T' constexpr callinit{{$}}
// CHECK-NEXT: `-ParenListExpr 0x{{.+}} <col:46, col:48> 'NULL TYPE'		// CHECK-NEXT: `-ParenListExpr 0x{{.+}} <col:46, col:48> 'NULL TYPE'{{$}}
// CHECK-NEXT: `-IntegerLiteral 0x{{.+}} <col:47> 'int' 0		// CHECK-NEXT: `-IntegerLiteral 0x{{.+}} <col:47> 'int' 0{{$}}

}		}

This is an archive of the discontinued LLVM Phabricator instance.

[clang][AST] TextNodeDumper learned to output instantiated_from informationClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 551124

clang/lib/AST/TextNodeDumper.cpp

clang/test/AST/ast-dump-decl.cpp

[clang][AST] TextNodeDumper learned to output instantiated_from information
ClosedPublic