validation/label-scope1.c

   1 static void ok_top(void)
   2 {
   3         __label__ l;
   4 l:
   5         goto l;
   6 }
   7
   8 static void ko_undecl(void)
   9 {
  10         __label__ l;
  11         goto l;                         // KO: undeclared
  12 }
  13
  14 static void ok_local(void)
  15 {
  16 l:
  17         {
  18                 __label__ l;
  19 l:
  20                 goto l;
  21         }
  22 goto l;
  23 }
  24
  25 static void ko_scope(void)
  26 {
  27         {
  28                 __label__ l;
  29 l:
  30                 goto l;
  31         }
  32 goto l;                                 // KO: undeclared
  33 }
  34
  35 /*
  36  * check-name: label-scope1
  37  *
  38  * check-error-start
  39 label-scope1.c:11:9: error: label 'l' was not declared
  40 label-scope1.c:32:1: error: label 'l' was not declared
  41  * check-error-end
  42  */