[Bug tree-optimization/111572] [14 Regression] Wrong code at -O2 on x86_64-linux-gnu since r14-301-gf2d6beb7a4d

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Self contained testcase:
```

void gg(void)
{
        static int t = 0;
        if (t != 0) __builtin_abort();
        t++;
}
int a, b = -8, e, f, h;
char c, d, g;
static int i(long k) {
  e = 8;
  for (; e; e = f) {
    d = 6;
    for (; d<7; d++) {
      unsigned char j = 0;
      for (; (unsigned char)(1 + k) + j <= 3; j++)
       gg();
    }
    for (; g; g++)
      ;
  }
  return 0;
}
int main() {
  h = 26 & b;
  i((short)(h - 65557) + 65535);
}
```