11f5207b7SJohn Levon static int *a = (int*)0;	// OK
21f5207b7SJohn Levon static int b = 0;
31f5207b7SJohn Levon static int *c = (int*)b;	// KO
41f5207b7SJohn Levon 
51f5207b7SJohn Levon 
61f5207b7SJohn Levon /*
7*c85f09ccSJohn Levon  * check-name: constexprness integer literal cast to pointer type
81f5207b7SJohn Levon  * check-command: sparse -Wconstexpr-not-const $file
91f5207b7SJohn Levon  *
101f5207b7SJohn Levon  * check-error-start
111f5207b7SJohn Levon constexpr-pointer-cast.c:3:18: warning: non-constant initializer for static object
121f5207b7SJohn Levon  * check-error-end
131f5207b7SJohn Levon  */
14