diff options
| author | Linus Torvalds <torvalds@ppc970.osdl.org> | 2004-05-25 15:01:24 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-04-07 21:01:46 -0700 |
| commit | 93c174b6a74ec82f268c9384ba01058d71f78e23 (patch) | |
| tree | e5475f3a945e17dc2e3c76e579746ee17289c790 /validation | |
| parent | c8a0a0db0278e769760cec41f94e528b4fade8e7 (diff) | |
| download | sparse-dev-93c174b6a74ec82f268c9384ba01058d71f78e23.tar.gz | |
Add more "noderef" validation tests.
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/noderef.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/validation/noderef.c b/validation/noderef.c index 5af46fd4..9f4f196e 100644 --- a/validation/noderef.c +++ b/validation/noderef.c @@ -4,6 +4,14 @@ void h(void) char __A *p; char __A * * q1; char * __A * q2; + int __A *q; + int __A *r; + q1 = &p; - q2 = &p; + q2 = &p; /* This should complain */ + + r = &*q; + r = q; + r = &*(q+1); /* This should NOT complain */ + r = q+1; } |