diff options
| author | Linus Torvalds <torvalds@ppc970.osdl.org> | 2004-05-26 12:57:38 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-04-07 21:01:47 -0700 |
| commit | 5984a50365975a71320972786be8c4b02ec39573 (patch) | |
| tree | 9811a96cf8fd2bab388231d3d224eb862f4083d7 /validation | |
| parent | 2fceb58910900aaa073434537548c5df9e469e3b (diff) | |
| download | sparse-dev-5984a50365975a71320972786be8c4b02ec39573.tar.gz | |
More "noderef" validation examples
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/noderef.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/validation/noderef.c b/validation/noderef.c index 8f892137..be7ba368 100644 --- a/validation/noderef.c +++ b/validation/noderef.c @@ -11,6 +11,7 @@ void h(void) char __A * * q1; char * __A * q2; struct x __A *xp; + struct x __A x; int __A *q; int __A *r; @@ -24,4 +25,9 @@ void h(void) r = &xp->a; /* This should NOT complain */ r = &xp->b; + r = &(*xp).a; + r = &(*xp).b; + + r = &x.a; + r = &x.b; } |