Hello Tom,
>>> The failure still represents a gcc bug, because we're using -fwrapv which
>>> should disable that assumption.
>>
>> Ok, I'll report it.
>
> Done at https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101254
Fixed at r12-1916-ga96d8d67d0073a7031c0712bc3fb7759417b2125
https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;h=a96d8d67d0073a7031c0712bc3fb7759417b2125
Just under 10 hours from the bug report…
--
Fabien.