Ian Lance Taylor wrote: > Could you please open a bugzilla PR for this at > http://gcc.gnu.org/bugzilla/ ? That way at least the issue will get > recorded. Thanks. Okay, reported as http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23106