https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103061
--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Aldy Hernandez from comment #5) > > That is, is signed overflow undefined in overflow? > > Errr, "is signed overflow undefined for integer(kind=4)?" Yes it is undefined. Figures spec would have undefined code in it. So the question to the reporter is does -fwrapv works for the original testcase?