annotate clang/test/SemaTemplate/instantiate-partial-spec.cpp @ 150:1d019706d866

LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -std=c++1y -verify %s
anatofuz
parents:
diff changeset
2 // expected-no-diagnostics
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 template<typename T> struct A {
anatofuz
parents:
diff changeset
5 template<typename U> struct B;
anatofuz
parents:
diff changeset
6 template<typename U> struct B<U*>;
anatofuz
parents:
diff changeset
7 };
anatofuz
parents:
diff changeset
8 template<typename T> template<typename U> struct A<T>::B<U*> {};
anatofuz
parents:
diff changeset
9 template struct A<int>;
anatofuz
parents:
diff changeset
10 A<int>::B<int*> b;
anatofuz
parents:
diff changeset
11
anatofuz
parents:
diff changeset
12
anatofuz
parents:
diff changeset
13 template<typename T> struct B {
anatofuz
parents:
diff changeset
14 template<typename U> static const int var1;
anatofuz
parents:
diff changeset
15 template<typename U> static const int var1<U*>;
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 template<typename U> static const int var2;
anatofuz
parents:
diff changeset
18 };
anatofuz
parents:
diff changeset
19 template<typename T> template<typename U> const int B<T>::var1<U*> = 1;
anatofuz
parents:
diff changeset
20 template<typename T> template<typename U> const int B<T>::var2<U*> = 1;
anatofuz
parents:
diff changeset
21 template struct B<int>;
anatofuz
parents:
diff changeset
22 int b_test1[B<int>::var1<int*>];
anatofuz
parents:
diff changeset
23 int b_test2[B<int>::var2<int*>];