diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-07-29 01:02:49 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-07-29 01:02:49 -0700 |
| commit | c69d0ce9d5d3612f74cbaa7f8d379baf44c08c91 (patch) | |
| tree | 665765ead54581aa792ca33238cffb2c587c68d5 /validation | |
| parent | 06405397013180de302f7ad632992d79f1272775 (diff) | |
| download | sparse-dev-c69d0ce9d5d3612f74cbaa7f8d379baf44c08c91.tar.gz | |
Add test case for comparing null pointer constant to int.
Signed-off-by: Josh Triplett <josh@freedesktop.org>
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 + */ |