| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -W -Wall" } */ | |
| /* PR c/13127 | |
| On the tree-ssa this used to warn about an anonymous | |
| uninitialized variable. | |
| The warning about "no return statement in function | |
| returning non-void" is PR 13000. */ | |
| static int foo (int a __attribute__((unused)) ) { } /* { dg-warning "no return statement" } */ | |
| int main (void) { return foo (0); } |