gcc/testsuite/gcc.dg/pr83581.c

/* PR tree-optimization/83581 */
/* { dg-do compile } */
/* { dg-options "-O3 -fno-tree-copy-prop -fno-tree-loop-im" } */

int a, b, c;

int
foo (int x)
{
  int *d = &x;
  while (a < 1)
    {
      for (b = 0; b < 2; ++b)
        {
          *d += !!x + 1;
          d = &c;
        }
      ++a;
    }
  return *d;
}