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