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>

2 files changed, 18 insertions, 0 deletions

diff --git a/parse.c b/parse.c
index 7b1cfb6c..1435fdeb 100644
--- a/parse.c
+++ b/parse.c
@@ -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
+ */