https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97315
Andrew Macleod <amacleod at redhat dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |amacleod at redhat dot com --- Comment #10 from Andrew Macleod <amacleod at redhat dot com> --- Created attachment 49324 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=49324&action=edit Patch to fix the problem Running the following patch thru bootstrap and testing. a) removes the trap and instead annotates the listing. b) Changes any non-overflow calculation in which both bounds are overflow/underflow to be undefined. Which seems to resolve everything I am seeing in this PR.