1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
static int ref[] = {
[1] = 3,
[2] = 3,
[3] = 3,
[2] = 2, /* check-should-warn */
[1] = 1, /* check-should-warn */
};
static int foo[] = {
[1 ... 3] = 3,
};
static int foz[4] = {
[0 ... 3] = 3,
[0] = 0,
[1] = 0,
[2 ... 3] = 1,
[2] = 3, /* check-should-warn */
[3] = 3, /* check-should-warn */
};
static int bar[] = {
[1 ... 3] = 3,
[1] = 1, /* check-should-warn */
[2] = 2, /* check-should-warn */
[2 ... 4] = 2, /* check-should-warn */
[2 ... 3] = 2, /* check-should-warn */
[4] = 4, /* check-should-warn */
[0] = 0,
[5] = 5,
};
static int baz[3][3] = {
[0 ... 2][0 ... 2] = 0,
[0] = { 0, 0, 0, }, /* check-should-warn */
[0][0] = 1, /* check-should-warn */
[1] = { 0, 0, 0, }, /* check-should-warn */
[1][0] = 1, /* check-should-warn */
[1][1] = 1, /* check-should-warn */
[1 ... 2][1 ... 2] = 2,
};
struct s {
int i;
int a[2];
};
static struct s s = {
.a[0] = 0,
.a[1] = 1,
};
static struct s a[2] = {
[0].i = 0,
[1].i = 1,
[0].a[0] = 2,
[0].a[1] = 3,
};
static struct s b[2] = {
[0 ... 1] = { 0, { 1, 2 }, },
[0].i = 0,
[1].i = 1,
[0].a[0] = 2,
[0].a[1] = 3,
};
/*
* check-name: field-override
* check-command: sparse -Woverride-init -Woverride-init-all $file
*
* check-error-start
field-override.c:2:10: warning: Initializer entry defined twice
field-override.c:6:10: also defined here
field-override.c:3:10: warning: Initializer entry defined twice
field-override.c:5:10: also defined here
field-override.c:17:10: warning: Initializer entry defined twice
field-override.c:18:10: also defined here
field-override.c:17:10: warning: Initializer entry defined twice
field-override.c:19:10: also defined here
field-override.c:23:10: warning: Initializer entry defined twice
field-override.c:24:10: also defined here
field-override.c:23:10: warning: Initializer entry defined twice
field-override.c:25:10: also defined here
field-override.c:23:10: warning: Initializer entry defined twice
field-override.c:26:10: also defined here
field-override.c:26:10: warning: Initializer entry defined twice
field-override.c:27:10: also defined here
field-override.c:26:10: warning: Initializer entry defined twice
field-override.c:28:10: also defined here
field-override.c:35:10: warning: Initializer entry defined twice
field-override.c:36:10: also defined here
field-override.c:37:10: warning: Initializer entry defined twice
field-override.c:38:10: also defined here
field-override.c:37:10: warning: Initializer entry defined twice
field-override.c:39:10: also defined here
field-override.c:37:10: warning: Initializer entry defined twice
field-override.c:40:10: also defined here
* check-error-end
*/
|
