https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80859 --- Comment #17 from Thorsten Kurth <thorstenkurth at me dot com> --- the result though is correct, I verified that both codes generate the correct output.