gcc/testsuite/g++.dg/torture/pr44148.C

   1 // PR c++/44148
   2 // { dg-do compile }
   3 // { dg-options "" }
   4 // { dg-options "-fpic" { target fpic } }
   5
   6 template <typename T> struct S2
   7 {
   8   typedef const T &t2;
   9   t2 operator* () const {}
  10 };
  11 template <typename T> struct S3
  12 {
  13   typedef S2 <T> t5;
  14 };
  15 template <typename T1, typename T2> T2 foo1 (T1 x, T2 y) { y (*x); }
  16 template <class T> struct S4
  17 {
  18   T &operator* () const;
  19 };
  20 struct S7 {};
  21 struct S8
  22 {
  23   typedef::S3 <S4 <S7> >::t5 t6;
  24   t6 m1 () const;
  25 };
  26 template <class T> struct S9
  27 {
  28   typedef T t3;
  29   inline t3 &operator[] (unsigned int) {}
  30 };
  31 template <typename T1, typename T2, typename T3, void (&T4) (const T1 &, T3 &)> struct S10
  32 {
  33   S10 (T2 &x, unsigned int y = 0) : u (x), v (y) {}
  34   void operator () (const S4 <T1> &x) { T4 (*x, u[v++]); }
  35   T2 &u;
  36   unsigned int v;
  37 };
  38 struct S15;
  39 struct S11
  40 {
  41   static void m3 (const S8 &, S15 &);
  42 };
  43 struct S16;
  44 struct S12;
  45 struct S13
  46 {
  47   static void m4 (const S7 &,S16 &);
  48 };
  49 typedef S10 <S7, S12, S16, S13::m4> t10;
  50 struct S12: S9 <S16>
  51 {
  52 };
  53 struct S15
  54 {
  55   S12 p;
  56 };
  57 void S11::m3 (const S8 &x, S15 &y)
  58 {
  59   foo1 (x.m1 (), t10 (y.p));
  60 }