flagging unsigned subtraction assigned to bigger signed number?

[Kagamin]

> On Wednesday, 21 May 2025 at 18:19:19 UTC, Walter Bright wrote:
>> An unsigned type is of less utility in a language like Java 
>> that is not a systems programming language (trying to make a 
>> memory allocator with no unsigned types is going to wind up 
>> pretty ugly).

Just found: https://man7.org/linux/man-pages/man3/malloc.3.html
> Attempting to allocate more than PTRDIFF_MAX bytes is 
> considered an error, as an object that large could cause later 
> pointer subtraction to overflow.
> malloc() and related functions rejected sizes greater than 
> PTRDIFF_MAX starting in glibc 2.30.