1  /* Test diagnostics for empty bodies in do / while.  */
       2  /* { dg-do compile } */
       3  /* { dg-options "-Wempty-body" } */
       4  
       5  void
       6  f (int x)
       7  {
       8    do
       9      ; /* { dg-warning "empty body in" } */
      10    while (x--);
      11  
      12    do
      13    {} /* { dg-bogus "empty body in" } */
      14    while (++x < 10);
      15  }