Re: [PATCH 34/82] ipc: Refactor intentional wrap-around calculation

From: Kees Cook
Date: Tue Jan 23 2024 - 14:05:39 EST


On Tue, Jan 23, 2024 at 10:06:12AM -0800, Linus Torvalds wrote:
> So:
>
> - get rid of that commit message that is lying garbage
>
> - fix the so-called "sanitizer".
>
> - stop calling the unsigned wrap-around a "sanitizer" and talking
> about "undefined behavior" in the same sentence, since it's neither.
>
> Do you really not see why I think that thing is actively *WRONG*?

Yes -- I was trying to head off the confusion about what the larger goal
is (trapping unexpected wrap-around) so that people don't assume I'm
talking about Undefined Behavior (we don't have any UB arithmetic in the
kernel, very intentionally). I did not succeed! I'll rewrite it all.

--
Kees Cook