From c69d0ce9d5d3612f74cbaa7f8d379baf44c08c91 Mon Sep 17 00:00:00 2001 From: Josh Triplett Date: Sun, 29 Jul 2007 01:02:49 -0700 Subject: [PATCH] Add test case for comparing null pointer constant to int. Signed-off-by: Josh Triplett --- validation/compare-null-to-int.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 validation/compare-null-to-int.c 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 + */ -- 2.11.4.GIT