On 07/07/2015 05:02 PM, Jeff Law wrote: > Can you please file this as a bug in bugzilla so that can get tracked? > > http://gcc.gnu.org/bugzilla Sure, it's there: <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790>. -- Pierre-Marie de Rodat