Fix segfault in ARC linker when generating got entries for local symbols.
[external/binutils.git] / bfd / arc-got.h
1 /* ARC-specific support for 32-bit ELF
2    Copyright (C) 1994-2016 Free Software Foundation, Inc.
3    Contributed by Cupertino Miranda (cmiranda@synopsys.com).
4
5    This file is part of BFD, the Binary File Descriptor library.
6
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.
11
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.
16
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.  */
21
22 #ifndef ARC_GOT_H
23 #define ARC_GOT_H
24
25 enum tls_type_e
26 {
27   GOT_UNKNOWN = 0,
28   GOT_NORMAL,
29   GOT_TLS_GD,
30   GOT_TLS_IE,
31   GOT_TLS_LE
32 };
33
34 enum tls_got_entries
35 {
36   TLS_GOT_NONE = 0,
37   TLS_GOT_MOD,
38   TLS_GOT_OFF,
39   TLS_GOT_MOD_AND_OFF
40 };
41
42 struct got_entry
43 {
44   struct got_entry *next;
45   enum tls_type_e type;
46   bfd_vma offset;
47   bfd_boolean processed;
48   bfd_boolean created_dyn_relocation;
49   enum tls_got_entries existing_entries;
50 };
51
52 static struct got_entry **
53 arc_get_local_got_ents (bfd * abfd)
54 {
55   static struct got_entry **local_got_ents = NULL;
56
57   if (local_got_ents == NULL)
58     {
59       size_t       size;
60       Elf_Internal_Shdr *symtab_hdr = &((elf_tdata (abfd))->symtab_hdr);
61
62       size = symtab_hdr->sh_info * sizeof (bfd_vma);
63       local_got_ents = (struct got_entry **)
64         bfd_alloc (abfd, sizeof (struct got_entry *) * size);
65       if (local_got_ents == NULL)
66         return FALSE;
67
68       memset (local_got_ents, 0, sizeof (struct got_entry *) * size);
69       elf_local_got_ents (abfd) = local_got_ents;
70     }
71
72   return local_got_ents;
73 }
74
75 static struct got_entry *
76 got_entry_for_type (struct got_entry **list,
77                     enum tls_type_e type)
78 {
79   struct got_entry **p = list;
80
81   while (*p != NULL)
82     {
83       if ((*p)->type == type)
84         return *p;
85       p = &((*p)->next);
86     }
87   return NULL;
88 }
89
90 static void
91 new_got_entry_to_list (struct got_entry **list,
92                        enum tls_type_e type,
93                        bfd_vma offset,
94                        enum tls_got_entries existing_entries)
95 {
96   /* Find list end.  Avoid having multiple entries of the same
97      type.  */
98   struct got_entry **p = list;
99   struct got_entry *entry;
100
101   while (*p != NULL)
102     {
103       if ((*p)->type == type)
104         return;
105       p = &((*p)->next);
106     }
107
108   entry = (struct got_entry *) xmalloc (sizeof (struct got_entry));
109
110   entry->type = type;
111   entry->offset = offset;
112   entry->next = NULL;
113   entry->processed = FALSE;
114   entry->created_dyn_relocation = FALSE;
115   entry->existing_entries = existing_entries;
116
117   ARC_DEBUG ("New GOT got entry added to list: "
118              "type: %d, offset: %ld, existing_entries: %d\n",
119              type, (long) offset, existing_entries);
120
121   /* Add the entry to the end of the list.  */
122   *p = entry;
123 }
124
125 static enum tls_type_e
126 tls_type_for_reloc (reloc_howto_type *howto)
127 {
128   enum tls_type_e ret = GOT_UNKNOWN;
129
130   if (is_reloc_for_GOT (howto))
131     return GOT_NORMAL;
132
133   switch (howto->type)
134     {
135     case R_ARC_TLS_GD_GOT:
136       ret = GOT_TLS_GD;
137       break;
138     case R_ARC_TLS_IE_GOT:
139       ret = GOT_TLS_IE;
140       break;
141     case R_ARC_TLS_LE_32:
142       ret = GOT_TLS_LE;
143       break;
144     default:
145       ret = GOT_UNKNOWN;
146       break;
147     }
148
149   return ret;
150 };
151
152 static struct got_entry **
153 get_got_entry_list_for_symbol (bfd *abfd,
154                                unsigned long r_symndx,
155                                struct elf_link_hash_entry *h)
156 {
157   if (h != NULL)
158     {
159       return &h->got.glist;
160     }
161   else
162     {
163       struct got_entry **local_got_ents
164         = arc_get_local_got_ents (abfd);
165       return &local_got_ents[r_symndx];
166     }
167 }
168
169
170 static enum tls_type_e
171 arc_got_entry_type_for_reloc (reloc_howto_type *howto)
172 {
173   enum tls_type_e type = GOT_UNKNOWN;
174
175   if (is_reloc_for_GOT (howto))
176     return  GOT_NORMAL;
177
178   if (is_reloc_for_TLS (howto))
179     {
180       switch (howto->type)
181         {
182           case R_ARC_TLS_GD_GOT:
183             type = GOT_TLS_GD;
184             break;
185           case R_ARC_TLS_IE_GOT:
186             type = GOT_TLS_IE;
187             break;
188           default:
189             break;
190         }
191     }
192   return type;
193 }
194
195 #define ADD_SYMBOL_REF_SEC_AND_RELOC(SECNAME, COND_FOR_RELOC, H)        \
196   htab->s##SECNAME->size;                                               \
197   {                                                                     \
198     if (COND_FOR_RELOC)                                                 \
199       {                                                                 \
200         htab->srel##SECNAME->size += sizeof (Elf32_External_Rela);      \
201           ARC_DEBUG ("arc_info: Added reloc space in "                  \
202                      #SECNAME " section at " __FILE__                   \
203                      ":%d for symbol %s\n",                             \
204                      __LINE__, name_for_global_symbol (H));             \
205       }                                                                 \
206     if (H)                                                              \
207       if (h->dynindx == -1 && !h->forced_local)                         \
208         if (! bfd_elf_link_record_dynamic_symbol (info, H))             \
209           return FALSE;                                                 \
210      htab->s##SECNAME->size += 4;                                       \
211    }                                                                    \
212
213 static bfd_boolean
214 arc_fill_got_info_for_reloc (enum tls_type_e type,
215                              struct got_entry **list,
216                              struct bfd_link_info *  info,
217                              struct elf_link_hash_entry *h)
218 {
219   struct elf_link_hash_table *htab = elf_hash_table (info);
220
221   if (got_entry_for_type (list, type) != NULL)
222     return TRUE;
223
224   switch (type)
225     {
226       case GOT_NORMAL:
227         {
228           bfd_vma offset
229             = ADD_SYMBOL_REF_SEC_AND_RELOC (got, bfd_link_pic (info)
230                                                  || h != NULL, h);
231           new_got_entry_to_list (list, type, offset, TLS_GOT_NONE);
232         }
233         break;
234
235
236       case GOT_TLS_GD:
237         {
238           bfd_vma offset
239             = ADD_SYMBOL_REF_SEC_AND_RELOC (got, TRUE, h);
240           bfd_vma ATTRIBUTE_UNUSED notneeded
241             = ADD_SYMBOL_REF_SEC_AND_RELOC (got, TRUE, h);
242           new_got_entry_to_list (list, type, offset, TLS_GOT_MOD_AND_OFF);
243         }
244         break;
245       case GOT_TLS_IE:
246       case GOT_TLS_LE:
247         {
248           bfd_vma offset
249             = ADD_SYMBOL_REF_SEC_AND_RELOC (got, TRUE, h);
250           new_got_entry_to_list (list, type, offset, TLS_GOT_OFF);
251         }
252         break;
253
254       default:
255         return FALSE;
256         break;
257     }
258   return TRUE;
259 }
260
261
262 static bfd_vma
263 relocate_fix_got_relocs_for_got_info (struct got_entry **          list_p,
264                                       enum tls_type_e              type,
265                                       struct bfd_link_info *       info,
266                                       bfd *                        output_bfd,
267                                       unsigned long                r_symndx,
268                                       Elf_Internal_Sym *           local_syms,
269                                       asection **                  local_sections,
270                                       struct elf_link_hash_entry * h,
271                                       struct arc_relocation_data * reloc_data)
272 {
273   struct elf_link_hash_table *htab = elf_hash_table (info);
274   struct got_entry *entry = NULL;
275
276   if (list_p == NULL || type == GOT_UNKNOWN || type == GOT_TLS_LE)
277     return 0;
278
279   entry = got_entry_for_type (list_p, type);
280   BFD_ASSERT (entry);
281
282   if (h == NULL
283       || (! elf_hash_table (info)->dynamic_sections_created
284           || (bfd_link_pic (info)
285               && SYMBOL_REFERENCES_LOCAL (info, h))))
286     {
287       const char ATTRIBUTE_UNUSED *symbol_name;
288       static const char local_name[] = "(local)";
289       asection *tls_sec = NULL;
290       bfd_vma sym_value = 0;
291
292       if (h != NULL)
293         {
294           // TODO: This should not be here.
295           reloc_data->sym_value = h->root.u.def.value;
296           reloc_data->sym_section = h->root.u.def.section;
297
298           sym_value = h->root.u.def.value
299             + h->root.u.def.section->output_section->vma
300             + h->root.u.def.section->output_offset;
301
302           tls_sec = elf_hash_table (info)->tls_sec;
303
304           symbol_name = h->root.root.string;
305         }
306       else
307         {
308           Elf_Internal_Sym *sym = local_syms + r_symndx;
309           asection *sec = local_sections[r_symndx];
310
311           sym_value = sym->st_value
312             + sec->output_section->vma
313             + sec->output_offset;
314
315           tls_sec = elf_hash_table (info)->tls_sec;
316
317           symbol_name = local_name;
318         }
319
320
321       if (entry && entry->processed == FALSE)
322         {
323           switch (entry->type)
324             {
325             case GOT_TLS_GD:
326               {
327                 BFD_ASSERT (tls_sec && tls_sec->output_section);
328                 bfd_vma sec_vma = tls_sec->output_section->vma;
329
330                 bfd_put_32 (output_bfd,
331                             sym_value - sec_vma,
332                             htab->sgot->contents + entry->offset
333                             + (entry->existing_entries == TLS_GOT_MOD_AND_OFF
334                                ? 4 : 0));
335
336                 ARC_DEBUG ("arc_info: FIXED -> %s value = %#lx "
337                            "@ %p, for symbol %s\n",
338                            (entry->type == GOT_TLS_GD ? "GOT_TLS_GD" :
339                             "GOT_TLS_IE"),
340                            (long) (sym_value - sec_vma),
341                            htab->sgot->contents + entry->offset
342                            + (entry->existing_entries == TLS_GOT_MOD_AND_OFF
343                               ? 4 : 0),
344                            symbol_name);
345               }
346               break;
347
348             case GOT_TLS_IE:
349               {
350                 BFD_ASSERT (tls_sec && tls_sec->output_section);
351                 bfd_vma ATTRIBUTE_UNUSED sec_vma
352                   = tls_sec->output_section->vma;
353
354                 ARC_DEBUG ("arc_info: FIXED -> %s value = %#lx "
355                            "@ %p, for symbol %s\n",
356                            (entry->type == GOT_TLS_GD ? "GOT_TLS_GD" :
357                             "GOT_TLS_IE"),
358                            (long) (sym_value - sec_vma),
359                            htab->sgot->contents + entry->offset
360                            + (entry->existing_entries == TLS_GOT_MOD_AND_OFF
361                               ? 4 : 0),
362                            symbol_name);
363               }
364               break;
365
366             case GOT_NORMAL:
367               {
368                 bfd_vma sec_vma
369                   = reloc_data->sym_section->output_section->vma
370                   + reloc_data->sym_section->output_offset;
371
372                 if (h != NULL
373                     && h->root.type == bfd_link_hash_undefweak)
374                   ARC_DEBUG ("arc_info: PATCHED: NOT_PATCHED "
375                              "@ %#08lx for sym %s in got offset %#lx "
376                              "(is undefweak)\n",
377                              (long) (htab->sgot->output_section->vma
378                                      + htab->sgot->output_offset
379                                      + entry->offset),
380                              symbol_name,
381                              (long) entry->offset);
382                 else
383                   {
384                     bfd_put_32 (output_bfd,
385                                 reloc_data->sym_value + sec_vma,
386                                 htab->sgot->contents + entry->offset);
387                     ARC_DEBUG ("arc_info: PATCHED: %#08lx "
388                                "@ %#08lx for sym %s in got offset %#lx\n",
389                                (long) (reloc_data->sym_value + sec_vma),
390                                (long) (htab->sgot->output_section->vma
391                                        + htab->sgot->output_offset + entry->offset),
392                                symbol_name,
393                                (long) entry->offset);
394                   }
395               }
396               break;
397             default:
398               BFD_ASSERT (0);
399               break;
400             }
401           entry->processed = TRUE;
402         }
403     }
404
405   return entry->offset;
406 }
407
408 static void
409 create_got_dynrelocs_for_single_entry (struct got_entry *list,
410                                        bfd *output_bfd,
411                                        struct bfd_link_info *  info,
412                                        struct elf_link_hash_entry *h)
413 {
414   if (list == NULL)
415     return;
416
417   bfd_vma got_offset = list->offset;
418
419   if (list->type == GOT_NORMAL
420       && list->created_dyn_relocation == FALSE)
421     {
422       if (bfd_link_pic (info)
423           && h != NULL
424               && (info->symbolic || h->dynindx == -1)
425               && h->def_regular)
426         {
427           ADD_RELA (output_bfd, got, got_offset, 0, R_ARC_RELATIVE, 0);
428         }
429       /* Do not fully understand the side effects of this condition.
430          The relocation space might still being reserved.  Perhaps
431          I should clear its value.  */
432       else if (h != NULL && h->dynindx != -1)
433         {
434           ADD_RELA (output_bfd, got, got_offset, h->dynindx, R_ARC_GLOB_DAT, 0);
435         }
436       list->created_dyn_relocation = TRUE;
437     }
438   else if (list->existing_entries != TLS_GOT_NONE
439            && list->created_dyn_relocation == FALSE)
440     {
441        /* TODO TLS: This is not called for local symbols.
442           In order to correctly implement TLS, this should also
443           be called for all local symbols with tls got entries.
444           Should be moved to relocate_section in order to make it
445           work for local symbols.  */
446       struct elf_link_hash_table *htab = elf_hash_table (info);
447       enum tls_got_entries e = list->existing_entries;
448
449       BFD_ASSERT (list->type != GOT_TLS_GD
450               || list->existing_entries == TLS_GOT_MOD_AND_OFF);
451
452       bfd_vma dynindx = (h == NULL || h->dynindx == -1) ? 0 : h->dynindx;
453
454       if (e == TLS_GOT_MOD_AND_OFF || e == TLS_GOT_MOD)
455         {
456               ADD_RELA (output_bfd, got, got_offset, dynindx,
457                     R_ARC_TLS_DTPMOD, 0);
458               ARC_DEBUG ("arc_info: TLS_DYNRELOC: type = %d, \
459 GOT_OFFSET = %#lx, GOT_VMA = %#lx, INDEX = %ld, ADDEND = 0x0\n",
460                          list->type,
461                          (long) got_offset,
462                          (long) (htab->sgot->output_section->vma
463                                  + htab->sgot->output_offset + got_offset),
464                          (long) dynindx);
465         }
466
467       if (e == TLS_GOT_MOD_AND_OFF || e == TLS_GOT_OFF)
468         {
469           bfd_vma addend = 0;
470           if (list->type == GOT_TLS_IE)
471             addend = bfd_get_32 (output_bfd,
472                                  htab->sgot->contents + got_offset);
473
474           ADD_RELA (output_bfd, got,
475                     got_offset + (e == TLS_GOT_MOD_AND_OFF ? 4 : 0),
476                     dynindx,
477                     (list->type == GOT_TLS_IE ? R_ARC_TLS_TPOFF
478                                               : R_ARC_TLS_DTPOFF),
479                     addend);
480
481           ARC_DEBUG ("arc_info: TLS_DYNRELOC: type = %d, \
482 GOT_OFFSET = %#lx, GOT_VMA = %#lx, INDEX = %ld, ADDEND = %#lx\n",
483                      list->type,
484                      (long) got_offset,
485                      (long) (htab->sgot->output_section->vma
486                              + htab->sgot->output_offset + got_offset),
487                      (long) dynindx, (long) addend);
488         }
489       list->created_dyn_relocation = TRUE;
490     }
491 }
492
493 static void
494 create_got_dynrelocs_for_got_info (struct got_entry **list_p,
495                                    bfd *output_bfd,
496                                    struct bfd_link_info *  info,
497                                    struct elf_link_hash_entry *h)
498 {
499   if (list_p == NULL)
500     return;
501
502   struct got_entry *list = *list_p;
503   /* Traverse the list of got entries for this symbol.  */
504   while (list)
505     {
506       create_got_dynrelocs_for_single_entry (list, output_bfd, info, h);
507       list = list->next;
508     }
509 }
510
511 #undef ADD_SYMBOL_REF_SEC_AND_RELOC
512
513 #endif /* ARC_GOT_H */