validation/label-stmt-expr0.c

   1 void aft(void)
   2 {
   3         ({
   4 l:               1;
   5         });
   6         goto l;                         // KO
   7 }
   8
   9 void bef(void)
  10 {
  11         goto l;                         // KO
  12         ({
  13 l:               1;
  14         });
  15 }
  16
  17 void lab(void)
  18 {
  19         __label__ l;
  20         ({
  21 l:               1;
  22         });
  23         goto l;                         // KO
  24 }
  25
  26 /*
  27  * check-name: label-stmt-expr0
  28  * check-command: sparse -Wno-decl $file
  29  *
  30  * check-error-start
  31 label-stmt-expr0.c:6:9: error: label 'l' used outside statement expression
  32 label-stmt-expr0.c:4:1:    label 'l' defined here
  33 label-stmt-expr0.c:11:9: error: label 'l' used outside statement expression
  34 label-stmt-expr0.c:13:1:    label 'l' defined here
  35 label-stmt-expr0.c:23:9: error: label 'l' used outside statement expression
  36 label-stmt-expr0.c:21:1:    label 'l' defined here
  37  * check-error-end
  38  */