| // 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); |
| } |