1  /* Test for labels in statement expressions: bugs 772 and 17913.
       2     switch statements must not jump into statement expressions.  */
       3  
       4  /* Origin: Joseph Myers <joseph@codesourcery.com> */
       5  /* { dg-do compile } */
       6  /* { dg-options "" } */
       7  
       8  void
       9  f (int a)
      10  {
      11    switch (a) /* { dg-message "here" } */
      12      {
      13      case 0:
      14      case 1:
      15        ({
      16        case 2: /* { dg-error "switch jumps into statement expression" } */
      17        default: /* { dg-error "switch jumps into statement expression" } */
      18  	switch (a)
      19  	  {
      20  	  case 3:
      21  	  default:
      22  	    ;
      23  	  }
      24  	0;
      25        });
      26      }
      27  }