On Mon, Dec 13, 2021 at 3:33 PM Mathias Krause <mini...@grsecurity.net> wrote: > yeah, don't worry. We can keep this change downstream in grsec. Dunno if > Jason wants to take it as well, his call. It was just a side observation > which came out of our need to read and understand the code to provide a > workaround for the gcc bug we were hitting.
I suppose I can load it up in kbench9000 to see if it makes a difference. If it doesn't matter much, I'd prefer sticking with the formally verified stuff. But if there is a nice speedup, then I guess we can revisit more handwavy "obviously this is the same thing" arguments. Jason