(_dl_fini): Increment j counter after swapping in element at this
[kopensolaris-gnu/glibc.git] / elf / dl-fini.c
1 /* Call the termination functions of loaded shared objects.
2    Copyright (C) 1995,96,98,99,2000 Free Software Foundation, Inc.
3    This file is part of the GNU C Library.
4
5    The GNU C Library is free software; you can redistribute it and/or
6    modify it under the terms of the GNU Library General Public License as
7    published by the Free Software Foundation; either version 2 of the
8    License, or (at your option) any later version.
9
10    The GNU C Library is distributed in the hope that it will be useful,
11    but WITHOUT ANY WARRANTY; without even the implied warranty of
12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13    Library General Public License for more details.
14
15    You should have received a copy of the GNU Library General Public
16    License along with the GNU C Library; see the file COPYING.LIB.  If not,
17    write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
18    Boston, MA 02111-1307, USA.  */
19
20 #include <assert.h>
21 #include <string.h>
22 #include <ldsodefs.h>
23
24
25 /* Type of the constructor functions.  */
26 typedef void (*fini_t) (void);
27
28
29 void
30 internal_function
31 _dl_fini (void)
32 {
33   /* Lots of fun ahead.  We have to call the destructors for all still
34      loaded objects.  The problem is that the ELF specification now
35      demands that dependencies between the modules are taken into account.
36      I.e., the destructor for a module is called before the ones for any
37      of its dependencies.
38
39      To make things more complicated, we cannot simply use the reverse
40      order of the constructors.  Since the user might have loaded objects
41      using `dlopen' there are possibly several other modules with its
42      dependencies to be taken into account.  Therefore we have to start
43      determining the order of the modules once again from the beginning.  */
44   unsigned int nloaded = 0;
45   unsigned int i;
46   struct link_map *l;
47   struct link_map **maps;
48
49   /* First count how many objects are there.  */
50   for (l = _dl_loaded; l != NULL; l = l->l_next)
51     ++nloaded;
52
53   /* XXX Could it be (in static binaries) that there is no object loaded?  */
54   assert (nloaded > 0);
55
56   /* Now we can allocate an array to hold all the pointers and copy
57      the pointers in.  */
58   maps = (struct link_map **) alloca (nloaded * sizeof (struct link_map *));
59   for (l = _dl_loaded, nloaded = 0; l != NULL; l = l->l_next)
60     maps[nloaded++] = l;
61
62   /* Now we have to do the sorting.  */
63   for (l = _dl_loaded->l_next; l != NULL; l = l->l_next)
64     {
65       unsigned int j;
66       unsigned int k;
67
68       /* Find the place in the `maps' array.  */
69       for (j = 1; maps[j] != l; ++j)
70         ;
71
72       /* Find all object for which the current one is a dependency and
73          move the found object (if necessary) in front.  */
74       for (k = j + 1; k < nloaded; ++k)
75         {
76           struct link_map **runp;
77
78           runp = maps[k]->l_initfini;
79           if (runp != NULL)
80             {
81               while (*runp != NULL)
82                 if (*runp == l)
83                   {
84                     struct link_map *here = maps[k];
85
86                     /* Move it now.  */
87                     memmove (&maps[j] + 1,
88                              &maps[j],
89                              (k - j) * sizeof (struct link_map *));
90                     maps[j++] = here;
91
92                     break;
93                   }
94                 else
95                   ++runp;
96             }
97
98           if (__builtin_expect (maps[k]->l_reldeps != NULL, 0))
99             {
100               unsigned int m = maps[k]->l_reldepsact;
101               struct link_map **relmaps = maps[k]->l_reldeps;
102
103               while (m-- > 0)
104                 {
105                   if (relmaps[m] == l)
106                     {
107                       struct link_map *here = maps[k];
108
109                       /* Move it now.  */
110                       memmove (&maps[j] + 1,
111                                &maps[j],
112                                (k - j) * sizeof (struct link_map *));
113                       maps[j] = here;
114
115                       break;
116                     }
117
118                 }
119             }
120         }
121     }
122
123   /* `maps' now contains the objects in the right order.  Now call the
124      destructors.  We have to process this array from the front.  */
125   for (i = 0; i < nloaded; ++i)
126     {
127       l = maps[i];
128
129       if (l->l_init_called)
130         {
131           /* Make sure nothing happens if we are called twice.  */
132           l->l_init_called = 0;
133
134           /* Don't call the destructors for objects we are not supposed to.  */
135           if (l->l_name[0] == '\0' && l->l_type == lt_executable)
136             continue;
137
138           /* Is there a destructor function?  */
139           if (l->l_info[DT_FINI_ARRAY] == NULL && l->l_info[DT_FINI] == NULL)
140             continue;
141
142           /* When debugging print a message first.  */
143           if (_dl_debug_impcalls)
144             _dl_debug_message (1, "\ncalling fini: ",
145                                l->l_name[0] ? l->l_name : _dl_argv[0],
146                                "\n\n", NULL);
147
148           /* First see whether an array is given.  */
149           if (l->l_info[DT_FINI_ARRAY] != NULL)
150             {
151               ElfW(Addr) *array =
152                 (ElfW(Addr) *) (l->l_addr
153                                 + l->l_info[DT_FINI_ARRAY]->d_un.d_ptr);
154               unsigned int sz = (l->l_info[DT_FINI_ARRAYSZ]->d_un.d_val
155                                  / sizeof (ElfW(Addr)));
156               unsigned int cnt;
157
158               for (cnt = 0; cnt < sz; ++cnt)
159                 ((fini_t) (l->l_addr + array[cnt])) ();
160             }
161
162           /* Next try the old-style destructor.  */
163           if (l->l_info[DT_FINI] != NULL)
164             ((fini_t) (l->l_addr + l->l_info[DT_FINI]->d_un.d_ptr)) ();
165         }
166     }
167 }