Update.

2002-06-30  Ulrich Drepper  <drepper@redhat.com>

	* elf/dl-lookup.c (add_dependency): It is not necessary to add
	dependencies if they are created between objects which are created
	while processing RTLD_NOW for objects loaded as part of the same
	dlopen call.

2002-06-14  H.J. Lu  <hjl@gnu.org>

	* elf/Makefile (tests): Add circleload1.
	(modules-names): Add circlemod1, circlemod2, circlemod3,
	circlemod1a, circlemod2a and circlemod3a.
	($(objpfx)circleload1): New target.
	($(objpfx)circleload1.out): Likewise.
	($(objpfx)circlemod1.so): Likewise.
	($(objpfx)circlemod2.so): Likewise.
	($(objpfx)circlemod1a.so): Likewise.
	($(objpfx)circlemod2a.so): Likewise.
	* elf/circleload1.c: New file.
	* elf/circlemod1.c: New file.
	* elf/circlemod1a.c: New file.
	* elf/circlemod2.c: New file.
	* elf/circlemod2a.c: New file.
	* elf/circlemod3.c: New file.
	* elf/circlemod3a.c: New file.

10 files changed, 225 insertions, 2 deletions

diff --git a/ChangeLog b/ChangeLog
index 9c6f148..b8b3a27 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,29 @@
+2002-06-30  Ulrich Drepper  <drepper@redhat.com>
+
+	* elf/dl-lookup.c (add_dependency): It is not necessary to add
+	dependencies if they are created between objects which are created
+	while processing RTLD_NOW for objects loaded as part of the same
+	dlopen call.
+
+2002-06-14  H.J. Lu  <hjl@gnu.org>
+
+	* elf/Makefile (tests): Add circleload1.
+	(modules-names): Add circlemod1, circlemod2, circlemod3,
+	circlemod1a, circlemod2a and circlemod3a.
+	($(objpfx)circleload1): New target.
+	($(objpfx)circleload1.out): Likewise.
+	($(objpfx)circlemod1.so): Likewise.
+	($(objpfx)circlemod2.so): Likewise.
+	($(objpfx)circlemod1a.so): Likewise.
+	($(objpfx)circlemod2a.so): Likewise.
+	* elf/circleload1.c: New file.
+	* elf/circlemod1.c: New file.
+	* elf/circlemod1a.c: New file.
+	* elf/circlemod2.c: New file.
+	* elf/circlemod2a.c: New file.
+	* elf/circlemod3.c: New file.
+	* elf/circlemod3a.c: New file.
+
 2002-06-18  Amos Waterland  <apw@us.ibm.com>
 
 	* sysdeps/pthread/aio_cancel.c (aio_cancel): Add check for invalid
diff --git a/elf/Makefile b/elf/Makefile
index 073d1cd..f1beff7 100644
--- a/elf/Makefile
+++ b/elf/Makefile
@@ -119,7 +119,8 @@ tests = loadtest restest1 preloadtest loadfail multiload origtest resolvfail \
 	$(tests-nodlopen-$(have-z-nodlopen)) neededtest neededtest2 \
 	neededtest3 neededtest4 unload2 lateglobal initfirst global \
 	restest2 next dblload dblunload reldep5 reldep6 reldep7 tst-tls1 \
-	tst-tls2 tst-tls3 tst-tls4 tst-tls5 tst-tls6 tst-tls7 tst-tls8
+	tst-tls2 tst-tls3 tst-tls4 tst-tls5 tst-tls6 tst-tls7 tst-tls8 \
+	circleload1
 test-srcs = tst-pathopt
 tests-vis-yes = vismain
 tests-nodelete-yes = nodelete
@@ -138,7 +139,9 @@ modules-names = testobj1 testobj2 testobj3 testobj4 testobj5 testobj6 \
 		dblloadmod1 dblloadmod2 dblloadmod3 reldepmod5 reldepmod6 \
 	        reldep6mod0 reldep6mod1 reldep6mod2 reldep6mod3 reldep6mod4 \
 		reldep7mod1 reldep7mod2 \
-		tst-tlsmod1 tst-tlsmod2 tst-tlsmod3 tst-tlsmod4
+		tst-tlsmod1 tst-tlsmod2 tst-tlsmod3 tst-tlsmod4 \
+		circlemod1 circlemod1a circlemod2 circlemod2a \
+		circlemod3 circlemod3a
 modules-vis-yes = vismod1 vismod2 vismod3
 modules-nodelete-yes = nodelmod1 nodelmod2 nodelmod3 nodelmod4
 modules-nodlopen-yes = nodlopenmod nodlopenmod2
@@ -361,6 +364,15 @@ endif
 $(objpfx)constload1: $(libdl)
 $(objpfx)constload1.out: $(objpfx)constload2.so $(objpfx)constload3.so
 
+$(objpfx)circleload1: $(libdl)
+$(objpfx)circleload1.out: $(objpfx)circlemod1.so \
+			  $(objpfx)circlemod1a.so
+
+$(objpfx)circlemod1.so: $(objpfx)circlemod2.so
+$(objpfx)circlemod2.so: $(objpfx)circlemod3.so
+$(objpfx)circlemod1a.so: $(objpfx)circlemod2a.so
+$(objpfx)circlemod2a.so: $(objpfx)circlemod3a.so
+
 $(objpfx)order: $(addprefix $(objpfx),dep4.so dep3.so dep2.so dep1.so)
 
 $(objpfx)order.out: $(objpfx)order
diff --git a/elf/circleload1.c b/elf/circleload1.c
new file mode 100644
index 0000000..60f8fb5
--- /dev/null
+++ b/elf/circleload1.c
@@ -0,0 +1,146 @@
+#include <dlfcn.h>
+#include <libintl.h>
+#include <link.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+static int
+check_loaded_objects (const char **loaded)
+{
+  struct link_map *lm;
+  int n;
+  int *found = NULL;
+  int errors = 0;
+
+  for (n = 0; loaded[n]; n++)
+    /* NOTHING */;
+
+  if (n)
+    {
+      found = (int *) alloca (sizeof (int) * n);
+      memset (found, 0, sizeof (int) * n);
+    }
+
+  printf("   Name\n");
+  printf(" --------------------------------------------------------\n");
+  for (lm = _r_debug.r_map; lm; lm = lm->l_next)
+    {
+      if (lm->l_name && lm->l_name[0])
+	printf(" %s, count = %d\n", lm->l_name, (int) lm->l_opencount);
+      if (lm->l_type == lt_loaded && lm->l_name)
+	{
+	  int match = 0;
+	  for (n = 0; loaded[n] != NULL; n++)
+	    {
+	      if (strcmp (basename (loaded[n]), basename (lm->l_name)) == 0)
+	        {
+		  found[n] = 1;
+		  match = 1;
+		  break;
+		}
+	    }
+
+	  if (match == 0)
+	    {
+	      ++errors;
+	      printf ("ERRORS: %s is not unloaded\n", lm->l_name);
+	    }
+	}
+    }
+
+  for (n = 0; loaded[n] != NULL; n++)
+    {
+      if (found[n] == 0)
+        {
+	  ++errors;
+	  printf ("ERRORS: %s is not loaded\n", loaded[n]);
+	}
+    }
+
+  return errors;
+}
+
+static int
+load_dso (const char **loading, int undef, int flag)
+{
+  void *obj;
+  const char *loaded[] = { NULL, NULL, NULL, NULL };
+  int errors = 0;
+  const char *errstring;
+
+  printf ("\nThis is what is in memory now:\n");
+  errors += check_loaded_objects (loaded);
+
+  printf ("Loading shared object %s: %s\n", loading [0],
+	 flag == RTLD_LAZY ? "RTLD_LAZY" : "RTLD_NOW");
+  obj = dlopen (loading [0], flag);
+  if (obj == NULL)
+    {
+      if (flag == RTLD_LAZY)
+	{
+	  ++errors;
+	  printf ("ERRORS: dlopen shouldn't fail for RTLD_LAZY\n");
+	}
+
+      errstring = dlerror ();
+      if (strstr (errstring, "undefined symbol") == 0
+	  || strstr (errstring, "circlemod2_undefined") == 0)
+	{
+	  ++errors;
+	  printf ("ERRORS: dlopen: `%s': Invalid error string\n",
+		  errstring);
+	}
+      else
+	printf ("dlopen: %s\n", errstring);
+    }
+  else
+    {
+      if (undef && flag == RTLD_NOW)
+	{
+	  ++errors;
+	  printf ("ERRORS: dlopen shouldn't work for RTLD_NOW\n");
+	}
+
+      loaded[0] = loading [0];
+      loaded[1] = loading [1];
+      loaded[2] = loading [2];
+    }
+  errors += check_loaded_objects (loaded);
+
+  if (obj)
+    {
+      printf ("UnLoading shared object %s\n", loading [0]);
+      dlclose (obj);
+      loaded[0] = NULL;
+      loaded[1] = NULL;
+      loaded[2] = NULL;
+      errors += check_loaded_objects (loaded);
+    }
+
+  return errors;
+}
+
+int
+main (void)
+{
+  int errors = 0;
+  const char *loading[3];
+
+  loading [0] = "circlemod1a.so";
+  loading [1] = "circlemod2a.so";
+  loading [2] = "circlemod3a.so";
+  errors += load_dso (loading, 0, RTLD_LAZY);
+  errors += load_dso (loading, 0, RTLD_NOW);
+
+  loading [0] = "circlemod1.so";
+  loading [1] = "circlemod2.so";
+  loading [2] = "circlemod3.so";
+  errors += load_dso (loading, 1, RTLD_LAZY);
+  errors += load_dso (loading, 1, RTLD_NOW);
+
+  if (errors != 0)
+    printf ("%d errors found\n", errors);
+
+  return errors;
+}
diff --git a/elf/circlemod1.c b/elf/circlemod1.c
new file mode 100644
index 0000000..6b61a4d
--- /dev/null
+++ b/elf/circlemod1.c
@@ -0,0 +1,7 @@
+extern void circlemod2 (void);
+
+void
+circlemod1 (void)
+{
+  circlemod2 ();
+}
diff --git a/elf/circlemod1a.c b/elf/circlemod1a.c
new file mode 100644
index 0000000..45f2291
--- /dev/null
+++ b/elf/circlemod1a.c
@@ -0,0 +1 @@
+#include "circlemod1.c"
diff --git a/elf/circlemod2.c b/elf/circlemod2.c
new file mode 100644
index 0000000..1c67abc
--- /dev/null
+++ b/elf/circlemod2.c
@@ -0,0 +1,9 @@
+extern void circlemod2_undefined (void);
+extern void circlemod3 (void);
+
+void
+circlemod2 (void)
+{
+  circlemod2_undefined ();
+  circlemod3 ();
+}
diff --git a/elf/circlemod2a.c b/elf/circlemod2a.c
new file mode 100644
index 0000000..f8664a9
--- /dev/null
+++ b/elf/circlemod2a.c
@@ -0,0 +1,7 @@
+extern void circlemod3 (void);
+
+void
+circlemod2 (void)
+{
+  circlemod3 ();
+}
diff --git a/elf/circlemod3.c b/elf/circlemod3.c
new file mode 100644
index 0000000..6ac00a0
--- /dev/null
+++ b/elf/circlemod3.c
@@ -0,0 +1,9 @@
+extern void circlemod1 (void);
+extern void circlemod2 (void);
+
+void
+circlemod3 (void)
+{
+  circlemod1 ();
+  circlemod2 ();
+}
diff --git a/elf/circlemod3a.c b/elf/circlemod3a.c
new file mode 100644
index 0000000..f1b166e
--- /dev/null
+++ b/elf/circlemod3a.c
@@ -0,0 +1 @@
+#include "circlemod3.c"
diff --git a/elf/dl-lookup.c b/elf/dl-lookup.c
index b21eeb0..773f73d 100644
--- a/elf/dl-lookup.c
+++ b/elf/dl-lookup.c
@@ -94,6 +94,11 @@ add_dependency (struct link_map *undef_map, struct link_map *map)
   if (undef_map == map)
     return 0;
 
+  /* Don't create cross-reference between modules which are
+     dynamically loaded by the same dlopen() call.  */
+  if (undef_map->l_opencount == 0 && map->l_opencount == 0)
+    return 0;
+
   /* Make sure nobody can unload the object while we are at it.  */
   __libc_lock_lock_recursive (GL(dl_load_lock));