Print this page
new smatch

@@ -4,11 +4,11 @@
         ;
         static void *b = &&label1;
 }
 
 /*
- * check-name: label reference constness verification.
+ * check-name: constexprness label reference
  * check-command: sparse -Wconstexpr-not-const $file
  *
  * check-error-start
  * check-error-end
  */