avoid unwarranted assumption in gdb.ada/fixed_points/fixed_points.adb
[binutils-gdb.git] / bfd / elf-strtab.c
bloba2f4d515d3f63a40e86e0dbc11dbce5232255611
1 /* ELF strtab with GC and suffix merging support.
2 Copyright (C) 2001-2020 Free Software Foundation, Inc.
3 Written by Jakub Jelinek <jakub@redhat.com>.
5 This file is part of BFD, the Binary File Descriptor library.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
20 MA 02110-1301, USA. */
22 #include "sysdep.h"
23 #include "bfd.h"
24 #include "libbfd.h"
25 #include "elf-bfd.h"
26 #include "hashtab.h"
27 #include "libiberty.h"
29 /* An entry in the strtab hash table. */
31 struct elf_strtab_hash_entry
33 struct bfd_hash_entry root;
34 /* Length of this entry. This includes the zero terminator. */
35 int len;
36 unsigned int refcount;
37 union {
38 /* Index within the merged section. */
39 bfd_size_type index;
40 /* Entry this is a suffix of (if len < 0). */
41 struct elf_strtab_hash_entry *suffix;
42 } u;
45 /* The strtab hash table. */
47 struct elf_strtab_hash
49 struct bfd_hash_table table;
50 /* Next available index. */
51 size_t size;
52 /* Number of array entries alloced. */
53 size_t alloced;
54 /* Final strtab size. */
55 bfd_size_type sec_size;
56 /* Array of pointers to strtab entries. */
57 struct elf_strtab_hash_entry **array;
60 /* Routine to create an entry in a section merge hashtab. */
62 static struct bfd_hash_entry *
63 elf_strtab_hash_newfunc (struct bfd_hash_entry *entry,
64 struct bfd_hash_table *table,
65 const char *string)
67 /* Allocate the structure if it has not already been allocated by a
68 subclass. */
69 if (entry == NULL)
70 entry = (struct bfd_hash_entry *)
71 bfd_hash_allocate (table, sizeof (struct elf_strtab_hash_entry));
72 if (entry == NULL)
73 return NULL;
75 /* Call the allocation method of the superclass. */
76 entry = bfd_hash_newfunc (entry, table, string);
78 if (entry)
80 /* Initialize the local fields. */
81 struct elf_strtab_hash_entry *ret;
83 ret = (struct elf_strtab_hash_entry *) entry;
84 ret->u.index = -1;
85 ret->refcount = 0;
86 ret->len = 0;
89 return entry;
92 /* Create a new hash table. */
94 struct elf_strtab_hash *
95 _bfd_elf_strtab_init (void)
97 struct elf_strtab_hash *table;
98 size_t amt = sizeof (struct elf_strtab_hash);
100 table = (struct elf_strtab_hash *) bfd_malloc (amt);
101 if (table == NULL)
102 return NULL;
104 if (!bfd_hash_table_init (&table->table, elf_strtab_hash_newfunc,
105 sizeof (struct elf_strtab_hash_entry)))
107 free (table);
108 return NULL;
111 table->sec_size = 0;
112 table->size = 1;
113 table->alloced = 64;
114 amt = sizeof (struct elf_strtab_hasn_entry *);
115 table->array = ((struct elf_strtab_hash_entry **)
116 bfd_malloc (table->alloced * amt));
117 if (table->array == NULL)
119 free (table);
120 return NULL;
123 table->array[0] = NULL;
125 return table;
128 /* Free a strtab. */
130 void
131 _bfd_elf_strtab_free (struct elf_strtab_hash *tab)
133 bfd_hash_table_free (&tab->table);
134 free (tab->array);
135 free (tab);
138 /* Get the index of an entity in a hash table, adding it if it is not
139 already present. */
141 size_t
142 _bfd_elf_strtab_add (struct elf_strtab_hash *tab,
143 const char *str,
144 bfd_boolean copy)
146 register struct elf_strtab_hash_entry *entry;
148 /* We handle this specially, since we don't want to do refcounting
149 on it. */
150 if (*str == '\0')
151 return 0;
153 BFD_ASSERT (tab->sec_size == 0);
154 entry = (struct elf_strtab_hash_entry *)
155 bfd_hash_lookup (&tab->table, str, TRUE, copy);
157 if (entry == NULL)
158 return (size_t) -1;
160 entry->refcount++;
161 if (entry->len == 0)
163 entry->len = strlen (str) + 1;
164 /* 2G strings lose. */
165 BFD_ASSERT (entry->len > 0);
166 if (tab->size == tab->alloced)
168 bfd_size_type amt = sizeof (struct elf_strtab_hash_entry *);
169 tab->alloced *= 2;
170 tab->array = (struct elf_strtab_hash_entry **)
171 bfd_realloc_or_free (tab->array, tab->alloced * amt);
172 if (tab->array == NULL)
173 return (size_t) -1;
176 entry->u.index = tab->size++;
177 tab->array[entry->u.index] = entry;
179 return entry->u.index;
182 void
183 _bfd_elf_strtab_addref (struct elf_strtab_hash *tab, size_t idx)
185 if (idx == 0 || idx == (size_t) -1)
186 return;
187 BFD_ASSERT (tab->sec_size == 0);
188 BFD_ASSERT (idx < tab->size);
189 ++tab->array[idx]->refcount;
192 void
193 _bfd_elf_strtab_delref (struct elf_strtab_hash *tab, size_t idx)
195 if (idx == 0 || idx == (size_t) -1)
196 return;
197 BFD_ASSERT (tab->sec_size == 0);
198 BFD_ASSERT (idx < tab->size);
199 BFD_ASSERT (tab->array[idx]->refcount > 0);
200 --tab->array[idx]->refcount;
203 unsigned int
204 _bfd_elf_strtab_refcount (struct elf_strtab_hash *tab, size_t idx)
206 return tab->array[idx]->refcount;
209 void
210 _bfd_elf_strtab_clear_all_refs (struct elf_strtab_hash *tab)
212 size_t idx;
214 for (idx = 1; idx < tab->size; idx++)
215 tab->array[idx]->refcount = 0;
218 /* Save strtab refcounts prior to adding --as-needed library. */
220 struct strtab_save
222 size_t size;
223 unsigned int refcount[1];
226 void *
227 _bfd_elf_strtab_save (struct elf_strtab_hash *tab)
229 struct strtab_save *save;
230 size_t idx, size;
232 size = sizeof (*save) + (tab->size - 1) * sizeof (save->refcount[0]);
233 save = bfd_malloc (size);
234 if (save == NULL)
235 return save;
237 save->size = tab->size;
238 for (idx = 1; idx < tab->size; idx++)
239 save->refcount[idx] = tab->array[idx]->refcount;
240 return save;
243 /* Restore strtab refcounts on finding --as-needed library not needed. */
245 void
246 _bfd_elf_strtab_restore (struct elf_strtab_hash *tab, void *buf)
248 size_t idx, curr_size = tab->size, save_size;
249 struct strtab_save *save = (struct strtab_save *) buf;
251 BFD_ASSERT (tab->sec_size == 0);
252 save_size = 1;
253 if (save != NULL)
254 save_size = save->size;
255 BFD_ASSERT (save_size <= curr_size);
256 tab->size = save_size;
257 for (idx = 1; idx < save_size; ++idx)
258 tab->array[idx]->refcount = save->refcount[idx];
260 for (; idx < curr_size; ++idx)
262 /* We don't remove entries from the hash table, just set their
263 REFCOUNT to zero. Setting LEN zero will result in the size
264 growing if the entry is added again. See _bfd_elf_strtab_add. */
265 tab->array[idx]->refcount = 0;
266 tab->array[idx]->len = 0;
270 bfd_size_type
271 _bfd_elf_strtab_size (struct elf_strtab_hash *tab)
273 return tab->sec_size ? tab->sec_size : tab->size;
276 bfd_size_type
277 _bfd_elf_strtab_len (struct elf_strtab_hash *tab)
279 return tab->size;
282 bfd_size_type
283 _bfd_elf_strtab_offset (struct elf_strtab_hash *tab, size_t idx)
285 struct elf_strtab_hash_entry *entry;
287 if (idx == 0)
288 return 0;
289 BFD_ASSERT (idx < tab->size);
290 BFD_ASSERT (tab->sec_size);
291 entry = tab->array[idx];
292 BFD_ASSERT (entry->refcount > 0);
293 entry->refcount--;
294 return tab->array[idx]->u.index;
297 const char *
298 _bfd_elf_strtab_str (struct elf_strtab_hash *tab, size_t idx,
299 bfd_size_type *offset)
301 if (idx == 0)
302 return 0;
303 BFD_ASSERT (idx < tab->size);
304 BFD_ASSERT (tab->sec_size);
305 if (offset)
306 *offset = tab->array[idx]->u.index;
307 return tab->array[idx]->root.string;
310 bfd_boolean
311 _bfd_elf_strtab_emit (register bfd *abfd, struct elf_strtab_hash *tab)
313 bfd_size_type off = 1;
314 size_t i;
316 if (bfd_bwrite ("", 1, abfd) != 1)
317 return FALSE;
319 for (i = 1; i < tab->size; ++i)
321 register const char *str;
322 register unsigned int len;
324 BFD_ASSERT (tab->array[i]->refcount == 0);
325 len = tab->array[i]->len;
326 if ((int) len < 0)
327 continue;
329 str = tab->array[i]->root.string;
330 if (bfd_bwrite (str, len, abfd) != len)
331 return FALSE;
333 off += len;
336 BFD_ASSERT (off == tab->sec_size);
337 return TRUE;
340 /* Compare two elf_strtab_hash_entry structures. Called via qsort.
341 Won't ever return zero as all entries differ, so there is no issue
342 with qsort stability here. */
344 static int
345 strrevcmp (const void *a, const void *b)
347 struct elf_strtab_hash_entry *A = *(struct elf_strtab_hash_entry **) a;
348 struct elf_strtab_hash_entry *B = *(struct elf_strtab_hash_entry **) b;
349 unsigned int lenA = A->len;
350 unsigned int lenB = B->len;
351 const unsigned char *s = (const unsigned char *) A->root.string + lenA - 1;
352 const unsigned char *t = (const unsigned char *) B->root.string + lenB - 1;
353 int l = lenA < lenB ? lenA : lenB;
355 while (l)
357 if (*s != *t)
358 return (int) *s - (int) *t;
359 s--;
360 t--;
361 l--;
363 return lenA - lenB;
366 static inline int
367 is_suffix (const struct elf_strtab_hash_entry *A,
368 const struct elf_strtab_hash_entry *B)
370 if (A->len <= B->len)
371 /* B cannot be a suffix of A unless A is equal to B, which is guaranteed
372 not to be equal by the hash table. */
373 return 0;
375 return memcmp (A->root.string + (A->len - B->len),
376 B->root.string, B->len - 1) == 0;
379 /* This function assigns final string table offsets for used strings,
380 merging strings matching suffixes of longer strings if possible. */
382 void
383 _bfd_elf_strtab_finalize (struct elf_strtab_hash *tab)
385 struct elf_strtab_hash_entry **array, **a, *e;
386 bfd_size_type amt, sec_size;
387 size_t size, i;
389 /* Sort the strings by suffix and length. */
390 amt = tab->size;
391 amt *= sizeof (struct elf_strtab_hash_entry *);
392 array = (struct elf_strtab_hash_entry **) bfd_malloc (amt);
393 if (array == NULL)
394 goto alloc_failure;
396 for (i = 1, a = array; i < tab->size; ++i)
398 e = tab->array[i];
399 if (e->refcount)
401 *a++ = e;
402 /* Adjust the length to not include the zero terminator. */
403 e->len -= 1;
405 else
406 e->len = 0;
409 size = a - array;
410 if (size != 0)
412 qsort (array, size, sizeof (struct elf_strtab_hash_entry *), strrevcmp);
414 /* Loop over the sorted array and merge suffixes. Start from the
415 end because we want eg.
417 s1 -> "d"
418 s2 -> "bcd"
419 s3 -> "abcd"
421 to end up as
423 s3 -> "abcd"
424 s2 _____^
425 s1 _______^
427 ie. we don't want s1 pointing into the old s2. */
428 e = *--a;
429 e->len += 1;
430 while (--a >= array)
432 struct elf_strtab_hash_entry *cmp = *a;
434 cmp->len += 1;
435 if (is_suffix (e, cmp))
437 cmp->u.suffix = e;
438 cmp->len = -cmp->len;
440 else
441 e = cmp;
445 alloc_failure:
446 free (array);
448 /* Assign positions to the strings we want to keep. */
449 sec_size = 1;
450 for (i = 1; i < tab->size; ++i)
452 e = tab->array[i];
453 if (e->refcount && e->len > 0)
455 e->u.index = sec_size;
456 sec_size += e->len;
460 tab->sec_size = sec_size;
462 /* Adjust the rest. */
463 for (i = 1; i < tab->size; ++i)
465 e = tab->array[i];
466 if (e->refcount && e->len < 0)
467 e->u.index = e->u.suffix->u.index + (e->u.suffix->len + e->len);