diff --git a/ChangeLog b/ChangeLog index 8abe7b1dd9..a8d9658111 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,15 @@ +2015-06-02 Roland McGrath + + [BZ #18383] + * elf/tst-tlsalign-extern.c: New file. + * elf/tst-tlsalign-extern-static.c: New file. + * elf/tst-tlsalign-vars.c: New file. + * elf/Makefile (tests-static): Add tst-tlsalign-extern-static. + [$(build-shared) = yes] (tests): Add tst-tlsalign-extern. + ($(objpfx)tst-tlsalign-extern): Depend on tst-tlsalign-vars.o. + ($(objpfx)tst-tlsalign-extern-static): Likewise. + (test-xfail-tst-tlsalign-extern-static): New variable. + 2015-06-02 Joseph Myers * sysdeps/unix/sysv/linux/mips/mips32/sysdep.h (INLINE_SYSCALL): diff --git a/elf/Makefile b/elf/Makefile index dedf3c7f50..f2a115a8c9 100644 --- a/elf/Makefile +++ b/elf/Makefile @@ -121,7 +121,8 @@ tests = tst-tls1 tst-tls2 tst-tls9 tst-leaks1 \ tst-auxv tests-static = tst-tls1-static tst-tls2-static tst-stackguard1-static \ tst-leaks1-static tst-array1-static tst-array5-static \ - tst-ptrguard1-static tst-dl-iter-static tst-tlsalign-static + tst-ptrguard1-static tst-dl-iter-static \ + tst-tlsalign-static tst-tlsalign-extern-static ifeq (yes,$(build-shared)) tests-static += tst-tls9-static tst-tls9-static-ENV = \ @@ -146,7 +147,7 @@ tests += loadtest restest1 preloadtest loadfail multiload origtest resolvfail \ tst-stackguard1 tst-addr1 tst-thrlock \ tst-unique1 tst-unique2 $(if $(CXX),tst-unique3 tst-unique4) \ tst-initorder tst-initorder2 tst-relsort1 tst-null-argv \ - tst-ptrguard1 tst-tlsalign + tst-ptrguard1 tst-tlsalign tst-tlsalign-extern # reldep9 ifeq ($(build-hardcoded-path-in-tests),yes) tests += tst-dlopen-aout @@ -528,10 +529,16 @@ $(objpfx)tst-initorder: $(objpfx)tst-initordera4.so $(objpfx)tst-initordera1.so $(objpfx)tst-null-argv: $(objpfx)tst-null-argv-lib.so $(objpfx)tst-tlsalign: $(objpfx)tst-tlsalign-lib.so -# BZ#18383: broken on at least ARM (both) and x86-64 (static only). +# BZ#18383: broken on at least ARM (both) and i386/x86-64 (static only). test-xfail-tst-tlsalign = yes test-xfail-tst-tlsalign-static = yes +$(objpfx)tst-tlsalign-extern: $(objpfx)tst-tlsalign-vars.o +$(objpfx)tst-tlsalign-extern-static: $(objpfx)tst-tlsalign-vars.o + +# BZ#18383: broken on at least i386/x86-64 (static only). +test-xfail-tst-tlsalign-extern-static = yes + tst-null-argv-ENV = LD_DEBUG=all LD_DEBUG_OUTPUT=$(objpfx)tst-null-argv.debug.out LDFLAGS-nodel2mod3.so = $(no-as-needed) LDFLAGS-reldepmod5.so = $(no-as-needed) diff --git a/elf/tst-tlsalign-extern-static.c b/elf/tst-tlsalign-extern-static.c new file mode 100644 index 0000000000..e84900eee4 --- /dev/null +++ b/elf/tst-tlsalign-extern-static.c @@ -0,0 +1 @@ +#include "tst-tlsalign-extern.c" diff --git a/elf/tst-tlsalign-extern.c b/elf/tst-tlsalign-extern.c new file mode 100644 index 0000000000..661b6712e3 --- /dev/null +++ b/elf/tst-tlsalign-extern.c @@ -0,0 +1,74 @@ +/* Test for large alignment in TLS blocks (extern case), BZ#18383. + Copyright (C) 2015 Free Software Foundation, Inc. + This file is part of the GNU C Library. + + The GNU C Library is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public + License as published by the Free Software Foundation; either + version 2.1 of the License, or (at your option) any later version. + + The GNU C Library is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Lesser General Public License for more details. + + You should have received a copy of the GNU Lesser General Public + License along with the GNU C Library; if not, see + . */ + +#include +#include +#include + +/* This is the same as tst-tlsalign-static.c, except that it uses + TLS variables that are defined in a separate translation unit + (ts-tlsalign-vars.c). It turned out that the cause of BZ#18383 + on ARM was actually an ARM assembler bug triggered by the ways of + using .tdata/.tbss sections and relocs referring to them that GCC + chooses when the variables are defined in the same translation + unit that contains the references. */ + +extern __thread int tdata1; +extern __thread int tdata2; +extern __thread int tdata3; +extern __thread int tbss1; +extern __thread int tbss2; +extern __thread int tbss3; + +static int +test_one (const char *which, unsigned int alignment, int *var, int value) +{ + uintptr_t addr = (uintptr_t) var; + unsigned int misalign = addr & (alignment - 1); + + printf ("%s TLS address %p %% %u = %u\n", + which, (void *) var, alignment, misalign); + + int got = *var; + if (got != value) + { + printf ("%s value %d should be %d\n", which, got, value); + return 1; + } + + return misalign != 0; +} + +static int +do_test (void) +{ + int fail = 0; + + fail |= test_one ("tdata1", 4, &tdata1, 1); + fail |= test_one ("tdata2", 0x10, &tdata2, 2); + fail |= test_one ("tdata3", 0x1000, &tdata3, 4); + + fail |= test_one ("tbss1", 4, &tbss1, 0); + fail |= test_one ("tbss2", 0x10, &tbss2, 0); + fail |= test_one ("tbss3", 0x1000, &tbss3, 0); + + return fail ? EXIT_FAILURE : EXIT_SUCCESS; +} + +#define TEST_FUNCTION do_test () +#include "../test-skeleton.c" diff --git a/elf/tst-tlsalign-vars.c b/elf/tst-tlsalign-vars.c new file mode 100644 index 0000000000..01b3501d3b --- /dev/null +++ b/elf/tst-tlsalign-vars.c @@ -0,0 +1,28 @@ +/* This is for tst-tlsalign-extern.c, which see. It's essential for the + purpose of the test that these definitions be in a separate translation + unit from the code using the variables. */ + +__thread int tdata1 = 1; +__thread int tdata2 __attribute__ ((aligned (0x10))) = 2; +__thread int tdata3 __attribute__ ((aligned (0x1000))) = 4; +__thread int tbss1; +__thread int tbss2 __attribute__ ((aligned (0x10))); +__thread int tbss3 __attribute__ ((aligned (0x1000))); + +/* This function is never called. But its presence in this translation + unit makes GCC emit the variables above in the order defined (perhaps + because it's the order in which they're used here?) rather than + reordering them into descending order of alignment requirement--and so + keeps it more similar to the tst-tlsalign-static.c case--just in case + that affects the bug (though there is no evidence that it does). */ + +void +unused (void) +{ + tdata1 = -1; + tdata2 = -2; + tdata3 = -3; + tbss1 = -4; + tbss2 = -5; + tbss3 = -6; +}