http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53350
--- Comment #5 from Marc Glisse <marc.glisse at normalesup dot org> 2012-05-15 14:50:42 UTC --- You may first want to check whether you still get the bug with a more recent gcc version.
marc.glisse at normalesup dot org Tue, 15 May 2012 07:51:16 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53350
--- Comment #5 from Marc Glisse <marc.glisse at normalesup dot org> 2012-05-15 14:50:42 UTC --- You may first want to check whether you still get the bug with a more recent gcc version.