In the most purely theoretical sense, you are correct, but everything Intel and AMD has said indicates they will still offer strong guarantees on the DOIT instr

In the most purely theoretical sense, you are correct, but everything Intel and AMD has said indicates they will still offer strong guarantees on the DOIT instructions: https://lore.kernel.org/all/851920c5-31c9-ddd9-3e2d-57d379aa0671@intel.com/ https://lore.kernel.org/all/851920c5-31c9-ddd9-3e2d-57d379aa... In other words, they have announced the possibility of breaking that guarantee years before touching it, which is something the clang developers would never do.