1  /* PR ipa/59722 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -fcompare-debug" } */
       4  
       5  extern void abrt (const char *, int) __attribute__((noreturn));
       6  void baz (int *, int *);
       7  
       8  static inline int
       9  bar (void)
      10  {
      11    return 1;
      12  }
      13  
      14  static inline void
      15  foo (int *x, int y (void))
      16  {
      17    while (1)
      18      {
      19        int a = 0;
      20        if (*x)
      21  	{
      22  	  baz (x, &a);
      23  	  while (a && !y ())
      24  	    ;
      25  	  break;
      26  	}
      27        abrt ("", 1);
      28      }
      29  }
      30  
      31  void
      32  test (int x)
      33  {
      34    foo (&x, bar);
      35    foo (&x, bar);
      36  }