diff options
| author | Al Viro <viro@ftp.linux.org.uk> | 2007-05-25 04:57:49 +0100 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-05-26 17:41:46 -0700 |
| commit | 4295dbac1f406c4839463fcc842d270df9e91ce6 (patch) | |
| tree | 0ee0943a0c81182af833fc5ca39c5f4ab75a8199 /validation | |
| parent | 82c77c00f01c8fa2163f9ea388da107bb8c6f7c1 (diff) | |
| download | sparse-dev-4295dbac1f406c4839463fcc842d270df9e91ce6.tar.gz | |
fix interaction of typeof with bitwise types
typeof(bitwise) should resolve to the same SYM_RESTRICT type node, not just
to a copy of its contents. Similar problem exists for struct and union,
BTW, but that's a separate story.
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/restricted-typeof.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/validation/restricted-typeof.c b/validation/restricted-typeof.c new file mode 100644 index 00000000..be77af8c --- /dev/null +++ b/validation/restricted-typeof.c @@ -0,0 +1,4 @@ +typedef unsigned __attribute__((bitwise)) A; +A x; +__typeof__(x) y; +A *p = &y; |