diff options
Diffstat (limited to 'gcc/testsuite/gcc.dg/c99-vla-jump-5.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/c99-vla-jump-5.c | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/c99-vla-jump-5.c b/gcc/testsuite/gcc.dg/c99-vla-jump-5.c new file mode 100644 index 000000000..683bcf21e --- /dev/null +++ b/gcc/testsuite/gcc.dg/c99-vla-jump-5.c @@ -0,0 +1,34 @@ +/* Test for labels and VM declarations: bug 12913. + switch statements must not jump into the scope of VM declarations. + + c99-vla-jump-1.c tests with just that label and goto, VLAs. + c99-vla-jump-2.c tests with many other labels and gotos, VLAs. + c99-vla-jump-3.c tests with just that label and goto, VM. + c99-vla-jump-4.c tests with many other labels and gotos, VM. + c99-vla-jump-5.c tests with switch statements. */ + +/* Origin: Joseph Myers <joseph@codesourcery.com> */ +/* { dg-do compile } */ +/* { dg-options "-std=iso9899:1999 -pedantic-errors" } */ + +void +f (int a, int b) +{ + switch (a) { + int v[b]; + case 2: /* { dg-error "switch jumps into scope of identifier with variably modified type" } */ + default: /* { dg-error "switch jumps into scope of identifier with variably modified type" } */ + switch (a) + { + case 4: + { int z[b]; } + default: + ; + int w[b]; + } + } +} + +/* Match extra informative notes. */ +/* { dg-message "note: switch starts here" "note: expected" { target *-*-* } 0 } */ +/* { dg-message "note: '\[^\n'\]*' declared here" "note: expected" { target *-*-* } 0 } */ |