https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85035
--- Comment #5 from rvdv at vandewiele dot com --- Created attachment 44916 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44916&action=edit assembly output 7.3.0 This is the assembly output i get with 7.3.0 (and as early as 6.1.0) I have tried it with 8.1.0 and then I get the same output as you did. So it seems like it was fixed in 8.1.0
