void foo (void) { if (0) a: ; } Compile with -W, there is no warning about the empty statement. Remove the label and there is. IMO the warning should be independent of whether the statement is labelled.
-- Summary: Labels and empty statement warnings Product: gcc Version: 4.1.0 Status: UNCONFIRMED Severity: minor Priority: P3 Component: c AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: neil at gcc dot gnu dot org CC: gcc-bugs at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23161