diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/compare-null-to-int.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/validation/compare-null-to-int.c b/validation/compare-null-to-int.c new file mode 100644 index 00000000..83885490 --- /dev/null +++ b/validation/compare-null-to-int.c @@ -0,0 +1,11 @@ +static unsigned int comparison = (void *)0 == 1; +/* + * check-name: Compare null pointer constant to int + * check-description: Sparse used to allow this. + * + * check-error-start +compare-null-to-int.c:1:44: error: incompatible types for operation (==) +compare-null-to-int.c:1:44: left side has type void * +compare-null-to-int.c:1:44: right side has type int + * check-error-end + */ |