[Bug tree-optimization/126257] [16/17 Regression] wrong code at -O2/3 with _BitInt(2) since r16-5324

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2026-07-14
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Slightly cleaned up testcase:

_BitInt(2) a;
long long b, c, d;

int
main ()
{
  int e;
  _BitInt(2) f;
  bool g;
  long long h = b;
lab:
  e = h;
  if (e != 4)
    f = -1;
  f = f + f;
  a = f;
  g = d - 4;
  if (!g)
    goto lab;
  c = a;
  if (c != -2)
    __builtin_abort ();
}