gcc/testsuite/gcc.dg/c99-vla-jump-5.c

   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 } */