http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20128
--- Comment #9 from Volker Reichelt <reichelt at gcc dot gnu.org> 2011-11-16 19:24:55 UTC --- *** Bug 34617 has been marked as a duplicate of this bug. ***
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20128
--- Comment #9 from Volker Reichelt <reichelt at gcc dot gnu.org> 2011-11-16 19:24:55 UTC --- *** Bug 34617 has been marked as a duplicate of this bug. ***