Check incompatible existing default symbol definition

After resolving a versioned reference, foo@VER1, to a default versioned
definition, foo@@VER1, from a shared object, we also merge it with
the existing regular default symbol definition, foo.  When foo is IFUNC
and foo@@VER1 aren't, we will merge 2 incompatible definitions.  This
patch avoids merging foo@@VER1 definition with foo definition if
one is IFUNC and the other isn't.
This commit is contained in:
H.J. Lu 2014-01-21 15:42:43 -08:00
parent efec457298
commit 4584ec1207
11 changed files with 106 additions and 5 deletions

View File

@ -1,3 +1,11 @@
2014-01-21 H.J. Lu <hongjiu.lu@intel.com>
PR ld/16467
* elflink.c (_bfd_elf_merge_symbol): When types of the existing
regular default symbol definition and the versioned dynamic
symbol definition mismatch, skip the default symbol definition
if one of them is IFUNC.
2014-01-21 H.J. Lu <hongjiu.lu@intel.com>
PR ld/2404

View File

@ -1092,11 +1092,14 @@ _bfd_elf_merge_symbol (bfd *abfd,
&& newdyn
&& newdef
&& !olddyn
&& (olddef || h->root.type == bfd_link_hash_common)
&& ELF_ST_TYPE (sym->st_info) != h->type
&& ELF_ST_TYPE (sym->st_info) != STT_NOTYPE
&& h->type != STT_NOTYPE
&& !(newfunc && oldfunc))
&& (((olddef || h->root.type == bfd_link_hash_common)
&& ELF_ST_TYPE (sym->st_info) != h->type
&& ELF_ST_TYPE (sym->st_info) != STT_NOTYPE
&& h->type != STT_NOTYPE
&& !(newfunc && oldfunc))
|| (olddef
&& ((h->type == STT_GNU_IFUNC)
!= (ELF_ST_TYPE (sym->st_info) == STT_GNU_IFUNC)))))
{
*skip = TRUE;
return TRUE;

View File

@ -1,3 +1,17 @@
2014-01-21 H.J. Lu <hongjiu.lu@intel.com>
PR ld/16467
* ld-ifunc/dummy.c: New file.
* ld-ifunc/pr16467.out: Likewise.
* ld-ifunc/pr16467a.c: Likewise.
* ld-ifunc/pr16467a.map: Likewise.
* ld-ifunc/pr16467b.c: Likewise.
* ld-ifunc/pr16467b.map: Likewise.
* ld-ifunc/pr16467c.c: Likewise.
* ld-ifunc/ifunc.exp (run_cc_link_tests): New.
(run_ld_link_exec_tests): Run pr16467.
2014-01-21 H.J. Lu <hongjiu.lu@intel.com>
PR ld/2404

View File

@ -0,0 +1 @@
/* An empty file. */

View File

@ -349,6 +349,42 @@ if { $verbose < 1 } {
remote_file host delete "tmpdir/static_nonifunc_prog"
}
run_cc_link_tests [list \
[list \
"Build libpr16467a.so" \
"-shared -Wl,--version-script=pr16467a.map" \
"-fPIC" \
{ pr16467a.c } \
{} \
"libpr16467a.so" \
] \
[list \
"Build libpr16467b.a" \
"" \
"-fPIC" \
{ pr16467b.c } \
{} \
"libpr16467b.a" \
] \
[list \
"Build libpr16467b.so" \
"-shared tmpdir/pr16467b.o tmpdir/libpr16467a.so \
-Wl,--version-script=pr16467b.map" \
"-fPIC" \
{ dummy.c } \
{} \
"libpr16467b.so" \
] \
[list \
"Build libpr16467c.a" \
"" \
"" \
{ pr16467c.c } \
{} \
"libpr16467c.a" \
] \
]
run_ld_link_exec_tests [] [list \
[list \
"Common symbol override ifunc test 1a" \
@ -368,6 +404,15 @@ run_ld_link_exec_tests [] [list \
"ifunc-common-1.out" \
"-g" \
] \
[list \
"Run pr16467" \
"tmpdir/pr16467c.o tmpdir/libpr16467b.so tmpdir/libpr16467a.so" \
"" \
{ dummy.c } \
"pr16467" \
"pr16467.out" \
"" \
] \
]
set test_list [lsort [glob -nocomplain $srcdir/$subdir/*.d]]

View File

@ -0,0 +1 @@
OK

View File

@ -0,0 +1,5 @@
const char *
sd_get_seats(void)
{
return "OK";
}

View File

@ -0,0 +1,4 @@
LIBSYSTEMD_209 {
global:
sd_get_seats;
};

View File

@ -0,0 +1,7 @@
void new_sd_get_seats(void);
__asm__(".symver new_sd_get_seats,sd_get_seats@LIBSYSTEMD_209");
void (*resolve_sd_get_seats(void)) (void) __asm__ ("sd_get_seats");
void (*resolve_sd_get_seats(void)) (void) {
return new_sd_get_seats;
}
__asm__(".type sd_get_seats, %gnu_indirect_function");

View File

@ -0,0 +1,4 @@
LIBSYSTEMD_208 {
global:
sd_get_seats;
};

View File

@ -0,0 +1,9 @@
#include <stdio.h>
const char* sd_get_seats(void);
int
main (int argc, char **argv)
{
printf("%s\n", sd_get_seats());
return 0;
}