Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/g++.dg/template/qualttp16.C @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 // Copyright (C) 2001 Free Software Foundation
kono
parents:
diff changeset
2 // Contributed by Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net>
kono
parents:
diff changeset
3 // { dg-do run }
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 extern "C" void abort();
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 struct A
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 template <class T> class B {};
kono
parents:
diff changeset
10 };
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 template <template <class> class TT, class T> struct X
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 TT<int> y;
kono
parents:
diff changeset
15 T z;
kono
parents:
diff changeset
16 int f() { return 0; }
kono
parents:
diff changeset
17 };
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 template <class T> struct X<T::template B, T>
kono
parents:
diff changeset
20 {
kono
parents:
diff changeset
21 typename T::template B<int> y;
kono
parents:
diff changeset
22 T z;
kono
parents:
diff changeset
23 int f() { return 1; }
kono
parents:
diff changeset
24 };
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 template <class T> struct C
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 X<T::template B, A> x;
kono
parents:
diff changeset
29 };
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 int main()
kono
parents:
diff changeset
32 {
kono
parents:
diff changeset
33 C<A> c;
kono
parents:
diff changeset
34 X<A::B, A> x1;
kono
parents:
diff changeset
35 X<A::B, int> x2;
kono
parents:
diff changeset
36 if (x1.f() != 1)
kono
parents:
diff changeset
37 abort();
kono
parents:
diff changeset
38 if (x2.f() != 0)
kono
parents:
diff changeset
39 abort();
kono
parents:
diff changeset
40 }