https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86735
--- Comment #19 from janus at gcc dot gnu.org --- (In reply to janus from comment #17) > 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). Another machine (Haswell CPU, Ubuntu 18.04) also shows the bug with sde64.