|
111
|
1 /* { dg-do compile } */
|
|
|
2 /* { dg-options "-O -Wuninitialized" } */
|
|
|
3
|
|
|
4 struct S8 { template<typename T> S8(T) { } };
|
|
|
5
|
|
|
6 template<typename T> struct S10;
|
|
|
7 template<typename T> struct S10<T()> { typedef T S12; typedef S8 S1(); };
|
|
|
8
|
|
|
9 template<typename T> struct S3 { };
|
|
|
10 template<typename T> struct S11 { S11(S3<T>); };
|
|
|
11
|
|
|
12 struct S2
|
|
|
13 {
|
|
|
14 template<typename T> operator S11<T>() { return S11<T>(S5<T>()); }
|
|
|
15 template<typename T> struct S5:public S3<T>
|
|
|
16 {
|
|
|
17 virtual typename S10<T>::S12 S13() {
|
|
|
18 return 0;
|
|
|
19 }
|
|
|
20 };
|
|
|
21 };
|
|
|
22
|
|
|
23 template<typename T> S11<T> S6(S3<T>) { return S11<T>(S3<T>()); }
|
|
|
24 template<typename S12> struct S7 { typedef S12 S15(); };
|
|
|
25
|
|
|
26 struct S4
|
|
|
27 {
|
|
|
28 template<typename T> operator S11<T>()
|
|
|
29 {
|
|
|
30 struct S14:public S3<T>
|
|
|
31 {
|
|
|
32 S14(S2 x):S11_(x) { }
|
|
|
33 S11<typename S7<typename S10<T>::S12>::S15> S11_;
|
|
|
34 };
|
|
|
35 return S6(S14(S11_));
|
|
|
36 }
|
|
|
37 S2 S11_;
|
|
|
38 };
|
|
|
39
|
|
|
40 struct S9
|
|
|
41 {
|
|
|
42 template<typename F> operator S11<F>() { return S11<F>(S14<F>(S11_)); }
|
|
|
43 template<typename F> struct S14:public S3<F>
|
|
|
44 {
|
|
|
45 S14(S4 x):S11_(x) { }
|
|
|
46 S11<typename S10<F>::S1> S11_;
|
|
|
47 };
|
|
|
48 S4 S11_;
|
|
|
49 };
|
|
|
50
|
|
|
51 void S15(S11<void()>);
|
|
|
52 void S16() { S9 x; S15(x); }
|
|
|
53
|
