[Bug tree-optimization/125153] [16/17 Regression] wrong code at -O2 since r16-303

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

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |16.2
                 CC|                            |jakub at gcc dot gnu.org
           Priority|P3                          |P2
   Last reconfirmed|                            |2026-05-02
            Summary|[16/17 Regression] wrong    |[16/17 Regression] wrong
                   |code at -O2                 |code at -O2 since r16-303
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r16-303-g1a13684dfc7286139064f7d7341462c9995cbd1c
Slightly cleaned up testcase:
int a, b, c;
_Bool d, e;

void
foo (void)
{
  if (d)
    {
    l: b = -1;
    }
  e = c <= b;
  a = a - 7;
  if (e)
    goto l;
}

int
main ()
{
  foo ();
  if (a != -14)
    __builtin_abort ();
}