diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-07-08 13:57:34 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-07-08 14:36:03 -0700 |
| commit | 2c781a125d1bd52f17db77ea02aaf5001409bdc2 (patch) | |
| tree | caf65b9f240978fe8760513cd146f9e91c849326 /validation | |
| parent | 6a5c659470d124add283878738285c506dba9441 (diff) | |
| download | sparse-dev-2c781a125d1bd52f17db77ea02aaf5001409bdc2.tar.gz | |
Add test-suite comment to address_space.c
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/address_space.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/validation/address_space.c b/validation/address_space.c index 377890a5..8fb14ac6 100644 --- a/validation/address_space.c +++ b/validation/address_space.c @@ -6,3 +6,15 @@ static int sys_do_stuff(void __user *user_addr) { return poke_memory(user_addr); } +/* + * check-name: address_space attribute + * + * check-command: sparse $file + * check-exit-value: 0 + * + * 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> + * check-output-end + */ |