http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54075
--- Comment #41 from Jonathan Wakely <jwakely.gcc at gmail dot com> 2012-11-08 00:58:55 UTC --- On 7 November 2012 22:02, François Dumont wrote: > > Ok to commit ? If so, where ? That patch is OK for trunk and 4.7, thanks.