http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41600
--- Comment #12 from Paul Thomas <pault at gcc dot gnu.org> 2012-05-05 08:52:31 UTC --- Fixed on trunk Thanks for the report and sorry that it took more than two years to fix! Paul
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=41600
--- Comment #12 from Paul Thomas <pault at gcc dot gnu.org> 2012-05-05 08:52:31 UTC --- Fixed on trunk Thanks for the report and sorry that it took more than two years to fix! Paul