new smatch

@@ -2,11 +2,11 @@
 static int b = 0;
 static int *c = (int*)b;        // KO
 
 
 /*
- * check-name: integer literal cast to pointer type constness verification.
+ * check-name: constexprness integer literal cast to pointer type
  * check-command: sparse -Wconstexpr-not-const $file
  *
  * check-error-start
 constexpr-pointer-cast.c:3:18: warning: non-constant initializer for static object
  * check-error-end