1 static int *a = (int*)0;        // OK
   2 static int b = 0;
   3 static int *c = (int*)b;        // KO
   4 
   5 
   6 /*
   7  * check-name: integer literal cast to pointer type constness verification.
   8  * check-command: sparse -Wconstexpr-not-const $file
   9  *
  10  * check-error-start
  11 constexpr-pointer-cast.c:3:18: warning: non-constant initializer for static object
  12  * check-error-end
  13  */