diff options
author | Al Viro <viro@ftp.linux.org.uk> | 2009-03-09 07:11:38 +0000 |
---|---|---|
committer | Christopher Li <sparse@chrisli.org> | 2009-07-17 23:06:23 +0000 |
commit | 2014558122f10251072ff574c6e3852df1939f78 (patch) | |
tree | 56520b1c32ef299bcf9f3ecbc50b74fe45ab98ee | |
parent | 82214d8e48071fde1d6b250a1eba8acccde66006 (diff) | |
download | sparse-2014558122f10251072ff574c6e3852df1939f78.tar.gz |
Fix handling of typedefs with several declarators
We set MOD_USERTYPE only on the first one, so declaration_specifiers
didn't recognize something like
unsigned P;
where P had been such a typedef as redefinition (see the testcase).
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Signed-off-by: Christopher Li <sparse@chrisli.org>
-rw-r--r-- | parse.c | 3 | ||||
-rw-r--r-- | validation/multi_typedef.c | 15 |
2 files changed, 18 insertions, 0 deletions
@@ -2365,6 +2365,9 @@ struct token *external_declaration(struct token *token, struct symbol_list **lis return token; } + if (is_typedef) + decl->ctype.modifiers |= MOD_USERTYPE; + bind_symbol(decl, ident, is_typedef ? NS_TYPEDEF: NS_SYMBOL); /* Function declarations are automatically extern unless specifically static */ diff --git a/validation/multi_typedef.c b/validation/multi_typedef.c new file mode 100644 index 00000000..d9ffd0f7 --- /dev/null +++ b/validation/multi_typedef.c @@ -0,0 +1,15 @@ +typedef int T, *P; +static void f(void) +{ + unsigned P = 0; + unsigned x = P; +} +static void g(void) +{ + int P = 0; + int x = P; +} +/* + * check-name: typedefs with many declarators + * check-description: we didn't recognize P above as a typedef + */ |