1 /* ELF attributes support (based on ARM EABI attributes).
2 Copyright (C) 2005-2019 Free Software Foundation, Inc.
4 This file is part of BFD, the Binary File Descriptor library.
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.
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.
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. */
23 #include "libiberty.h"
27 /* Return the number of bytes needed by I in uleb128 format. */
29 uleb128_size (unsigned int i)
41 /* Return TRUE if the attribute has the default value (0/""). */
43 is_default_attr (obj_attribute *attr)
45 if (ATTR_TYPE_HAS_ERROR (attr->type))
47 if (ATTR_TYPE_HAS_INT_VAL (attr->type) && attr->i != 0)
49 if (ATTR_TYPE_HAS_STR_VAL (attr->type) && attr->s && *attr->s)
51 if (ATTR_TYPE_HAS_NO_DEFAULT (attr->type))
57 /* Return the size of a single attribute. */
59 obj_attr_size (unsigned int tag, obj_attribute *attr)
63 if (is_default_attr (attr))
66 size = uleb128_size (tag);
67 if (ATTR_TYPE_HAS_INT_VAL (attr->type))
68 size += uleb128_size (attr->i);
69 if (ATTR_TYPE_HAS_STR_VAL (attr->type))
70 size += strlen ((char *)attr->s) + 1;
74 /* Return the vendor name for a given object attributes section. */
76 vendor_obj_attr_name (bfd *abfd, int vendor)
78 return (vendor == OBJ_ATTR_PROC
79 ? get_elf_backend_data (abfd)->obj_attrs_vendor
83 /* Return the size of the object attributes section for VENDOR
84 (OBJ_ATTR_PROC or OBJ_ATTR_GNU), or 0 if there are no attributes
85 for that vendor to record and the vendor is OBJ_ATTR_GNU. */
87 vendor_obj_attr_size (bfd *abfd, int vendor)
91 obj_attribute_list *list;
93 const char *vendor_name = vendor_obj_attr_name (abfd, vendor);
98 attr = elf_known_obj_attributes (abfd)[vendor];
100 for (i = LEAST_KNOWN_OBJ_ATTRIBUTE; i < NUM_KNOWN_OBJ_ATTRIBUTES; i++)
101 size += obj_attr_size (i, &attr[i]);
103 for (list = elf_other_obj_attributes (abfd)[vendor];
106 size += obj_attr_size (list->tag, &list->attr);
108 /* <size> <vendor_name> NUL 0x1 <size> */
110 ? size + 10 + strlen (vendor_name)
114 /* Return the size of the object attributes section. */
116 bfd_elf_obj_attr_size (bfd *abfd)
120 size = vendor_obj_attr_size (abfd, OBJ_ATTR_PROC);
121 size += vendor_obj_attr_size (abfd, OBJ_ATTR_GNU);
123 /* 'A' <sections for each vendor> */
124 return (size ? size + 1 : 0);
127 /* Write VAL in uleb128 format to P, returning a pointer to the
130 write_uleb128 (bfd_byte *p, unsigned int val)
145 /* Write attribute ATTR to butter P, and return a pointer to the following
148 write_obj_attribute (bfd_byte *p, unsigned int tag, obj_attribute *attr)
150 /* Suppress default entries. */
151 if (is_default_attr (attr))
154 p = write_uleb128 (p, tag);
155 if (ATTR_TYPE_HAS_INT_VAL (attr->type))
156 p = write_uleb128 (p, attr->i);
157 if (ATTR_TYPE_HAS_STR_VAL (attr->type))
161 len = strlen (attr->s) + 1;
162 memcpy (p, attr->s, len);
169 /* Write the contents of the object attributes section (length SIZE)
170 for VENDOR to CONTENTS. */
172 vendor_set_obj_attr_contents (bfd *abfd, bfd_byte *contents, bfd_vma size,
177 obj_attribute_list *list;
179 const char *vendor_name = vendor_obj_attr_name (abfd, vendor);
180 size_t vendor_length = strlen (vendor_name) + 1;
183 bfd_put_32 (abfd, size, p);
185 memcpy (p, vendor_name, vendor_length);
188 bfd_put_32 (abfd, size - 4 - vendor_length, p);
191 attr = elf_known_obj_attributes (abfd)[vendor];
192 for (i = LEAST_KNOWN_OBJ_ATTRIBUTE; i < NUM_KNOWN_OBJ_ATTRIBUTES; i++)
194 unsigned int tag = i;
195 if (get_elf_backend_data (abfd)->obj_attrs_order)
196 tag = get_elf_backend_data (abfd)->obj_attrs_order (i);
197 p = write_obj_attribute (p, tag, &attr[tag]);
200 for (list = elf_other_obj_attributes (abfd)[vendor];
203 p = write_obj_attribute (p, list->tag, &list->attr);
206 /* Write the contents of the object attributes section to CONTENTS. */
208 bfd_elf_set_obj_attr_contents (bfd *abfd, bfd_byte *contents, bfd_vma size)
217 for (vendor = OBJ_ATTR_FIRST; vendor <= OBJ_ATTR_LAST; vendor++)
219 bfd_vma vendor_size = vendor_obj_attr_size (abfd, vendor);
221 vendor_set_obj_attr_contents (abfd, p, vendor_size, vendor);
223 my_size += vendor_size;
230 /* Allocate/find an object attribute. */
231 static obj_attribute *
232 elf_new_obj_attr (bfd *abfd, int vendor, unsigned int tag)
235 obj_attribute_list *list;
236 obj_attribute_list *p;
237 obj_attribute_list **lastp;
240 if (tag < NUM_KNOWN_OBJ_ATTRIBUTES)
242 /* Known tags are preallocated. */
243 attr = &elf_known_obj_attributes (abfd)[vendor][tag];
247 /* Create a new tag. */
248 list = (obj_attribute_list *)
249 bfd_alloc (abfd, sizeof (obj_attribute_list));
250 memset (list, 0, sizeof (obj_attribute_list));
252 /* Keep the tag list in order. */
253 lastp = &elf_other_obj_attributes (abfd)[vendor];
254 for (p = *lastp; p; p = p->next)
268 /* Return the value of an integer object attribute. */
270 bfd_elf_get_obj_attr_int (bfd *abfd, int vendor, unsigned int tag)
272 obj_attribute_list *p;
274 if (tag < NUM_KNOWN_OBJ_ATTRIBUTES)
276 /* Known tags are preallocated. */
277 return elf_known_obj_attributes (abfd)[vendor][tag].i;
281 for (p = elf_other_obj_attributes (abfd)[vendor];
294 /* Add an integer object attribute. */
296 bfd_elf_add_obj_attr_int (bfd *abfd, int vendor, unsigned int tag, unsigned int i)
300 attr = elf_new_obj_attr (abfd, vendor, tag);
301 attr->type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
305 /* Duplicate an object attribute string value. */
307 _bfd_elf_attr_strdup (bfd *abfd, const char * s)
312 len = strlen (s) + 1;
313 p = (char *) bfd_alloc (abfd, len);
314 return (char *) memcpy (p, s, len);
317 /* Add a string object attribute. */
319 bfd_elf_add_obj_attr_string (bfd *abfd, int vendor, unsigned int tag, const char *s)
323 attr = elf_new_obj_attr (abfd, vendor, tag);
324 attr->type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
325 attr->s = _bfd_elf_attr_strdup (abfd, s);
328 /* Add a int+string object attribute. */
330 bfd_elf_add_obj_attr_int_string (bfd *abfd, int vendor,
332 unsigned int i, const char *s)
336 attr = elf_new_obj_attr (abfd, vendor, tag);
337 attr->type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
339 attr->s = _bfd_elf_attr_strdup (abfd, s);
342 /* Copy the object attributes from IBFD to OBFD. */
344 _bfd_elf_copy_obj_attributes (bfd *ibfd, bfd *obfd)
346 obj_attribute *in_attr;
347 obj_attribute *out_attr;
348 obj_attribute_list *list;
352 if (bfd_get_flavour (ibfd) != bfd_target_elf_flavour
353 || bfd_get_flavour (obfd) != bfd_target_elf_flavour)
356 for (vendor = OBJ_ATTR_FIRST; vendor <= OBJ_ATTR_LAST; vendor++)
359 = &elf_known_obj_attributes (ibfd)[vendor][LEAST_KNOWN_OBJ_ATTRIBUTE];
361 = &elf_known_obj_attributes (obfd)[vendor][LEAST_KNOWN_OBJ_ATTRIBUTE];
362 for (i = LEAST_KNOWN_OBJ_ATTRIBUTE; i < NUM_KNOWN_OBJ_ATTRIBUTES; i++)
364 out_attr->type = in_attr->type;
365 out_attr->i = in_attr->i;
366 if (in_attr->s && *in_attr->s)
367 out_attr->s = _bfd_elf_attr_strdup (obfd, in_attr->s);
372 for (list = elf_other_obj_attributes (ibfd)[vendor];
376 in_attr = &list->attr;
377 switch (in_attr->type & (ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL))
379 case ATTR_TYPE_FLAG_INT_VAL:
380 bfd_elf_add_obj_attr_int (obfd, vendor, list->tag, in_attr->i);
382 case ATTR_TYPE_FLAG_STR_VAL:
383 bfd_elf_add_obj_attr_string (obfd, vendor, list->tag,
386 case ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL:
387 bfd_elf_add_obj_attr_int_string (obfd, vendor, list->tag,
388 in_attr->i, in_attr->s);
397 /* Determine whether a GNU object attribute tag takes an integer, a
400 gnu_obj_attrs_arg_type (unsigned int tag)
402 /* Except for Tag_compatibility, for GNU attributes we follow the
403 same rule ARM ones > 32 follow: odd-numbered tags take strings
404 and even-numbered tags take integers. In addition, tag & 2 is
405 nonzero for architecture-independent tags and zero for
406 architecture-dependent ones. */
407 if (tag == Tag_compatibility)
410 return (tag & 1) != 0 ? 2 : 1;
413 /* Determine what arguments an attribute tag takes. */
415 _bfd_elf_obj_attrs_arg_type (bfd *abfd, int vendor, unsigned int tag)
420 return get_elf_backend_data (abfd)->obj_attrs_arg_type (tag);
423 return gnu_obj_attrs_arg_type (tag);
430 /* Parse an object attributes section. */
432 _bfd_elf_parse_attributes (bfd *abfd, Elf_Internal_Shdr * hdr)
440 /* PR 17512: file: 2844a11d. */
441 if (hdr->sh_size == 0)
443 if (hdr->sh_size > bfd_get_file_size (abfd))
445 /* xgettext:c-format */
446 _bfd_error_handler (_("%pB: error: attribute section '%pA' too big: %#llx"),
447 abfd, hdr->bfd_section, (long long) hdr->sh_size);
448 bfd_set_error (bfd_error_invalid_operation);
452 contents = (bfd_byte *) bfd_malloc (hdr->sh_size + 1);
455 if (!bfd_get_section_contents (abfd, hdr->bfd_section, contents, 0,
461 /* Ensure that the buffer is NUL terminated. */
462 contents[hdr->sh_size] = 0;
464 p_end = p + hdr->sh_size;
465 std_sec = get_elf_backend_data (abfd)->obj_attrs_vendor;
469 len = hdr->sh_size - 1;
471 while (len > 0 && p < p_end - 4)
477 section_len = bfd_get_32 (abfd, p);
479 if (section_len == 0)
481 if (section_len > len)
484 if (section_len <= 4)
487 (_("%pB: error: attribute section length too small: %" PRId64),
488 abfd, (int64_t) section_len);
492 namelen = strnlen ((char *) p, section_len) + 1;
493 if (namelen == 0 || namelen >= section_len)
495 section_len -= namelen;
496 if (std_sec && strcmp ((char *) p, std_sec) == 0)
497 vendor = OBJ_ATTR_PROC;
498 else if (strcmp ((char *) p, "gnu") == 0)
499 vendor = OBJ_ATTR_GNU;
502 /* Other vendor section. Ignore it. */
503 p += namelen + section_len;
508 while (section_len > 0 && p < p_end)
513 bfd_vma subsection_len;
516 tag = _bfd_safe_read_leb128 (abfd, p, &n, FALSE, p_end);
519 subsection_len = bfd_get_32 (abfd, p);
523 if (subsection_len == 0)
525 if (subsection_len > section_len)
526 subsection_len = section_len;
527 section_len -= subsection_len;
528 subsection_len -= n + 4;
529 end = p + subsection_len;
530 /* PR 17512: file: 0e8c0c90. */
540 tag = _bfd_safe_read_leb128 (abfd, p, &n, FALSE, end);
542 type = _bfd_elf_obj_attrs_arg_type (abfd, vendor, tag);
543 switch (type & (ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL))
545 case ATTR_TYPE_FLAG_INT_VAL | ATTR_TYPE_FLAG_STR_VAL:
546 val = _bfd_safe_read_leb128 (abfd, p, &n, FALSE, end);
548 bfd_elf_add_obj_attr_int_string (abfd, vendor, tag,
550 p += strlen ((char *)p) + 1;
552 case ATTR_TYPE_FLAG_STR_VAL:
553 bfd_elf_add_obj_attr_string (abfd, vendor, tag,
555 p += strlen ((char *)p) + 1;
557 case ATTR_TYPE_FLAG_INT_VAL:
558 val = _bfd_safe_read_leb128 (abfd, p, &n, FALSE, end);
560 bfd_elf_add_obj_attr_int (abfd, vendor, tag, val);
569 /* Don't have anywhere convenient to attach these.
570 Fall through for now. */
572 /* Ignore things we don't kow about. */
583 /* Merge common object attributes from IBFD into OBFD. Raise an error
584 if there are conflicting attributes. Any processor-specific
585 attributes have already been merged. This must be called from the
586 bfd_elfNN_bfd_merge_private_bfd_data hook for each individual
587 target, along with any target-specific merging. Because there are
588 no common attributes other than Tag_compatibility at present, and
589 non-"gnu" Tag_compatibility is not expected in "gnu" sections, this
590 is not presently called for targets without their own
594 _bfd_elf_merge_object_attributes (bfd *ibfd, struct bfd_link_info *info)
596 bfd *obfd = info->output_bfd;
597 obj_attribute *in_attr;
598 obj_attribute *out_attr;
601 /* The only common attribute is currently Tag_compatibility,
602 accepted in both processor and "gnu" sections. */
603 for (vendor = OBJ_ATTR_FIRST; vendor <= OBJ_ATTR_LAST; vendor++)
605 /* Handle Tag_compatibility. The tags are only compatible if the flags
606 are identical and, if the flags are '1', the strings are identical.
607 If the flags are non-zero, then we can only use the string "gnu". */
608 in_attr = &elf_known_obj_attributes (ibfd)[vendor][Tag_compatibility];
609 out_attr = &elf_known_obj_attributes (obfd)[vendor][Tag_compatibility];
611 if (in_attr->i > 0 && strcmp (in_attr->s, "gnu") != 0)
614 /* xgettext:c-format */
615 (_("error: %pB: object has vendor-specific contents that "
616 "must be processed by the '%s' toolchain"),
621 if (in_attr->i != out_attr->i
622 || (in_attr->i != 0 && strcmp (in_attr->s, out_attr->s) != 0))
624 /* xgettext:c-format */
625 _bfd_error_handler (_("error: %pB: object tag '%d, %s' is "
626 "incompatible with tag '%d, %s'"),
628 in_attr->i, in_attr->s ? in_attr->s : "",
629 out_attr->i, out_attr->s ? out_attr->s : "");
637 /* Merge an unknown processor-specific attribute TAG, within the range
638 of known attributes, from IBFD into OBFD; return TRUE if the link
639 is OK, FALSE if it must fail. */
642 _bfd_elf_merge_unknown_attribute_low (bfd *ibfd, bfd *obfd, int tag)
644 obj_attribute *in_attr;
645 obj_attribute *out_attr;
647 bfd_boolean result = TRUE;
649 in_attr = elf_known_obj_attributes_proc (ibfd);
650 out_attr = elf_known_obj_attributes_proc (obfd);
652 if (out_attr[tag].i != 0 || out_attr[tag].s != NULL)
654 else if (in_attr[tag].i != 0 || in_attr[tag].s != NULL)
659 = get_elf_backend_data (err_bfd)->obj_attrs_handle_unknown (err_bfd, tag);
661 /* Only pass on attributes that match in both inputs. */
662 if (in_attr[tag].i != out_attr[tag].i
663 || (in_attr[tag].s == NULL) != (out_attr[tag].s == NULL)
664 || (in_attr[tag].s != NULL && out_attr[tag].s != NULL
665 && strcmp (in_attr[tag].s, out_attr[tag].s) != 0))
668 out_attr[tag].s = NULL;
674 /* Merge the lists of unknown processor-specific attributes, outside
675 the known range, from IBFD into OBFD; return TRUE if the link is
676 OK, FALSE if it must fail. */
679 _bfd_elf_merge_unknown_attribute_list (bfd *ibfd, bfd *obfd)
681 obj_attribute_list *in_list;
682 obj_attribute_list *out_list;
683 obj_attribute_list **out_listp;
684 bfd_boolean result = TRUE;
686 in_list = elf_other_obj_attributes_proc (ibfd);
687 out_listp = &elf_other_obj_attributes_proc (obfd);
688 out_list = *out_listp;
690 for (; in_list || out_list; )
693 unsigned int err_tag = 0;
695 /* The tags for each list are in numerical order. */
696 /* If the tags are equal, then merge. */
697 if (out_list && (!in_list || in_list->tag > out_list->tag))
699 /* This attribute only exists in obfd. We can't merge, and we don't
700 know what the tag means, so delete it. */
702 err_tag = out_list->tag;
703 *out_listp = out_list->next;
704 out_list = *out_listp;
706 else if (in_list && (!out_list || in_list->tag < out_list->tag))
708 /* This attribute only exists in ibfd. We can't merge, and we don't
709 know what the tag means, so ignore it. */
711 err_tag = in_list->tag;
712 in_list = in_list->next;
714 else /* The tags are equal. */
716 /* As present, all attributes in the list are unknown, and
717 therefore can't be merged meaningfully. */
719 err_tag = out_list->tag;
721 /* Only pass on attributes that match in both inputs. */
722 if (in_list->attr.i != out_list->attr.i
723 || (in_list->attr.s == NULL) != (out_list->attr.s == NULL)
724 || (in_list->attr.s && out_list->attr.s
725 && strcmp (in_list->attr.s, out_list->attr.s) != 0))
727 /* No match. Delete the attribute. */
728 *out_listp = out_list->next;
729 out_list = *out_listp;
733 /* Matched. Keep the attribute and move to the next. */
734 out_list = out_list->next;
735 in_list = in_list->next;
741 && get_elf_backend_data (err_bfd)->obj_attrs_handle_unknown (err_bfd,