param_key: fix container of when no struct member is referenced
[smatch.git] / validation / dup-defs-local.c
blob6d32b892e175c05b182195aa33a99579049c202b
1 extern int a, *ptr;
3 int a = 0;
4 int a = 1;
6 int *ptr = &a;
7 int *ptr = &a;
9 static void foo(void)
11 int a = 0;
12 int a = 1;
14 int *ptr = &a;
15 int *ptr = &a;
19 * check-name: duplicated-defs
20 * check-known-to-fail
22 * check-error-start
23 dup-defs-local.c:4:5: error: symbol 'a' has multiple initializers (originally initialized at duplicated-defs.c:3)
24 dup-defs-local.c:7:5: error: symbol 'ptr' has multiple initializers (originally initialized at duplicated-defs.c:6)
25 dup-defs-local.c:12:13: error: symbol 'a' has multiple initializers (originally initialized at duplicated-defs.c:11)
26 dup-defs-local.c:15:13: error: symbol 'ptr' has multiple initializers (originally initialized at duplicated-defs.c:14)
27 * check-error-end