http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56243
--- Comment #4 from fabien at gcc dot gnu.org 2013-02-23 22:00:44 UTC --- I think the testcase is invalid Shouldn't the below line be diagnosed, even if it is in a template ? F& name = x->value; We fail to return early, and the compiler is confused because of this error.