init.c revision 1.16 
1/*	$NetBSD: init.c,v 1.16 2024/06/08 13:50:47 rillig Exp $	*/
2# 3 "init.c"
3
4/*
5 * Tests for initialization.
6 *
7 * C99 6.7.8
8 */
9
10/* lint1-extra-flags: -X 351 */
11
12/*
13 * C99 does not allow empty initializer braces syntactically.
14 * Lint allows this syntactically, it just complains if the resulting
15 * object is empty.
16 */
17/* expect+1: error: empty array declaration for 'empty_array_with_initializer' [190] */
18double empty_array_with_initializer[] = {};
19double array_with_empty_initializer[3] = {};
20
21/*
22 * C99 does not allow empty initializer braces syntactically.
23 */
24struct {
25	int member;
26} empty_struct_initializer = {};
27
28
29typedef struct {
30	const char *key;
31	int n;
32} histogram_entry;
33
34/*
35 * The C standards allow omitting braces around the structural levels.  For
36 * human readers, it is usually clearer to include them.
37 *
38 * Seen in external/ibm-public/postfix/dist/src/util/dict.c(624).
39 */
40const histogram_entry hgr[] = {
41	"odd", 5,
42	"even", 5,
43};
44
45
46/*
47 * Initialization with fewer braces than usual, must still be accepted.
48 */
49struct {
50	int x, y;
51} points[] = {
52	0, 0, 3, 0, 0, 4, 3, 4
53};
54
55
56/*
57 * Initialization with fewer braces than usual, must still be accepted.
58 */
59void do_nothing(void);
60
61struct {
62	void (*action_1) (void);
63	void (*action_2) (void);
64} actions[1] = {
65	do_nothing,
66	do_nothing,
67};
68
69
70/* expect+1: error: initialization of incomplete type 'incomplete struct incomplete_struct' [175] */
71struct incomplete_struct s1 = {
72	1,
73/* expect+1: error: 's1' has incomplete type 'incomplete struct incomplete_struct' [31] */
74};
75
76/* expect+1: error: initialization of incomplete type 'incomplete struct incomplete_struct' [175] */
77struct incomplete_struct s2 = {
78	.member = 1,
79/* expect+1: error: 's2' has incomplete type 'incomplete struct incomplete_struct' [31] */
80};
81
82struct incomplete_struct {
83	int num;
84};
85
86
87/* expect+1: error: initialization of incomplete type 'incomplete union incomplete_union' [175] */
88union incomplete_union u1 = {
89	1,
90/* expect+1: error: 'u1' has incomplete type 'incomplete union incomplete_union' [31] */
91};
92
93/* expect+1: error: initialization of incomplete type 'incomplete union incomplete_union' [175] */
94union incomplete_union u2 = {
95	.member = 1,
96/* expect+1: error: 'u2' has incomplete type 'incomplete union incomplete_union' [31] */
97};
98
99union incomplete_union {
100	int num;
101};
102
103
104/* expect+1: warning: cannot initialize extern declaration 'extern_var' [26] */
105extern int extern_var = 1;
106int defined_var = 1;
107/* expect+1: warning: static variable 'static_var' unused [226] */
108static int static_var = 1;
109/* expect+1: error: illegal storage class [8] */
110register int register_var = 1;
111/* expect+1: error: cannot initialize typedef 'typedef_var' [25] */
112typedef int typedef_var = 1;
113
114
115/*
116 * In an array of unknown size that is declared using fewer braces than
117 * recommended, ensure that the array size is updated at the end of the
118 * initializer.
119 */
120struct {
121	int x;
122	int y;
123} points_of_unknown_size[] = {
124	3, 4,
125};
126
127void
128init_string_via_assignment(void)
129{
130	const char *cs_match = "";
131	const int *ws_match = L"";
132
133	/* expect+1: warning: illegal combination of 'pointer to const char' and 'pointer to int', op 'init' [124] */
134	const char *cs_mismatch = L"";
135	/* expect+1: warning: illegal combination of 'pointer to const int' and 'pointer to char', op 'init' [124] */
136	const int *ws_mismatch = "";
137}
138
139void
140init_pointer_in_struct(void)
141{
142	struct cs_ws {
143		const char *cs;
144		const int *ws;
145	};
146
147	struct cs_ws type_match = {
148		"",
149		L"",
150	};
151
152	struct cs_ws type_mismatch = {
153		/* expect+1: warning: illegal combination of 'pointer to const char' and 'pointer to int', op 'init' [124] */
154		L"",
155		/* expect+1: warning: illegal combination of 'pointer to const int' and 'pointer to char', op 'init' [124] */
156		"",
157	};
158
159	struct cs_ws extra_braces = {
160		{ "" },
161		{ L"" },
162	};
163}
164
165
166void
167init_array_in_struct(void)
168{
169	struct cs_ws {
170		const char cs[10];
171		const int ws[10];
172	};
173
174	struct cs_ws type_match = {
175		"",
176		L"",
177	};
178
179	struct cs_ws type_mismatch = {
180		/* expect+1: warning: illegal combination of integer 'char' and pointer 'pointer to int' [183] */
181		L"",
182		/* expect+1: warning: illegal combination of integer 'char' and pointer 'pointer to char' [183] */
183		"",
184	};
185
186	struct cs_ws no_terminating_null = {
187		"0123456789",
188		L"0123456789",
189	};
190
191	struct cs_ws too_many_characters = {
192		/* expect+1: warning: string literal too long (11) for target array (10) [187] */
193		"0123456789X",
194		/* expect+1: warning: string literal too long (11) for target array (10) [187] */
195		L"0123456789X",
196	};
197
198	struct cs_ws extra_braces = {
199		{ "" },
200		{ L"" },
201	};
202}
203