1*c85f09ccSJohn Levon static int array[] = { 0, 1, 2, 3, };
2*c85f09ccSJohn Levon _Static_assert(sizeof(array) == 4 * sizeof(int), "size of array");
3*c85f09ccSJohn Levon 
4*c85f09ccSJohn Levon 
5*c85f09ccSJohn Levon typedef int table_t[];
6*c85f09ccSJohn Levon static table_t tbl2 = {
7*c85f09ccSJohn Levon 	0,
8*c85f09ccSJohn Levon 	1,
9*c85f09ccSJohn Levon };
10*c85f09ccSJohn Levon _Static_assert(sizeof(tbl2) == 2 * sizeof(int), "size of tbl2");
11*c85f09ccSJohn Levon 
12*c85f09ccSJohn Levon static table_t tbl1 = {
13*c85f09ccSJohn Levon 	0,
14*c85f09ccSJohn Levon };
15*c85f09ccSJohn Levon _Static_assert(sizeof(tbl1) == 1 * sizeof(int), "size of tbl1");
16*c85f09ccSJohn Levon 
17*c85f09ccSJohn Levon static table_t tbl3 = {
18*c85f09ccSJohn Levon 	0,
19*c85f09ccSJohn Levon 	1,
20*c85f09ccSJohn Levon 	2,
21*c85f09ccSJohn Levon };
22*c85f09ccSJohn Levon _Static_assert(sizeof(tbl3) == 3 * sizeof(int), "size of tbl3");
23*c85f09ccSJohn Levon 
24*c85f09ccSJohn Levon /*
25*c85f09ccSJohn Levon  * check-name: array-implicit-size
26*c85f09ccSJohn Levon  */
27