summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/opt/pr48967.C
blob: db2ea5474e41df7a9d11c6d85379c0132793bd03 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
// PR debug/48967
// { dg-do compile }
// { dg-options "-g -O2" }

template <typename> struct A;
template <typename T> struct A <T *>
{
  typedef T ref;
};
template <typename T, typename> struct B
{
  typedef A <T> t;
  typedef typename t::ref ref;
  ref operator * () { return ref (); }
};
template <typename T> struct I
{
  typedef T *cp;
  template <typename T1> struct J
  {
    typedef I <T1> other;
  };
};
template <typename T> struct S : public I <T>
{
};
template <typename T, typename _A> struct E
{
  typedef typename _A::template J <T>::other at;
};
template <typename T, typename _A = S <T> > struct D
{
  typedef E <T, _A> _Base;
  typedef typename _Base::at at;
  typedef typename at::cp cp;
  typedef B <cp, D> H;
};
template <class T> struct F
{
  T *operator -> () { return __null; }
};
template <typename T> long
lfloor (T x)
{
  return static_cast <long>(x) - (x && x != static_cast <long>(x));
}
template <typename T> long
lround (T x)
{
  return lfloor (x - 0.5) + 1;
}
class M;
template <typename> class P;
typedef P <M> Q;
template <typename> struct P
{
  float x ();
};
struct CV
{
  Q c;
};
struct C
{
  void foo (const CV &) const;
  class O;
  typedef D <F <O> > R;
  R n;
};
struct S3
{
  S3 (int, int);
};
struct S2
{
  S3 sx, sy;
  S2 (int x = 0, int y = 0, int s = 0, int t = 0) : sx (x, y), sy (s, t) {}
};
template <typename> struct N
{
  int bar ();
};
struct C::O
{
  N <float> o;
  void foo (CV r, int)
  {
    Q c = r.c;
    float t = 0.5 * (o.bar ());
    S2 (lround (c.x ()), t);
  }
};
void
C::foo (const CV &w) const
{
  R::H m;
  (*m)->foo (w, 8);
}