https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110450
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |pinskia at gcc dot gnu.org --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Will commit the testcase and close it as fixed. The fix seems like the correct one based on my comment: > And then we remove the __builtin_unreachable even though we infer that _5 > would be 0 and therefore _11 would never be 8 .