bfd/ChangeLog:
[deliverable/binutils-gdb.git] / bfd / elf-attrs.c
1 /* ELF attributes support (based on ARM EABI attributes).
2 Copyright 2005, 2006, 2007, 2009, 2010, 2012
3 Free Software Foundation, Inc.
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 #include "sysdep.h"
23 #include "bfd.h"
24 #include "libiberty.h"
25 #include "libbfd.h"
26 #include "elf-bfd.h"
27
28 /* Return the number of bytes needed by I in uleb128 format. */
29 static int
30 uleb128_size (unsigned int i)
31 {
32 int size;
33 size = 1;
34 while (i >= 0x80)
35 {
36 i >>= 7;
37 size++;
38 }
39 return size;
40 }
41
42 /* Return TRUE if the attribute has the default value (0/""). */
43 static bfd_boolean
44 is_default_attr (obj_attribute *attr)
45 {
46 if (ATTR_TYPE_HAS_INT_VAL (attr->type) && attr->i != 0)
47 return FALSE;
48 if (ATTR_TYPE_HAS_STR_VAL (attr->type) && attr->s && *attr->s)
49 return FALSE;
50 if (ATTR_TYPE_HAS_NO_DEFAULT (attr->type))
51 return FALSE;
52
53 return TRUE;
54 }
55
56 /* Return the size of a single attribute. */
57 static bfd_vma
58 obj_attr_size (int tag, obj_attribute *attr)
59 {
60 bfd_vma size;
61
62 if (is_default_attr (attr))
63 return 0;
64
65 size = uleb128_size (tag);
66 if (ATTR_TYPE_HAS_INT_VAL (attr->type))
67 size += uleb128_size (attr->i);
68 if (ATTR_TYPE_HAS_STR_VAL (attr->type))
69 size += strlen ((char *)attr->s) + 1;
70 return size;
71 }
72
73 /* Return the vendor name for a given object attributes section. */
74 static const char *
75 vendor_obj_attr_name (bfd *abfd, int vendor)
76 {
77 return (vendor == OBJ_ATTR_PROC
78 ? get_elf_backend_data (abfd)->obj_attrs_vendor
79 : "gnu");
80 }
81
82 /* Return the size of the object attributes section for VENDOR
83 (OBJ_ATTR_PROC or OBJ_ATTR_GNU), or 0 if there are no attributes
84 for that vendor to record and the vendor is OBJ_ATTR_GNU. */
85 static bfd_vma
86 vendor_obj_attr_size (bfd *abfd, int vendor)
87 {
88 bfd_vma size;
89 obj_attribute *attr;
90 obj_attribute_list *list;
91 int i;
92 const char *vendor_name = vendor_obj_attr_name (abfd, vendor);
93
94 if (!vendor_name)
95 return 0;
96
97 attr = elf_known_obj_attributes (abfd)[vendor];
98 size = 0;
99 for (i = LEAST_KNOWN_OBJ_ATTRIBUTE; i < NUM_KNOWN_OBJ_ATTRIBUTES; i++)
100 size += obj_attr_size (i, &attr[i]);
101
102 for (list = elf_other_obj_attributes (abfd)[vendor];
103 list;
104 list = list->next)
105 size += obj_attr_size (list->tag, &list->attr);
106
107 /* <size> <vendor_name> NUL 0x1 <size> */
108 return ((size || vendor == OBJ_ATTR_PROC)
109 ? size + 10 + strlen (vendor_name)
110 : 0);
111 }
112
113 /* Return the size of the object attributes section. */
114 bfd_vma
115 bfd_elf_obj_attr_size (bfd *abfd)
116 {
117 bfd_vma size;
118
119 size = vendor_obj_attr_size (abfd, OBJ_ATTR_PROC);
120 size += vendor_obj_attr_size (abfd, OBJ_ATTR_GNU);
121
122 /* 'A' <sections for each vendor> */
123 return (size ? size + 1 : 0);
124 }
125
126 /* Write VAL in uleb128 format to P, returning a pointer to the
127 following byte. */
128 static bfd_byte *
129 write_uleb128 (bfd_byte *p, unsigned int val)
130 {
131 bfd_byte c;
132 do
133 {
134 c = val & 0x7f;
135 val >>= 7;
136 if (val)
137 c |= 0x80;
138 *(p++) = c;
139 }
140 while (val);
141 return p;
142 }
143
144 /* Write attribute ATTR to butter P, and return a pointer to the following
145 byte. */
146 static bfd_byte *
147 write_obj_attribute (bfd_byte *p, int tag, obj_attribute *attr)
148 {
149 /* Suppress default entries. */
150 if (is_default_attr (attr))
151 return p;
152
153 p = write_uleb128 (p, tag);
154 if (ATTR_TYPE_HAS_INT_VAL (attr->type))
155 p = write_uleb128 (p, attr->i);
156 if (ATTR_TYPE_HAS_STR_VAL (attr->type))
157 {
158 int len;
159
160 len = strlen (attr->s) + 1;
161 memcpy (p, attr->s, len);
162 p += len;
163 }
164
165 return p;
166 }
167
168 /* Write the contents of the object attributes section (length SIZE)
169 for VENDOR to CONTENTS. */
170 static void
171 vendor_set_obj_attr_contents (bfd *abfd, bfd_byte *contents, bfd_vma size,
172 int vendor)
173 {
174 bfd_byte *p;
175 obj_attribute *attr;
176 obj_attribute_list *list;
177 int i;
178 const char *vendor_name = vendor_obj_attr_name (abfd, vendor);
179 size_t vendor_length = strlen (vendor_name) + 1;
180
181 p = contents;
182 bfd_put_32 (abfd, size, p);
183 p += 4;
184 memcpy (p, vendor_name, vendor_length);
185 p += vendor_length;
186 *(p++) = Tag_File;
187 bfd_put_32 (abfd, size - 4 - vendor_length, p);
188 p += 4;
189
190 attr = elf_known_obj_attributes (abfd)[vendor];
191 for (i = LEAST_KNOWN_OBJ_ATTRIBUTE; i < NUM_KNOWN_OBJ_ATTRIBUTES; i++)
192 {
193 int tag = i;
194 if (get_elf_backend_data (abfd)->obj_attrs_order)
195 tag = get_elf_backend_data (abfd)->obj_attrs_order (i);
196 p = write_obj_attribute (p, tag, &attr[tag]);
197 }
198
199 for (list = elf_other_obj_attributes (abfd)[vendor];
200 list;
201 list = list->next)
202 p = write_obj_attribute (p, list->tag, &list->attr);
203 }
204
205 /* Write the contents of the object attributes section to CONTENTS. */
206 void
207 bfd_elf_set_obj_attr_contents (bfd *abfd, bfd_byte *contents, bfd_vma size)
208 {
209 bfd_byte *p;
210 int vendor;
211 bfd_vma my_size;
212
213 p = contents;
214 *(p++) = 'A';
215 my_size = 1;
216 for (vendor = OBJ_ATTR_FIRST; vendor <= OBJ_ATTR_LAST; vendor++)
217 {
218 bfd_vma vendor_size = vendor_obj_attr_size (abfd, vendor);
219 if (vendor_size)
220 vendor_set_obj_attr_contents (abfd, p, vendor_size, vendor);
221 p += vendor_size;
222 my_size += vendor_size;
223 }
224
225 if (size != my_size)
226 abort ();
227 }
228
229 /* Allocate/find an object attribute. */
230 static obj_attribute *
231 elf_new_obj_attr (bfd *abfd, int vendor, int tag)
232 {
233 obj_attribute *attr;
234 obj_attribute_list *list;
235 obj_attribute_list *p;
236 obj_attribute_list **lastp;
237
238
239 if (tag < NUM_KNOWN_OBJ_ATTRIBUTES)
240 {
241 /* Known tags are preallocated. */
242 attr = &elf_known_obj_attributes (abfd)[vendor][tag];
243 }
244 else
245 {
246 /* Create a new tag. */
247 list = (obj_attribute_list *)
248 bfd_alloc (abfd, sizeof (obj_attribute_list));
249 memset (list, 0, sizeof (obj_attribute_list));
250 list->tag = tag;
251 /* Keep the tag list in order. */
252 lastp = &elf_other_obj_attributes (abfd)[vendor];
253 for (p = *lastp; p; p = p->next)
254 {
255 if (tag < p->tag)
256 break;
257 lastp = &p->next;
258 }
259 list->next = *lastp;
260 *lastp = list;
261 attr = &list->attr;
262 }
263
264 return attr;
265 }
266
267 /* Return the value of an integer object attribute. */
268 int
269 bfd_elf_get_obj_attr_int (bfd *abfd, int vendor, int tag)
270 {
271 obj_attribute_list *p;
272
273 if (tag < NUM_KNOWN_OBJ_ATTRIBUTES)
274 {
275 /* Known tags are preallocated. */
276 return elf_known_obj_attributes (abfd)[vendor][tag].i;
277 }
278 else
279 {
280 for (p = elf_other_obj_attributes (abfd)[vendor];
281 p;
282 p = p->next)
283 {
284 if (tag == p->tag)
285 return p->attr.i;
286 if (tag < p->tag)
287 break;
288 }
289 return 0;
290 }
291 }
292
293 /* Add an integer object attribute. */
294 void
295 bfd_elf_add_obj_attr_int (bfd *abfd, int vendor, int tag, unsigned int i)
296 {
297 obj_attribute *attr;
298
299 attr = elf_new_obj_attr (abfd, vendor, tag);
300 attr->type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
301 attr->i = i;
302 }
303
304 /* Duplicate an object attribute string value. */
305 char *
306 _bfd_elf_attr_strdup (bfd *abfd, const char * s)
307 {
308 char * p;
309 int len;
310
311 len = strlen (s) + 1;
312 p = (char *) bfd_alloc (abfd, len);
313 return (char *) memcpy (p, s, len);
314 }
315
316 /* Add a string object attribute. */
317 void
318 bfd_elf_add_obj_attr_string (bfd *abfd, int vendor, int tag, const char *s)
319 {
320 obj_attribute *attr;
321
322 attr = elf_new_obj_attr (abfd, vendor, tag);
323 attr->type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
324 attr->s = _bfd_elf_attr_strdup (abfd, s);
325 }
326
327 /* Add a int+string object attribute. */
328 void
329 bfd_elf_add_obj_attr_int_string (bfd *abfd, int vendor, int tag,
330 unsigned int i, const char *s)
331 {
332 obj_attribute *attr;
333
334 attr = elf_new_obj_attr (abfd, vendor, tag);
335 attr->type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
336 attr->i = i;
337 attr->s = _bfd_elf_attr_strdup (abfd, s);
338 }
339
340 /* Copy the object attributes from IBFD to OBFD. */
341 void
342 _bfd_elf_copy_obj_attributes (bfd *ibfd, bfd *obfd)
343 {
344 obj_attribute *in_attr;
345 obj_attribute *out_attr;
346 obj_attribute_list *list;
347 int i;
348 int vendor;
349
350 if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour
351 || bfd_get_flavour (obfd) != bfd_target_elf_flavour)
352 return;
353
354 for (vendor = OBJ_ATTR_FIRST; vendor <= OBJ_ATTR_LAST; vendor++)
355 {
356 in_attr
357 = &elf_known_obj_attributes (ibfd)[vendor][LEAST_KNOWN_OBJ_ATTRIBUTE];
358 out_attr
359 = &elf_known_obj_attributes (obfd)[vendor][LEAST_KNOWN_OBJ_ATTRIBUTE];
360 for (i = LEAST_KNOWN_OBJ_ATTRIBUTE; i < NUM_KNOWN_OBJ_ATTRIBUTES; i++)
361 {
362 out_attr->type = in_attr->type;
363 out_attr->i = in_attr->i;
364 if (in_attr->s && *in_attr->s)
365 out_attr->s = _bfd_elf_attr_strdup (obfd, in_attr->s);
366 in_attr++;
367 out_attr++;
368 }
369
370 for (list = elf_other_obj_attributes (ibfd)[vendor];
371 list;
372 list = list->next)
373 {
374 in_attr = &list->attr;
375 switch (in_attr->type & (ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL))
376 {
377 case ATTR_TYPE_FLAG_INT_VAL:
378 bfd_elf_add_obj_attr_int (obfd, vendor, list->tag, in_attr->i);
379 break;
380 case ATTR_TYPE_FLAG_STR_VAL:
381 bfd_elf_add_obj_attr_string (obfd, vendor, list->tag,
382 in_attr->s);
383 break;
384 case ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL:
385 bfd_elf_add_obj_attr_int_string (obfd, vendor, list->tag,
386 in_attr->i, in_attr->s);
387 break;
388 default:
389 abort ();
390 }
391 }
392 }
393 }
394
395 /* Determine whether a GNU object attribute tag takes an integer, a
396 string or both. */
397 static int
398 gnu_obj_attrs_arg_type (int tag)
399 {
400 /* Except for Tag_compatibility, for GNU attributes we follow the
401 same rule ARM ones > 32 follow: odd-numbered tags take strings
402 and even-numbered tags take integers. In addition, tag & 2 is
403 nonzero for architecture-independent tags and zero for
404 architecture-dependent ones. */
405 if (tag == Tag_compatibility)
406 return 3;
407 else
408 return (tag & 1) != 0 ? 2 : 1;
409 }
410
411 /* Determine what arguments an attribute tag takes. */
412 int
413 _bfd_elf_obj_attrs_arg_type (bfd *abfd, int vendor, int tag)
414 {
415 switch (vendor)
416 {
417 case OBJ_ATTR_PROC:
418 return get_elf_backend_data (abfd)->obj_attrs_arg_type (tag);
419 break;
420 case OBJ_ATTR_GNU:
421 return gnu_obj_attrs_arg_type (tag);
422 break;
423 default:
424 abort ();
425 }
426 }
427
428 /* Parse an object attributes section. */
429 void
430 _bfd_elf_parse_attributes (bfd *abfd, Elf_Internal_Shdr * hdr)
431 {
432 bfd_byte *contents;
433 bfd_byte *p;
434 bfd_vma len;
435 const char *std_sec;
436
437 contents = (bfd_byte *) bfd_malloc (hdr->sh_size);
438 if (!contents)
439 return;
440 if (!bfd_get_section_contents (abfd, hdr->bfd_section, contents, 0,
441 hdr->sh_size))
442 {
443 free (contents);
444 return;
445 }
446 p = contents;
447 std_sec = get_elf_backend_data (abfd)->obj_attrs_vendor;
448 if (*(p++) == 'A')
449 {
450 len = hdr->sh_size - 1;
451 while (len > 0)
452 {
453 int namelen;
454 bfd_vma section_len;
455 int vendor;
456
457 section_len = bfd_get_32 (abfd, p);
458 p += 4;
459 if (section_len > len)
460 section_len = len;
461 len -= section_len;
462 namelen = strlen ((char *) p) + 1;
463 section_len -= namelen + 4;
464 if (std_sec && strcmp ((char *) p, std_sec) == 0)
465 vendor = OBJ_ATTR_PROC;
466 else if (strcmp ((char *) p, "gnu") == 0)
467 vendor = OBJ_ATTR_GNU;
468 else
469 {
470 /* Other vendor section. Ignore it. */
471 p += namelen + section_len;
472 continue;
473 }
474
475 p += namelen;
476 while (section_len > 0)
477 {
478 int tag;
479 unsigned int n;
480 unsigned int val;
481 bfd_vma subsection_len;
482 bfd_byte *end;
483
484 tag = read_unsigned_leb128 (abfd, p, &n);
485 p += n;
486 subsection_len = bfd_get_32 (abfd, p);
487 p += 4;
488 if (subsection_len > section_len)
489 subsection_len = section_len;
490 section_len -= subsection_len;
491 subsection_len -= n + 4;
492 end = p + subsection_len;
493 switch (tag)
494 {
495 case Tag_File:
496 while (p < end)
497 {
498 int type;
499
500 tag = read_unsigned_leb128 (abfd, p, &n);
501 p += n;
502 type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
503 switch (type & (ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL))
504 {
505 case ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL:
506 val = read_unsigned_leb128 (abfd, p, &n);
507 p += n;
508 bfd_elf_add_obj_attr_int_string (abfd, vendor, tag,
509 val, (char *)p);
510 p += strlen ((char *)p) + 1;
511 break;
512 case ATTR_TYPE_FLAG_STR_VAL:
513 bfd_elf_add_obj_attr_string (abfd, vendor, tag,
514 (char *)p);
515 p += strlen ((char *)p) + 1;
516 break;
517 case ATTR_TYPE_FLAG_INT_VAL:
518 val = read_unsigned_leb128 (abfd, p, &n);
519 p += n;
520 bfd_elf_add_obj_attr_int (abfd, vendor, tag, val);
521 break;
522 default:
523 abort ();
524 }
525 }
526 break;
527 case Tag_Section:
528 case Tag_Symbol:
529 /* Don't have anywhere convenient to attach these.
530 Fall through for now. */
531 default:
532 /* Ignore things we don't kow about. */
533 p += subsection_len;
534 subsection_len = 0;
535 break;
536 }
537 }
538 }
539 }
540 free (contents);
541 }
542
543 /* Merge common object attributes from IBFD into OBFD. Raise an error
544 if there are conflicting attributes. Any processor-specific
545 attributes have already been merged. This must be called from the
546 bfd_elfNN_bfd_merge_private_bfd_data hook for each individual
547 target, along with any target-specific merging. Because there are
548 no common attributes other than Tag_compatibility at present, and
549 non-"gnu" Tag_compatibility is not expected in "gnu" sections, this
550 is not presently called for targets without their own
551 attributes. */
552
553 bfd_boolean
554 _bfd_elf_merge_object_attributes (bfd *ibfd, bfd *obfd)
555 {
556 obj_attribute *in_attr;
557 obj_attribute *out_attr;
558 int vendor;
559
560 /* The only common attribute is currently Tag_compatibility,
561 accepted in both processor and "gnu" sections. */
562 for (vendor = OBJ_ATTR_FIRST; vendor <= OBJ_ATTR_LAST; vendor++)
563 {
564 /* Handle Tag_compatibility. The tags are only compatible if the flags
565 are identical and, if the flags are '1', the strings are identical.
566 If the flags are non-zero, then we can only use the string "gnu". */
567 in_attr = &elf_known_obj_attributes (ibfd)[vendor][Tag_compatibility];
568 out_attr = &elf_known_obj_attributes (obfd)[vendor][Tag_compatibility];
569
570 if (in_attr->i > 0 && strcmp (in_attr->s, "gnu") != 0)
571 {
572 _bfd_error_handler
573 (_("error: %B: Object has vendor-specific contents that "
574 "must be processed by the '%s' toolchain"),
575 ibfd, in_attr->s);
576 return FALSE;
577 }
578
579 if (in_attr->i != out_attr->i
580 || (in_attr->i != 0 && strcmp (in_attr->s, out_attr->s) != 0))
581 {
582 _bfd_error_handler (_("error: %B: Object tag '%d, %s' is "
583 "incompatible with tag '%d, %s'"),
584 ibfd,
585 in_attr->i, in_attr->s ? in_attr->s : "",
586 out_attr->i, out_attr->s ? out_attr->s : "");
587 return FALSE;
588 }
589 }
590
591 return TRUE;
592 }
593
594 /* Merge an unknown processor-specific attribute TAG, within the range
595 of known attributes, from IBFD into OBFD; return TRUE if the link
596 is OK, FALSE if it must fail. */
597
598 bfd_boolean
599 _bfd_elf_merge_unknown_attribute_low (bfd *ibfd, bfd *obfd, int tag)
600 {
601 obj_attribute *in_attr;
602 obj_attribute *out_attr;
603 bfd *err_bfd = NULL;
604 bfd_boolean result = TRUE;
605
606 in_attr = elf_known_obj_attributes_proc (ibfd);
607 out_attr = elf_known_obj_attributes_proc (obfd);
608
609 if (out_attr[tag].i != 0 || out_attr[tag].s != NULL)
610 err_bfd = obfd;
611 else if (in_attr[tag].i != 0 || in_attr[tag].s != NULL)
612 err_bfd = ibfd;
613
614 if (err_bfd != NULL)
615 result
616 = get_elf_backend_data (err_bfd)->obj_attrs_handle_unknown (err_bfd, tag);
617
618 /* Only pass on attributes that match in both inputs. */
619 if (in_attr[tag].i != out_attr[tag].i
620 || (in_attr[tag].s == NULL) != (out_attr[tag].s == NULL)
621 || (in_attr[tag].s != NULL && out_attr[tag].s != NULL
622 && strcmp (in_attr[tag].s, out_attr[tag].s) != 0))
623 {
624 out_attr[tag].i = 0;
625 out_attr[tag].s = NULL;
626 }
627
628 return result;
629 }
630
631 /* Merge the lists of unknown processor-specific attributes, outside
632 the known range, from IBFD into OBFD; return TRUE if the link is
633 OK, FALSE if it must fail. */
634
635 bfd_boolean
636 _bfd_elf_merge_unknown_attribute_list (bfd *ibfd, bfd *obfd)
637 {
638 obj_attribute_list *in_list;
639 obj_attribute_list *out_list;
640 obj_attribute_list **out_listp;
641 bfd_boolean result = TRUE;
642
643 in_list = elf_other_obj_attributes_proc (ibfd);
644 out_listp = &elf_other_obj_attributes_proc (obfd);
645 out_list = *out_listp;
646
647 for (; in_list || out_list; )
648 {
649 bfd *err_bfd = NULL;
650 int err_tag = 0;
651
652 /* The tags for each list are in numerical order. */
653 /* If the tags are equal, then merge. */
654 if (out_list && (!in_list || in_list->tag > out_list->tag))
655 {
656 /* This attribute only exists in obfd. We can't merge, and we don't
657 know what the tag means, so delete it. */
658 err_bfd = obfd;
659 err_tag = out_list->tag;
660 *out_listp = out_list->next;
661 out_list = *out_listp;
662 }
663 else if (in_list && (!out_list || in_list->tag < out_list->tag))
664 {
665 /* This attribute only exists in ibfd. We can't merge, and we don't
666 know what the tag means, so ignore it. */
667 err_bfd = ibfd;
668 err_tag = in_list->tag;
669 in_list = in_list->next;
670 }
671 else /* The tags are equal. */
672 {
673 /* As present, all attributes in the list are unknown, and
674 therefore can't be merged meaningfully. */
675 err_bfd = obfd;
676 err_tag = out_list->tag;
677
678 /* Only pass on attributes that match in both inputs. */
679 if (in_list->attr.i != out_list->attr.i
680 || (in_list->attr.s == NULL) != (out_list->attr.s == NULL)
681 || (in_list->attr.s && out_list->attr.s
682 && strcmp (in_list->attr.s, out_list->attr.s) != 0))
683 {
684 /* No match. Delete the attribute. */
685 *out_listp = out_list->next;
686 out_list = *out_listp;
687 }
688 else
689 {
690 /* Matched. Keep the attribute and move to the next. */
691 out_list = out_list->next;
692 in_list = in_list->next;
693 }
694 }
695
696 if (err_bfd)
697 result = result
698 && get_elf_backend_data (err_bfd)->obj_attrs_handle_unknown (err_bfd,
699 err_tag);
700 }
701
702 return result;
703 }
This page took 0.045518 seconds and 4 git commands to generate.