On Wed, May 8, 2013 at 3:00 PM, Richard Sandiford <rdsandiford@googlemail.com> wrote: > Yeah, sounds like it :-( Please file a bug report in > http://gcc.gnu.org/bugzilla Bug has been filed: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57260 Sincerely, lee