diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-09-15 09:32:08 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-09-15 09:32:08 -0700 |
| commit | 8d1b14b0042cb8b8e9804c163a3c4e50d433c8c4 (patch) | |
| tree | ad9ad5d6b123338bd025c4d4a444f99adfa7e1d5 /validation | |
| parent | 09fb0c81fcf0b7ff92b12696738d1bdde4e14df4 (diff) | |
| download | sparse-dev-8d1b14b0042cb8b8e9804c163a3c4e50d433c8c4.tar.gz | |
Add test-suite annotations to non-pointer-null.c
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/non-pointer-null.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/validation/non-pointer-null.c b/validation/non-pointer-null.c index 2d09aa3d..10b8b474 100644 --- a/validation/non-pointer-null.c +++ b/validation/non-pointer-null.c @@ -1 +1,8 @@ static void *p = 0; +/* + * check-name: Using plain integer as NULL pointer + * + * check-error-start +non-pointer-null.c:1:18: warning: Using plain integer as NULL pointer + * check-error-end + */ |