111
|
1 /* Test for labels and VM declarations: bug 12913.
|
|
2 switch statements must not jump into the scope of VM declarations.
|
|
3
|
|
4 c99-vla-jump-1.c tests with just that label and goto, VLAs.
|
|
5 c99-vla-jump-2.c tests with many other labels and gotos, VLAs.
|
|
6 c99-vla-jump-3.c tests with just that label and goto, VM.
|
|
7 c99-vla-jump-4.c tests with many other labels and gotos, VM.
|
|
8 c99-vla-jump-5.c tests with switch statements. */
|
|
9
|
|
10 /* Origin: Joseph Myers <joseph@codesourcery.com> */
|
|
11 /* { dg-do compile } */
|
|
12 /* { dg-options "-std=iso9899:1999 -pedantic-errors" } */
|
|
13
|
|
14 void
|
|
15 f (int a, int b)
|
|
16 {
|
|
17 switch (a) { /* { dg-warning "statement will never be executed" } */
|
|
18 int v[b];
|
|
19 case 2: /* { dg-error "switch jumps into scope of identifier with variably modified type" } */
|
|
20 default: /* { dg-error "switch jumps into scope of identifier with variably modified type" } */
|
|
21 switch (a)
|
|
22 {
|
|
23 case 4:
|
|
24 { int z[b]; }
|
|
25 default:
|
|
26 ;
|
|
27 int w[b];
|
|
28 }
|
|
29 }
|
|
30 }
|
|
31
|
|
32 /* Match extra informative notes. */
|
|
33 /* { dg-message "note: switch starts here" "note: starts" { target *-*-* } 0 } */
|
|
34 /* { dg-message "note: '\[^\n'\]*' declared here" "note: declared" { target *-*-* } 0 } */
|