http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56243
--- Comment #5 from fabien at gcc dot gnu.org 2013-02-23 22:02:16 UTC --- reduced testcase: class A { virtual int String (); }; class F: public A { }; template < typename V > class G { V value; }; class D { template < int N > void Verify() { G<A>* x = 0; F& name = x->value; name.String(); } };