https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78100
--- Comment #2 from Dima Kogan <gccbugs at dima dot secretsauce.net> ---
For easier reading, the test program looks like this:
#include <stdio.h>
extern int s[];
int s[] = { 1,2,3 };
int main(void)
{
printf("%zd\n", sizeof(s));
return 0;
}
