5f7b84
commit f0b2132b35248c1f4a80f62a2c38cddcc802aa8c
5f7b84
Author: Florian Weimer <fweimer@redhat.com>
5f7b84
Date:   Fri Jun 28 10:12:50 2019 +0200
5f7b84
5f7b84
    ld.so: Support moving versioned symbols between sonames [BZ #24741]
5f7b84
    
5f7b84
    This change should be fully backwards-compatible because the old
5f7b84
    code aborted the load if a soname mismatch was encountered
5f7b84
    (instead of searching further for a matching symbol).  This means
5f7b84
    that no different symbols are found.
5f7b84
    
5f7b84
    The soname check was explicitly disabled for the skip_map != NULL
5f7b84
    case.  However, this only happens with dl(v)sym and RTLD_NEXT,
5f7b84
    and those lookups do not come with a verneed entry that could be used
5f7b84
    for the check.
5f7b84
    
5f7b84
    The error check was already explicitly disabled for the skip_map !=
5f7b84
    NULL case, that is, when dl(v)sym was called with RTLD_NEXT.  But
5f7b84
    _dl_vsym always sets filename in the struct r_found_version argument
5f7b84
    to NULL, so the check was not active anyway.  This means that
5f7b84
    symbol lookup results for the skip_map != NULL case do not change,
5f7b84
    either.
5f7b84
5f7b84
Conflicts:
5f7b84
	elf/Makefile
5f7b84
	  (usual missing backports)
5f7b84
5f7b84
diff --git a/elf/Makefile b/elf/Makefile
5f7b84
index 29aa3a96738e4176..73f9e25ea5efd63a 100644
5f7b84
--- a/elf/Makefile
5f7b84
+++ b/elf/Makefile
5f7b84
@@ -187,7 +187,8 @@ tests += restest1 preloadtest loadfail multiload origtest resolvfail \
5f7b84
 	 tst-tlsalign tst-tlsalign-extern tst-nodelete-opened \
5f7b84
 	 tst-nodelete2 tst-audit11 tst-audit12 tst-dlsym-error tst-noload \
5f7b84
 	 tst-latepthread tst-tls-manydynamic tst-nodelete-dlclose \
5f7b84
-	 tst-debug1 tst-main1 tst-absolute-sym tst-absolute-zero tst-big-note
5f7b84
+	 tst-debug1 tst-main1 tst-absolute-sym tst-absolute-zero tst-big-note \
5f7b84
+	 tst-sonamemove-link tst-sonamemove-dlopen
5f7b84
 #	 reldep9
5f7b84
 tests-internal += loadtest unload unload2 circleload1 \
5f7b84
 	 neededtest neededtest2 neededtest3 neededtest4 \
5f7b84
@@ -275,7 +276,9 @@ modules-names = testobj1 testobj2 testobj3 testobj4 testobj5 testobj6 \
5f7b84
 		tst-latepthreadmod $(tst-tls-many-dynamic-modules) \
5f7b84
 		tst-nodelete-dlclose-dso tst-nodelete-dlclose-plugin \
5f7b84
 		tst-main1mod tst-libc_dlvsym-dso tst-absolute-sym-lib \
5f7b84
-		tst-absolute-zero-lib tst-big-note-lib
5f7b84
+		tst-absolute-zero-lib tst-big-note-lib \
5f7b84
+		tst-sonamemove-linkmod1 \
5f7b84
+		tst-sonamemove-runmod1 tst-sonamemove-runmod2
5f7b84
 
5f7b84
 ifeq (yes,$(have-mtls-dialect-gnu2))
5f7b84
 tests += tst-gnu2-tls1
5f7b84
@@ -1374,6 +1377,28 @@ tst-audit12-ENV = LD_AUDIT=$(objpfx)tst-auditmod12.so
5f7b84
 $(objpfx)tst-audit12mod1.so: $(objpfx)tst-audit12mod2.so
5f7b84
 LDFLAGS-tst-audit12mod2.so = -Wl,--version-script=tst-audit12mod2.map
5f7b84
 
5f7b84
+# tst-sonamemove links against an older implementation of the library.
5f7b84
+LDFLAGS-tst-sonamemove-linkmod1.so = \
5f7b84
+  -Wl,--version-script=tst-sonamemove-linkmod1.map \
5f7b84
+  -Wl,-soname,tst-sonamemove-runmod1.so
5f7b84
+LDFLAGS-tst-sonamemove-runmod1.so = -Wl,--no-as-needed \
5f7b84
+  -Wl,--version-script=tst-sonamemove-runmod1.map \
5f7b84
+  -Wl,-soname,tst-sonamemove-runmod1.so
5f7b84
+LDFLAGS-tst-sonamemove-runmod2.so = \
5f7b84
+  -Wl,--version-script=tst-sonamemove-runmod2.map \
5f7b84
+  -Wl,-soname,tst-sonamemove-runmod2.so
5f7b84
+$(objpfx)tst-sonamemove-runmod1.so: $(objpfx)tst-sonamemove-runmod2.so
5f7b84
+# Link against the link module, but depend on the run-time modules
5f7b84
+# for execution.
5f7b84
+$(objpfx)tst-sonamemove-link: $(objpfx)tst-sonamemove-linkmod1.so
5f7b84
+$(objpfx)tst-sonamemove-link.out: \
5f7b84
+  $(objpfx)tst-sonamemove-runmod1.so \
5f7b84
+  $(objpfx)tst-sonamemove-runmod2.so
5f7b84
+$(objpfx)tst-sonamemove-dlopen: $(libdl)
5f7b84
+$(objpfx)tst-sonamemove-dlopen.out: \
5f7b84
+  $(objpfx)tst-sonamemove-runmod1.so \
5f7b84
+  $(objpfx)tst-sonamemove-runmod2.so
5f7b84
+
5f7b84
 # Override -z defs, so that we can reference an undefined symbol.
5f7b84
 # Force lazy binding for the same reason.
5f7b84
 LDFLAGS-tst-latepthreadmod.so = \
5f7b84
diff --git a/elf/dl-lookup.c b/elf/dl-lookup.c
5f7b84
index 68ecc6179f608547..1d046caf017b582b 100644
5f7b84
--- a/elf/dl-lookup.c
5f7b84
+++ b/elf/dl-lookup.c
5f7b84
@@ -536,11 +536,7 @@ do_lookup_x (const char *undef_name, uint_fast32_t new_hash,
5f7b84
 	}
5f7b84
 
5f7b84
 skip:
5f7b84
-      /* If this current map is the one mentioned in the verneed entry
5f7b84
-	 and we have not found a weak entry, it is a bug.  */
5f7b84
-      if (symidx == STN_UNDEF && version != NULL && version->filename != NULL
5f7b84
-	  && __glibc_unlikely (_dl_name_match_p (version->filename, map)))
5f7b84
-	return -1;
5f7b84
+      ;
5f7b84
     }
5f7b84
   while (++i < n);
5f7b84
 
5f7b84
@@ -810,34 +806,10 @@ _dl_lookup_symbol_x (const char *undef_name, struct link_map *undef_map,
5f7b84
 
5f7b84
   /* Search the relevant loaded objects for a definition.  */
5f7b84
   for (size_t start = i; *scope != NULL; start = 0, ++scope)
5f7b84
-    {
5f7b84
-      int res = do_lookup_x (undef_name, new_hash, &old_hash, *ref,
5f7b84
-			     &current_value, *scope, start, version, flags,
5f7b84
-			     skip_map, type_class, undef_map);
5f7b84
-      if (res > 0)
5f7b84
-	break;
5f7b84
-
5f7b84
-      if (__glibc_unlikely (res < 0) && skip_map == NULL)
5f7b84
-	{
5f7b84
-	  /* Oh, oh.  The file named in the relocation entry does not
5f7b84
-	     contain the needed symbol.  This code is never reached
5f7b84
-	     for unversioned lookups.  */
5f7b84
-	  assert (version != NULL);
5f7b84
-	  const char *reference_name = undef_map ? undef_map->l_name : "";
5f7b84
-	  struct dl_exception exception;
5f7b84
-	  /* XXX We cannot translate the message.  */
5f7b84
-	  _dl_exception_create_format
5f7b84
-	    (&exception, DSO_FILENAME (reference_name),
5f7b84
-	     "symbol %s version %s not defined in file %s"
5f7b84
-	     " with link time reference%s",
5f7b84
-	     undef_name, version->name, version->filename,
5f7b84
-	     res == -2 ? " (no version symbols)" : "");
5f7b84
-	  _dl_signal_cexception (0, &exception, N_("relocation error"));
5f7b84
-	  _dl_exception_free (&exception);
5f7b84
-	  *ref = NULL;
5f7b84
-	  return 0;
5f7b84
-	}
5f7b84
-    }
5f7b84
+    if (do_lookup_x (undef_name, new_hash, &old_hash, *ref,
5f7b84
+		     &current_value, *scope, start, version, flags,
5f7b84
+		     skip_map, type_class, undef_map) != 0)
5f7b84
+      break;
5f7b84
 
5f7b84
   if (__glibc_unlikely (current_value.s == NULL))
5f7b84
     {
5f7b84
diff --git a/elf/tst-sonamemove-dlopen.c b/elf/tst-sonamemove-dlopen.c
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..c496705044cdd53c
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-dlopen.c
5f7b84
@@ -0,0 +1,35 @@
5f7b84
+/* Check that a moved versioned symbol can be found using dlsym, dlvsym.
5f7b84
+   Copyright (C) 2019 Free Software Foundation, Inc.
5f7b84
+   This file is part of the GNU C Library.
5f7b84
+
5f7b84
+   The GNU C Library is free software; you can redistribute it and/or
5f7b84
+   modify it under the terms of the GNU Lesser General Public
5f7b84
+   License as published by the Free Software Foundation; either
5f7b84
+   version 2.1 of the License, or (at your option) any later version.
5f7b84
+
5f7b84
+   The GNU C Library is distributed in the hope that it will be useful,
5f7b84
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
5f7b84
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
5f7b84
+   Lesser General Public License for more details.
5f7b84
+
5f7b84
+   You should have received a copy of the GNU Lesser General Public
5f7b84
+   License along with the GNU C Library; if not, see
5f7b84
+   <http://www.gnu.org/licenses/>.  */
5f7b84
+
5f7b84
+#include <stddef.h>
5f7b84
+#include <support/check.h>
5f7b84
+#include <support/xdlfcn.h>
5f7b84
+
5f7b84
+static int
5f7b84
+do_test (void)
5f7b84
+{
5f7b84
+  /* tst-sonamemove-runmod1.so does not define moved_function, but it
5f7b84
+     depends on tst-sonamemove-runmod2.so, which does.  */
5f7b84
+  void *handle = xdlopen ("tst-sonamemove-runmod1.so", RTLD_NOW);
5f7b84
+  TEST_VERIFY (xdlsym (handle, "moved_function") != NULL);
5f7b84
+  TEST_VERIFY (xdlvsym (handle, "moved_function", "SONAME_MOVE") != NULL);
5f7b84
+
5f7b84
+  return 0;
5f7b84
+}
5f7b84
+
5f7b84
+#include <support/test-driver.c>
5f7b84
diff --git a/elf/tst-sonamemove-link.c b/elf/tst-sonamemove-link.c
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..4bc3bf32f88f97a9
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-link.c
5f7b84
@@ -0,0 +1,41 @@
5f7b84
+/* Check that a versioned symbol can move from one library to another.
5f7b84
+   Copyright (C) 2019 Free Software Foundation, Inc.
5f7b84
+   This file is part of the GNU C Library.
5f7b84
+
5f7b84
+   The GNU C Library is free software; you can redistribute it and/or
5f7b84
+   modify it under the terms of the GNU Lesser General Public
5f7b84
+   License as published by the Free Software Foundation; either
5f7b84
+   version 2.1 of the License, or (at your option) any later version.
5f7b84
+
5f7b84
+   The GNU C Library is distributed in the hope that it will be useful,
5f7b84
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
5f7b84
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
5f7b84
+   Lesser General Public License for more details.
5f7b84
+
5f7b84
+   You should have received a copy of the GNU Lesser General Public
5f7b84
+   License along with the GNU C Library; if not, see
5f7b84
+   <http://www.gnu.org/licenses/>.  */
5f7b84
+
5f7b84
+/* At link time, moved_function is bound to the symbol version
5f7b84
+   SONAME_MOVE in tst-sonamemove-runmod1.so, using the
5f7b84
+   tst-sonamemove-linkmod1.so stub object.
5f7b84
+
5f7b84
+   At run time, the process loads the real tst-sonamemove-runmod1.so,
5f7b84
+   which depends on tst-sonamemove-runmod2.so.
5f7b84
+   tst-sonamemove-runmod1.so does not define moved_function, but
5f7b84
+   tst-sonamemove-runmod2.so does.
5f7b84
+
5f7b84
+   The net effect is that the versioned symbol
5f7b84
+   moved_function@SONAME_MOVE moved from the soname
5f7b84
+   tst-sonamemove-linkmod1.so at link time to the soname
5f7b84
+   tst-sonamemove-linkmod2.so at run time. */
5f7b84
+void moved_function (void);
5f7b84
+
5f7b84
+static int
5f7b84
+do_test (void)
5f7b84
+{
5f7b84
+  moved_function ();
5f7b84
+  return 0;
5f7b84
+}
5f7b84
+
5f7b84
+#include <support/test-driver.c>
5f7b84
diff --git a/elf/tst-sonamemove-linkmod1.c b/elf/tst-sonamemove-linkmod1.c
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..b8a354e5e394f566
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-linkmod1.c
5f7b84
@@ -0,0 +1,25 @@
5f7b84
+/* Link interface for (lack of) soname matching in versioned symbol refs.
5f7b84
+   Copyright (C) 2019 Free Software Foundation, Inc.
5f7b84
+   This file is part of the GNU C Library.
5f7b84
+
5f7b84
+   The GNU C Library is free software; you can redistribute it and/or
5f7b84
+   modify it under the terms of the GNU Lesser General Public
5f7b84
+   License as published by the Free Software Foundation; either
5f7b84
+   version 2.1 of the License, or (at your option) any later version.
5f7b84
+
5f7b84
+   The GNU C Library is distributed in the hope that it will be useful,
5f7b84
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
5f7b84
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
5f7b84
+   Lesser General Public License for more details.
5f7b84
+
5f7b84
+   You should have received a copy of the GNU Lesser General Public
5f7b84
+   License along with the GNU C Library; if not, see
5f7b84
+   <http://www.gnu.org/licenses/>.  */
5f7b84
+
5f7b84
+/* This function moved from tst-sonamemove-runmod1.so.  This module is
5f7b84
+   intended for linking only, to simulate an old application which was
5f7b84
+   linked against an older version of the library.  */
5f7b84
+void
5f7b84
+moved_function (void)
5f7b84
+{
5f7b84
+}
5f7b84
diff --git a/elf/tst-sonamemove-linkmod1.map b/elf/tst-sonamemove-linkmod1.map
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..8fe5904018972009
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-linkmod1.map
5f7b84
@@ -0,0 +1,3 @@
5f7b84
+SONAME_MOVE {
5f7b84
+  global: moved_function;
5f7b84
+};
5f7b84
diff --git a/elf/tst-sonamemove-runmod1.c b/elf/tst-sonamemove-runmod1.c
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..5c409e22898bc836
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-runmod1.c
5f7b84
@@ -0,0 +1,23 @@
5f7b84
+/* Run-time module whose moved_function moved to a library dependency.
5f7b84
+   Copyright (C) 2019 Free Software Foundation, Inc.
5f7b84
+   This file is part of the GNU C Library.
5f7b84
+
5f7b84
+   The GNU C Library is free software; you can redistribute it and/or
5f7b84
+   modify it under the terms of the GNU Lesser General Public
5f7b84
+   License as published by the Free Software Foundation; either
5f7b84
+   version 2.1 of the License, or (at your option) any later version.
5f7b84
+
5f7b84
+   The GNU C Library is distributed in the hope that it will be useful,
5f7b84
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
5f7b84
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
5f7b84
+   Lesser General Public License for more details.
5f7b84
+
5f7b84
+   You should have received a copy of the GNU Lesser General Public
5f7b84
+   License along with the GNU C Library; if not, see
5f7b84
+   <http://www.gnu.org/licenses/>.  */
5f7b84
+
5f7b84
+/* Dummy function to add the required symbol version.  */
5f7b84
+void
5f7b84
+other_function (void)
5f7b84
+{
5f7b84
+}
5f7b84
diff --git a/elf/tst-sonamemove-runmod1.map b/elf/tst-sonamemove-runmod1.map
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..2ea81c6e6ffae2be
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-runmod1.map
5f7b84
@@ -0,0 +1,3 @@
5f7b84
+SONAME_MOVE {
5f7b84
+  global: other_function;
5f7b84
+};
5f7b84
diff --git a/elf/tst-sonamemove-runmod2.c b/elf/tst-sonamemove-runmod2.c
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..b5e482eff57d7d83
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-runmod2.c
5f7b84
@@ -0,0 +1,24 @@
5f7b84
+/* Run-time module with the actual implementation of moved_function.
5f7b84
+   Copyright (C) 2019 Free Software Foundation, Inc.
5f7b84
+   This file is part of the GNU C Library.
5f7b84
+
5f7b84
+   The GNU C Library is free software; you can redistribute it and/or
5f7b84
+   modify it under the terms of the GNU Lesser General Public
5f7b84
+   License as published by the Free Software Foundation; either
5f7b84
+   version 2.1 of the License, or (at your option) any later version.
5f7b84
+
5f7b84
+   The GNU C Library is distributed in the hope that it will be useful,
5f7b84
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
5f7b84
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
5f7b84
+   Lesser General Public License for more details.
5f7b84
+
5f7b84
+   You should have received a copy of the GNU Lesser General Public
5f7b84
+   License along with the GNU C Library; if not, see
5f7b84
+   <http://www.gnu.org/licenses/>.  */
5f7b84
+
5f7b84
+/* In the test scenario, this function was originally in
5f7b84
+   tst-sonamemove-runmod1.so.  */
5f7b84
+void
5f7b84
+moved_function (void)
5f7b84
+{
5f7b84
+}
5f7b84
diff --git a/elf/tst-sonamemove-runmod2.map b/elf/tst-sonamemove-runmod2.map
5f7b84
new file mode 100644
5f7b84
index 0000000000000000..8fe5904018972009
5f7b84
--- /dev/null
5f7b84
+++ b/elf/tst-sonamemove-runmod2.map
5f7b84
@@ -0,0 +1,3 @@
5f7b84
+SONAME_MOVE {
5f7b84
+  global: moved_function;
5f7b84
+};