Print this page
new smatch

@@ -12,11 +12,11 @@
         [(int)(void*)0] = 0,    // KO
         [(int)(void*)0.] = 0,   // KO
 
 };
 /*
- * check-name: Expression constness propagation in casts
+ * check-name: constexprness in casts
  *
  * check-error-start
 constexpr-cast.c:9:11: error: bad integer constant expression
 constexpr-cast.c:10:11: error: bad integer constant expression
 constexpr-cast.c:12:11: error: bad integer constant expression