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