[Bug tree-optimization/118623] [12/13/14/15 regression] Miscompile with -O2/3 and -O0/1

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |needs-bisection
   Last reconfirmed|                            |2025-01-23
                 CC|                            |rguenth at gcc dot gnu.org
           Priority|P3                          |P2
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Further reduced, not analyzed.

static int c(int f, int g)
{
  int e = 1 << f;
  if (g & e)
    return 0;
  return 5;
}

__attribute__((noipa))
void h(int g)
{
  if (((c(g - 50, g) + g + g) & 1) == 0)
    __builtin_abort ();
}

int main()
{
  h(63);
  return 0;
}