diff options
| author | Linus Torvalds <torvalds@ppc970.osdl.org> | 2004-05-26 16:08:06 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-04-07 21:01:48 -0700 |
| commit | 6661d85c0c2b0a8252a9d7b00f5d198b2e50b08e (patch) | |
| tree | 82b02813391677999d9e931dcd2eb94945a2e427 /validation | |
| parent | 64ff4ad1b6fdb2cc024a97907c536f240f91f26c (diff) | |
| download | sparse-dev-6661d85c0c2b0a8252a9d7b00f5d198b2e50b08e.tar.gz | |
More nasty tests from Al.
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/noderef.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/validation/noderef.c b/validation/noderef.c index be7ba368..d9a48225 100644 --- a/validation/noderef.c +++ b/validation/noderef.c @@ -5,6 +5,10 @@ struct x { int b; }; +struct y { + int a[2]; +}; + void h(void) { char __A *p; @@ -14,6 +18,7 @@ void h(void) struct x __A x; int __A *q; int __A *r; + struct y __A *py; q1 = &p; q2 = &p; /* This should complain */ @@ -30,4 +35,8 @@ void h(void) r = &x.a; r = &x.b; + + r = py->a; + r = py->a+1; + r = &py->a[0]; } |