>> 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
-- Fabien.