static int array[] = { 0, 1, 2, 3, }; _Static_assert(sizeof(array) == 4 * sizeof(int), "size of array"); typedef int table_t[]; static table_t tbl2 = { 0, 1, }; _Static_assert(sizeof(tbl2) == 2 * sizeof(int), "size of tbl2"); static table_t tbl1 = { 0, }; _Static_assert(sizeof(tbl1) == 1 * sizeof(int), "size of tbl1"); static table_t tbl3 = { 0, 1, 2, }; _Static_assert(sizeof(tbl3) == 3 * sizeof(int), "size of tbl3"); /* * check-name: array-implicit-size */