[Bug tree-optimization/120948] Cannot detect potential division-by-zero when numerator is 1 and denominator is variable

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

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
           Keywords|                            |missed-optimization

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
So you say that we fail to optimize

int foo (unsigned x)
{
  unsigned tem = 1/x;
  if (x == 0)
    return 5;
  return tem;
}

because we turn 1/x into x == 1?

A phase ordering issue, obviously.  Relevant in practice?  I'm not sure.