diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/if-empty-1.c')
-rw-r--r-- | gcc/testsuite/gcc.dg/if-empty-1.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/if-empty-1.c b/gcc/testsuite/gcc.dg/if-empty-1.c new file mode 100644 index 00000000000..a3156c1a7f8 --- /dev/null +++ b/gcc/testsuite/gcc.dg/if-empty-1.c @@ -0,0 +1,23 @@ +/* Test diagnostics for empty bodies in if / else. */ +/* Origin: Joseph Myers <joseph@codesourcery.com> */ +/* { dg-do compile } */ +/* { dg-options "-Wextra" } */ + +void +f (int x) +{ + if (x) + ; /* { dg-warning "warning: empty body in an if-statement" } */ + if (x) + ; /* By design we don't warn in this case. */ + else + (void)0; + if (x) + (void)0; + else + ; /* { dg-warning "warning: empty body in an else-statement" } */ + if (x) + (void)0; + else + (void)0; +} |