https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71658
--- Comment #2 from Ulrich Mutze <ulrichmutze at gmx dot de> --- Created attachment 38780 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=38780&action=edit This is a shortened version of the first attachment. It avoids a superfluous complication.
