https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88589 --- Comment #2 from Lionel Debroux <lionel_debroux at yahoo dot fr> --- Created attachment 45285 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=45285&action=edit The generated S file for the wrong codegen described in 2)