On Tue, 2022-03-15 at 13:41 -0700, Kees Cook wrote: > Have you verified there's no binary difference in machine code > output? There actually was a different in the binaries. I investigated a bit, and it seemed at least part of it was due to the line numbers changing the WARN_ON()s. But otherwise, I assumed some compiler optimization must have been bumped.