1 static void a(void)
   2 {
   3 label1:
   4         ;
   5         static void *b = &&label1;
   6 }
   7 
   8 /*
   9  * check-name: label reference constness verification.
  10  * check-command: sparse -Wconstexpr-not-const $file
  11  *
  12  * check-error-start
  13  * check-error-end
  14  */