http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54286
Paul Thomas <pault at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-01-08 AssignedTo|unassigned at gcc dot |pault at gcc dot gnu.org |gnu.org | Ever Confirmed|0 |1 --- Comment #2 from Paul Thomas <pault at gcc dot gnu.org> 2013-01-08 21:43:46 UTC --- Created attachment 29113 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29113 A patch that recovers the original error Tobias' remarks about the appropriateness of the error are justified. I will look into this tomorrow. Paul