| // PR c++/70209 | |
| struct V { | |
| typedef float F; | |
| template <typename S> void m_fn1(S); | |
| }; | |
| template <typename> struct A { | |
| typedef V::F Ta __attribute__((__may_alias__)); | |
| Ta *m_data; | |
| void m_fn2(V &); | |
| }; | |
| template <> | |
| void A<int>::m_fn2(V &p) { | |
| p.m_fn1(m_data); | |
| } |