diff options
| author | Linus Torvalds <torvalds@ppc970.osdl.org> | 2004-05-24 13:39:00 -0700 |
|---|---|---|
| committer | Linus Torvalds <torvalds@ppc970.osdl.org> | 2005-04-07 21:01:43 -0700 |
| commit | 2bf8a7440c73258851bc04b4b832e529b952c412 (patch) | |
| tree | e16380f9605034082913772866ad438fd72fb0b4 /validation | |
| parent | 84a199fe2b74bbc07e4a3e133c03f57b12609b7d (diff) | |
| download | sparse-dev-2bf8a7440c73258851bc04b4b832e529b952c412.tar.gz | |
Add another test-case 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 new file mode 100644 index 00000000..5af46fd4 --- /dev/null +++ b/validation/noderef.c @@ -0,0 +1,9 @@ +# define __A __attribute__((noderef)) +void h(void) +{ + char __A *p; + char __A * * q1; + char * __A * q2; + q1 = &p; + q2 = &p; +} |