[Bug tree-optimization/96693] [11 Regression] GCC produces incorrect code with -O2 for loops

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
unsigned int var_4 = 140810747U;
bool var_7 = (bool)0;
unsigned char var_20 = (unsigned char)82;
unsigned short var_22 = 42;
long long int arr_9 [23] ;

void __attribute__((noipa)) test(unsigned a, bool b, long long p12[23])
{
  for (int c = 0; c < 2;) {
      if (b) {
          for (int d = 0; d < 4082; d += 2)
            for (int e = 0; e < a; e = 2)
              var_20 = 0;
          var_22 = 0;
      }
      c = p12[c];
  }
}

int main()
{
  for (unsigned long i_0 = 0; i_0 < 23; ++i_0)
    arr_9 [i_0] = -722784397873599555LL;
  test(var_4, var_7, arr_9);
  if (var_22 != 42)
    __builtin_abort ();
}