]>
Commit | Line | Data |
---|---|---|
6de2ae4a | 1 | /* ELF STT_GNU_IFUNC support. |
b90efa5b | 2 | Copyright (C) 2009-2015 Free Software Foundation, Inc. |
6de2ae4a L |
3 | |
4 | This file is part of BFD, the Binary File Descriptor library. | |
5 | ||
6 | This program is free software; you can redistribute it and/or modify | |
7 | it under the terms of the GNU General Public License as published by | |
8 | the Free Software Foundation; either version 3 of the License, or | |
9 | (at your option) any later version. | |
10 | ||
11 | This program is distributed in the hope that it will be useful, | |
12 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | GNU General Public License for more details. | |
15 | ||
16 | You should have received a copy of the GNU General Public License | |
17 | along with this program; if not, write to the Free Software | |
18 | Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston, | |
19 | MA 02110-1301, USA. */ | |
20 | ||
21 | #include "sysdep.h" | |
22 | #include "bfd.h" | |
23 | #include "bfdlink.h" | |
24 | #include "libbfd.h" | |
25 | #define ARCH_SIZE 0 | |
26 | #include "elf-bfd.h" | |
27 | #include "safe-ctype.h" | |
28 | #include "libiberty.h" | |
29 | #include "objalloc.h" | |
30 | ||
31 | /* Create sections needed by STT_GNU_IFUNC symbol. */ | |
32 | ||
33 | bfd_boolean | |
34 | _bfd_elf_create_ifunc_sections (bfd *abfd, struct bfd_link_info *info) | |
35 | { | |
36 | flagword flags, pltflags; | |
37 | asection *s; | |
38 | const struct elf_backend_data *bed = get_elf_backend_data (abfd); | |
39 | struct elf_link_hash_table *htab = elf_hash_table (info); | |
40 | ||
41 | if (htab->irelifunc != NULL || htab->iplt != NULL) | |
42 | return TRUE; | |
43 | ||
44 | flags = bed->dynamic_sec_flags; | |
45 | pltflags = flags; | |
46 | if (bed->plt_not_loaded) | |
47 | /* We do not clear SEC_ALLOC here because we still want the OS to | |
48 | allocate space for the section; it's just that there's nothing | |
49 | to read in from the object file. */ | |
50 | pltflags &= ~ (SEC_CODE | SEC_LOAD | SEC_HAS_CONTENTS); | |
51 | else | |
52 | pltflags |= SEC_ALLOC | SEC_CODE | SEC_LOAD; | |
53 | if (bed->plt_readonly) | |
54 | pltflags |= SEC_READONLY; | |
55 | ||
56 | if (info->shared) | |
57 | { | |
58 | /* We need to create .rel[a].ifunc for shared objects. */ | |
59 | const char *rel_sec = (bed->rela_plts_and_copies_p | |
60 | ? ".rela.ifunc" : ".rel.ifunc"); | |
61 | ||
62 | s = bfd_make_section_with_flags (abfd, rel_sec, | |
63 | flags | SEC_READONLY); | |
64 | if (s == NULL | |
65 | || ! bfd_set_section_alignment (abfd, s, | |
66 | bed->s->log_file_align)) | |
67 | return FALSE; | |
68 | htab->irelifunc = s; | |
69 | } | |
70 | else | |
71 | { | |
72 | /* We need to create .iplt, .rel[a].iplt, .igot and .igot.plt | |
73 | for static executables. */ | |
74 | s = bfd_make_section_with_flags (abfd, ".iplt", pltflags); | |
75 | if (s == NULL | |
76 | || ! bfd_set_section_alignment (abfd, s, bed->plt_alignment)) | |
77 | return FALSE; | |
78 | htab->iplt = s; | |
79 | ||
80 | s = bfd_make_section_with_flags (abfd, | |
81 | (bed->rela_plts_and_copies_p | |
82 | ? ".rela.iplt" : ".rel.iplt"), | |
83 | flags | SEC_READONLY); | |
84 | if (s == NULL | |
85 | || ! bfd_set_section_alignment (abfd, s, | |
86 | bed->s->log_file_align)) | |
87 | return FALSE; | |
88 | htab->irelplt = s; | |
89 | ||
90 | /* We don't need the .igot section if we have the .igot.plt | |
91 | section. */ | |
92 | if (bed->want_got_plt) | |
93 | s = bfd_make_section_with_flags (abfd, ".igot.plt", flags); | |
94 | else | |
95 | s = bfd_make_section_with_flags (abfd, ".igot", flags); | |
96 | if (s == NULL | |
97 | || !bfd_set_section_alignment (abfd, s, | |
98 | bed->s->log_file_align)) | |
99 | return FALSE; | |
100 | htab->igotplt = s; | |
101 | } | |
102 | ||
103 | return TRUE; | |
104 | } | |
e03a8ed8 | 105 | |
e03a8ed8 L |
106 | /* Allocate space in .plt, .got and associated reloc sections for |
107 | dynamic relocs against a STT_GNU_IFUNC symbol definition. */ | |
108 | ||
109 | bfd_boolean | |
110 | _bfd_elf_allocate_ifunc_dyn_relocs (struct bfd_link_info *info, | |
111 | struct elf_link_hash_entry *h, | |
112 | struct elf_dyn_relocs **head, | |
113 | unsigned int plt_entry_size, | |
7b70956d | 114 | unsigned int plt_header_size, |
e03a8ed8 L |
115 | unsigned int got_entry_size) |
116 | { | |
117 | asection *plt, *gotplt, *relplt; | |
118 | struct elf_dyn_relocs *p; | |
119 | unsigned int sizeof_reloc; | |
120 | const struct elf_backend_data *bed; | |
121 | struct elf_link_hash_table *htab; | |
122 | ||
123 | /* When a shared library references a STT_GNU_IFUNC symbol defined | |
124 | in executable, the address of the resolved function may be used. | |
125 | But in non-shared executable, the address of its .plt slot may | |
126 | be used. Pointer equality may not work correctly. PIE should | |
127 | be used if pointer equality is required here. */ | |
128 | if (!info->shared | |
129 | && (h->dynindx != -1 | |
130 | || info->export_dynamic) | |
131 | && h->pointer_equality_needed) | |
132 | { | |
68ffbac6 | 133 | info->callbacks->einfo |
e03a8ed8 L |
134 | (_("%F%P: dynamic STT_GNU_IFUNC symbol `%s' with pointer " |
135 | "equality in `%B' can not be used when making an " | |
136 | "executable; recompile with -fPIE and relink with -pie\n"), | |
137 | h->root.root.string, | |
138 | h->root.u.def.section->owner); | |
139 | bfd_set_error (bfd_error_bad_value); | |
140 | return FALSE; | |
141 | } | |
142 | ||
004fb780 L |
143 | htab = elf_hash_table (info); |
144 | ||
1622ff3b L |
145 | /* When building shared library, we need to handle the case where it is |
146 | marked with regular reference, but not non-GOT reference since the | |
147 | non-GOT reference bit may not be set here. */ | |
148 | if (info->shared && !h->non_got_ref && h->ref_regular) | |
149 | for (p = *head; p != NULL; p = p->next) | |
150 | if (p->count) | |
151 | { | |
152 | h->non_got_ref = 1; | |
153 | goto keep; | |
154 | } | |
155 | ||
bb1cb422 L |
156 | /* Support garbage collection against STT_GNU_IFUNC symbols. */ |
157 | if (h->plt.refcount <= 0 && h->got.refcount <= 0) | |
158 | { | |
7be86737 L |
159 | h->got = htab->init_got_offset; |
160 | h->plt = htab->init_plt_offset; | |
161 | *head = NULL; | |
162 | return TRUE; | |
bb1cb422 L |
163 | } |
164 | ||
e03a8ed8 L |
165 | /* Return and discard space for dynamic relocations against it if |
166 | it is never referenced in a non-shared object. */ | |
167 | if (!h->ref_regular) | |
168 | { | |
169 | if (h->plt.refcount > 0 | |
170 | || h->got.refcount > 0) | |
171 | abort (); | |
004fb780 L |
172 | h->got = htab->init_got_offset; |
173 | h->plt = htab->init_plt_offset; | |
e03a8ed8 L |
174 | *head = NULL; |
175 | return TRUE; | |
176 | } | |
177 | ||
7be86737 | 178 | keep: |
e03a8ed8 L |
179 | bed = get_elf_backend_data (info->output_bfd); |
180 | if (bed->rela_plts_and_copies_p) | |
181 | sizeof_reloc = bed->s->sizeof_rela; | |
182 | else | |
183 | sizeof_reloc = bed->s->sizeof_rel; | |
184 | ||
e03a8ed8 L |
185 | /* When building a static executable, use .iplt, .igot.plt and |
186 | .rel[a].iplt sections for STT_GNU_IFUNC symbols. */ | |
187 | if (htab->splt != NULL) | |
188 | { | |
189 | plt = htab->splt; | |
190 | gotplt = htab->sgotplt; | |
191 | relplt = htab->srelplt; | |
192 | ||
193 | /* If this is the first .plt entry, make room for the special | |
194 | first entry. */ | |
195 | if (plt->size == 0) | |
7b70956d | 196 | plt->size += plt_header_size; |
e03a8ed8 L |
197 | } |
198 | else | |
199 | { | |
200 | plt = htab->iplt; | |
201 | gotplt = htab->igotplt; | |
202 | relplt = htab->irelplt; | |
203 | } | |
204 | ||
205 | /* Don't update value of STT_GNU_IFUNC symbol to PLT. We need | |
68ffbac6 | 206 | the original value for R_*_IRELATIVE. */ |
e03a8ed8 L |
207 | h->plt.offset = plt->size; |
208 | ||
209 | /* Make room for this entry in the .plt/.iplt section. */ | |
210 | plt->size += plt_entry_size; | |
211 | ||
212 | /* We also need to make an entry in the .got.plt/.got.iplt section, | |
213 | which will be placed in the .got section by the linker script. */ | |
214 | gotplt->size += got_entry_size; | |
215 | ||
216 | /* We also need to make an entry in the .rel[a].plt/.rel[a].iplt | |
217 | section. */ | |
218 | relplt->size += sizeof_reloc; | |
219 | relplt->reloc_count++; | |
220 | ||
221 | /* We need dynamic relocation for STT_GNU_IFUNC symbol only when | |
222 | there is a non-GOT reference in a shared object. */ | |
223 | if (!info->shared | |
224 | || !h->non_got_ref) | |
225 | *head = NULL; | |
226 | ||
227 | /* Finally, allocate space. */ | |
7be86737 L |
228 | p = *head; |
229 | if (p != NULL) | |
230 | { | |
231 | bfd_size_type count = 0; | |
232 | do | |
233 | { | |
234 | count += p->count; | |
235 | p = p->next; | |
236 | } | |
237 | while (p != NULL); | |
238 | htab->irelifunc->size += count * sizeof_reloc; | |
239 | } | |
e03a8ed8 | 240 | |
7be86737 | 241 | /* For STT_GNU_IFUNC symbol, .got.plt has the real function address |
e03a8ed8 L |
242 | and .got has the PLT entry adddress. We will load the GOT entry |
243 | with the PLT entry in finish_dynamic_symbol if it is used. For | |
244 | branch, it uses .got.plt. For symbol value, | |
245 | 1. Use .got.plt in a shared object if it is forced local or not | |
246 | dynamic. | |
247 | 2. Use .got.plt in a non-shared object if pointer equality isn't | |
248 | needed. | |
249 | 3. Use .got.plt in PIE. | |
250 | 4. Use .got.plt if .got isn't used. | |
251 | 5. Otherwise use .got so that it can be shared among different | |
252 | objects at run-time. | |
253 | We only need to relocate .got entry in shared object. */ | |
7b5b197e L |
254 | if (h->got.refcount <= 0 |
255 | || (info->shared | |
256 | && (h->dynindx == -1 | |
257 | || h->forced_local)) | |
e03a8ed8 L |
258 | || (!info->shared |
259 | && !h->pointer_equality_needed) | |
260 | || (info->executable && info->shared) | |
261 | || htab->sgot == NULL) | |
262 | { | |
263 | /* Use .got.plt. */ | |
264 | h->got.offset = (bfd_vma) -1; | |
265 | } | |
266 | else | |
267 | { | |
268 | h->got.offset = htab->sgot->size; | |
269 | htab->sgot->size += got_entry_size; | |
270 | if (info->shared) | |
271 | htab->srelgot->size += sizeof_reloc; | |
272 | } | |
273 | ||
274 | return TRUE; | |
275 | } | |
3972882e L |
276 | |
277 | /* Similar to _bfd_elf_get_synthetic_symtab, optimized for unsorted PLT | |
278 | entries. PLT is the PLT section. PLT_SYM_VAL is a function pointer | |
279 | which returns an array of PLT entry symbol values. */ | |
280 | ||
281 | long | |
282 | _bfd_elf_ifunc_get_synthetic_symtab | |
283 | (bfd *abfd, long symcount ATTRIBUTE_UNUSED, | |
284 | asymbol **syms ATTRIBUTE_UNUSED, long dynsymcount, asymbol **dynsyms, | |
285 | asymbol **ret, asection *plt, | |
286 | bfd_vma *(*get_plt_sym_val) (bfd *, asymbol **, asection *, asection *)) | |
287 | { | |
288 | const struct elf_backend_data *bed = get_elf_backend_data (abfd); | |
289 | asection *relplt; | |
290 | asymbol *s; | |
291 | const char *relplt_name; | |
292 | bfd_boolean (*slurp_relocs) (bfd *, asection *, asymbol **, bfd_boolean); | |
293 | arelent *p; | |
294 | long count, i, n; | |
295 | size_t size; | |
296 | Elf_Internal_Shdr *hdr; | |
297 | char *names; | |
298 | bfd_vma *plt_sym_val; | |
299 | ||
300 | *ret = NULL; | |
301 | ||
302 | if (plt == NULL) | |
303 | return 0; | |
304 | ||
305 | if ((abfd->flags & (DYNAMIC | EXEC_P)) == 0) | |
306 | return 0; | |
307 | ||
308 | if (dynsymcount <= 0) | |
309 | return 0; | |
310 | ||
311 | relplt_name = bed->relplt_name; | |
312 | if (relplt_name == NULL) | |
313 | relplt_name = bed->rela_plts_and_copies_p ? ".rela.plt" : ".rel.plt"; | |
314 | relplt = bfd_get_section_by_name (abfd, relplt_name); | |
315 | if (relplt == NULL) | |
316 | return 0; | |
317 | ||
318 | hdr = &elf_section_data (relplt)->this_hdr; | |
319 | if (hdr->sh_link != elf_dynsymtab (abfd) | |
320 | || (hdr->sh_type != SHT_REL && hdr->sh_type != SHT_RELA)) | |
321 | return 0; | |
322 | ||
323 | slurp_relocs = get_elf_backend_data (abfd)->s->slurp_reloc_table; | |
324 | if (! (*slurp_relocs) (abfd, relplt, dynsyms, TRUE)) | |
325 | return -1; | |
326 | ||
327 | count = relplt->size / hdr->sh_entsize; | |
328 | size = count * sizeof (asymbol); | |
329 | p = relplt->relocation; | |
330 | for (i = 0; i < count; i++, p += bed->s->int_rels_per_ext_rel) | |
331 | { | |
332 | size += strlen ((*p->sym_ptr_ptr)->name) + sizeof ("@plt"); | |
333 | if (p->addend != 0) | |
334 | { | |
335 | #ifdef BFD64 | |
336 | size += sizeof ("+0x") - 1 + 8 + 8 * (bed->s->elfclass == ELFCLASS64); | |
337 | #else | |
338 | size += sizeof ("+0x") - 1 + 8; | |
339 | #endif | |
340 | } | |
341 | } | |
342 | ||
343 | plt_sym_val = get_plt_sym_val (abfd, dynsyms, plt, relplt); | |
344 | if (plt_sym_val == NULL) | |
345 | return -1; | |
346 | ||
347 | s = *ret = (asymbol *) bfd_malloc (size); | |
348 | if (s == NULL) | |
349 | { | |
350 | free (plt_sym_val); | |
351 | return -1; | |
352 | } | |
353 | ||
354 | names = (char *) (s + count); | |
355 | p = relplt->relocation; | |
356 | n = 0; | |
357 | for (i = 0; i < count; i++, p += bed->s->int_rels_per_ext_rel) | |
358 | { | |
359 | size_t len; | |
360 | bfd_vma addr; | |
361 | ||
362 | addr = plt_sym_val[i]; | |
363 | if (addr == (bfd_vma) -1) | |
364 | continue; | |
365 | ||
366 | *s = **p->sym_ptr_ptr; | |
367 | /* Undefined syms won't have BSF_LOCAL or BSF_GLOBAL set. Since | |
368 | we are defining a symbol, ensure one of them is set. */ | |
369 | if ((s->flags & BSF_LOCAL) == 0) | |
370 | s->flags |= BSF_GLOBAL; | |
371 | s->flags |= BSF_SYNTHETIC; | |
372 | s->section = plt; | |
373 | s->value = addr - plt->vma; | |
374 | s->name = names; | |
375 | s->udata.p = NULL; | |
376 | len = strlen ((*p->sym_ptr_ptr)->name); | |
377 | memcpy (names, (*p->sym_ptr_ptr)->name, len); | |
378 | names += len; | |
379 | if (p->addend != 0) | |
380 | { | |
381 | char buf[30], *a; | |
382 | ||
383 | memcpy (names, "+0x", sizeof ("+0x") - 1); | |
384 | names += sizeof ("+0x") - 1; | |
385 | bfd_sprintf_vma (abfd, buf, p->addend); | |
386 | for (a = buf; *a == '0'; ++a) | |
387 | ; | |
388 | len = strlen (a); | |
389 | memcpy (names, a, len); | |
390 | names += len; | |
391 | } | |
392 | memcpy (names, "@plt", sizeof ("@plt")); | |
393 | names += sizeof ("@plt"); | |
394 | ++s, ++n; | |
395 | } | |
396 | ||
397 | free (plt_sym_val); | |
398 | ||
399 | return n; | |
400 | } |