https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114476
--- Comment #8 from Robin Dapp <rdapp at gcc dot gnu.org> --- I tried some things (for the related bug without -fwrapv) then got busy with some other things. I'm going to have another look later this week.