diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2007-07-12 19:02:37 -0400 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-07-14 12:16:44 -0700 |
| commit | ebc3fbeff7eab34352c423831387b5f9c8c0ccac (patch) | |
| tree | a63dbfdb29f79a09f9dc37fb90f00640b25d1baa /validation | |
| parent | c18891ce99472cc01e64a17fb0c6fd8798a679e6 (diff) | |
| download | sparse-dev-ebc3fbeff7eab34352c423831387b5f9c8c0ccac.tar.gz | |
[PATCH] saner show_type()
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
[Josh: update test suite to match output changes.]
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/address_space.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/address_space.c b/validation/address_space.c index 9a7513d9..79c1d55c 100644 --- a/validation/address_space.c +++ b/validation/address_space.c @@ -13,6 +13,6 @@ static int sys_do_stuff(void __user *user_addr) * check-output-start address_space.c:7:21: warning: incorrect type in argument 1 (different address spaces) address_space.c:7:21: expected void *addr -address_space.c:7:21: got void *user_addr<asn:1> +address_space.c:7:21: got void <asn:1>*user_addr * check-output-end */ |