People patch, or seriously consider patching, their compilers -- unfortunately. See for example: https://bugzilla.mozilla.org/show_bug.cgi?id=1596565 https://bu

People patch, or seriously consider patching, their compilers -- unfortunately. See for example: https://bugzilla.mozilla.org/show_bug.cgi?id=1596565 https://bugzilla.mozilla.org/show_bug.cgi?id=1596565 Maybe it doesn't quite fit your criteria completely, since there is also a microcode workaround. Still...