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
f(int a)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 }
28