1  /* PR debug/83585 */
       2  /* { dg-do assemble } */
       3  /* { dg-options "-std=gnu89 -O2 -g -fno-tree-dce -fno-guess-branch-probability" } */
       4  
       5  int
       6  foo (int x)
       7  {
       8    int a, b;
       9    for (a = 0; a < 2; ++a)
      10      if (x != 0)
      11        {
      12          for (b = 0; b < 2; ++b)
      13            ;
      14          return 0;
      15        }
      16  
      17    return;
      18  }