/* { dg-do compile } */
/* { dg-options "-Wempty-body" } */
void foo (void)
{
	if (0)
	  a: ; /* { dg-warning "empty body in an" } */


}