1  /* { dg-do run } */
       2  /* { dg-options "-O3" } */
       3  int a = 3, c;
       4  short b = 5, d, f;
       5  volatile short e;
       6  
       7  __attribute__((noipa)) void
       8  foo (void)
       9  {
      10  }
      11  
      12  int
      13  main ()
      14  {
      15    for (f = 0; f != 2; f++)
      16      {
      17        int g = a;
      18        if (b)
      19  	if (a)
      20  	  for (a = b = 0; b <= 3; b++)
      21  	    ;
      22        for (c = 0; c != 16; ++c)
      23  	e;
      24      }
      25    b = d;
      26    foo ();
      27    if (a != 0)
      28      __builtin_abort ();
      29    return 0;
      30  }
      31