[Bug sanitizer/95279] UBSan doesn't seem to detect pointer overflow in certain cases

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95279

--- Comment #15 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to jos...@codesourcery.com from comment #14)
> I think it's invalid to refer to element (size_t)-1 of an array; that the 
> actual integer value used has to be within the range of available array 
> elements.

But this case is:
(array + 1) + (size_t)-1

That is the question there.