Home | History | Annotate | Line # | Download | only in lint1 
      1 /*	$NetBSD: init.c,v 1.18 2025/04/12 15:49:49 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] */
     18 double empty_array_with_initializer[] = {};
     19 double array_with_empty_initializer[3] = {};
     20 
     21 /*
     22  * C99 does not allow empty initializer braces syntactically.
     23  */
     24 struct {
     25 	int member;
     26 } empty_struct_initializer = {};
     27 
     28 
     29 typedef 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  */
     40 const 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  */
     49 struct {
     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  */
     59 void do_nothing(void);
     60 
     61 struct {
     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] */
     71 struct 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] */
     77 struct incomplete_struct s2 = {
     78 	.member = 1,
     79 /* expect+1: error: 's2' has incomplete type 'incomplete struct incomplete_struct' [31] */
     80 };
     81 
     82 struct incomplete_struct {
     83 	int num;
     84 };
     85 
     86 
     87 /* expect+1: error: initialization of incomplete type 'incomplete union incomplete_union' [175] */
     88 union 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] */
     94 union incomplete_union u2 = {
     95 	.member = 1,
     96 /* expect+1: error: 'u2' has incomplete type 'incomplete union incomplete_union' [31] */
     97 };
     98 
     99 union incomplete_union {
    100 	int num;
    101 };
    102 
    103 
    104 /* expect+1: warning: cannot initialize extern declaration 'extern_var' [26] */
    105 extern int extern_var = 1;
    106 int defined_var = 1;
    107 /* expect+1: warning: static variable 'static_var' unused [226] */
    108 static int static_var = 1;
    109 /* expect+1: error: invalid storage class [8] */
    110 register int register_var = 1;
    111 /* expect+1: error: cannot initialize typedef 'typedef_var' [25] */
    112 typedef 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  */
    120 struct {
    121 	int x;
    122 	int y;
    123 } points_of_unknown_size[] = {
    124 	3, 4,
    125 };
    126 
    127 void
    128 init_string_via_assignment(void)
    129 {
    130 	const char *cs_match = "";
    131 	const int *ws_match = L"";
    132 
    133 	/* expect+1: warning: invalid combination of 'pointer to const char' and 'pointer to int', op 'init' [124] */
    134 	const char *cs_mismatch = L"";
    135 	/* expect+1: warning: invalid combination of 'pointer to const int' and 'pointer to char', op 'init' [124] */
    136 	const int *ws_mismatch = "";
    137 }
    138 
    139 void
    140 init_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: invalid combination of 'pointer to const char' and 'pointer to int', op 'init' [124] */
    154 		L"",
    155 		/* expect+1: warning: invalid 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 
    166 void
    167 init_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: invalid combination of integer 'char' and pointer 'pointer to int' for 'init' [183] */
    181 		L"",
    182 		/* expect+1: warning: invalid combination of integer 'char' and pointer 'pointer to char' for 'init' [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