https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80881
--- Comment #111 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
The bug also occurs with just:
#include <stdio.h>
__thread int i = 1;
int main (void)
{
printf ("This must be 1 after the colon: %d", i);
return 0;
}
compiled with -fdata-sections.
