[Bug middle-end/102580] Failure to optimize signed division to unsigned division when dividend can't be negative

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102580

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
For an example GCC does optimize the following too:
int f(int x) {
  if (x < 0) 
    __builtin_unreachable();
  return x/3;
}