https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86735
--- Comment #17 from janus at gcc dot gnu.org --- (In reply to Jakub Jelinek from comment #14) > /usr/src/sde/sde64 -- ./pr86735 > 1 2 3 4 5 6 > 7 8 9 10 11 12 13 > 14 15 16 > 1 2 3 4 5 6 > 7 8 9 10 11 12 13 > 14 15 16 > Perhaps sde64 behaves differently from real HW? Huh, sounds possible. However, I see the buggy behavior also with sde64 (on the same machine where I also see it in real HW, see comment 16).