Print this page
11972 resync smatch
Split |
Close |
Expand all |
Collapse all |
--- old/usr/src/tools/smatch/src/validation/constexpr-pointer-cast.c
+++ new/usr/src/tools/smatch/src/validation/constexpr-pointer-cast.c
1 1 static int *a = (int*)0; // OK
2 2 static int b = 0;
3 3 static int *c = (int*)b; // KO
4 4
5 5
6 6 /*
7 - * check-name: integer literal cast to pointer type constness verification.
7 + * check-name: constexprness integer literal cast to pointer type
8 8 * check-command: sparse -Wconstexpr-not-const $file
9 9 *
10 10 * check-error-start
11 11 constexpr-pointer-cast.c:3:18: warning: non-constant initializer for static object
12 12 * check-error-end
13 13 */
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX