| /* Test diagnostics for label declarations. Test with no special | |
| options. */ | |
| /* Origin: Joseph Myers <joseph@codesourcery.com> */ | |
| /* { dg-do compile } */ | |
| /* { dg-options "" } */ | |
| typedef int b; | |
| void | |
| f (void) | |
| { | |
| __label__ a, b, c, d; | |
| __extension__ (void)&&d; /* { dg-error "label 'd' used but not defined" } */ | |
| goto c; /* { dg-error "label 'c' used but not defined" } */ | |
| a: (void)0; | |
| b: (void)0; | |
| } |