gcc/testsuite/g++.dg/warn/Wuninitialized-2.C

   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