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