gcc/testsuite/gcc.dg/stmt-expr-label-2.c

   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 }