1 /* ELF attributes support (based on ARM EABI attributes).
2 Copyright (C) 2005-2023 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
));
252 memset (list
, 0, sizeof (obj_attribute_list
));
254 /* Keep the tag list in order. */
255 lastp
= &elf_other_obj_attributes (abfd
)[vendor
];
256 for (p
= *lastp
; p
; p
= p
->next
)
270 /* Return the value of an integer object attribute. */
272 bfd_elf_get_obj_attr_int (bfd
*abfd
, int vendor
, unsigned int tag
)
274 obj_attribute_list
*p
;
276 if (tag
< NUM_KNOWN_OBJ_ATTRIBUTES
)
278 /* Known tags are preallocated. */
279 return elf_known_obj_attributes (abfd
)[vendor
][tag
].i
;
283 for (p
= elf_other_obj_attributes (abfd
)[vendor
];
296 /* Add an integer object attribute. */
298 bfd_elf_add_obj_attr_int (bfd
*abfd
, int vendor
, unsigned int tag
, unsigned int i
)
302 attr
= elf_new_obj_attr (abfd
, vendor
, tag
);
305 attr
->type
= _bfd_elf_obj_attrs_arg_type (abfd
, vendor
, tag
);
311 /* Duplicate an object attribute string value. */
313 elf_attr_strdup (bfd
*abfd
, const char *s
, const char *end
)
319 len
= strnlen (s
, end
- s
);
323 p
= (char *) bfd_alloc (abfd
, len
+ 1);
333 _bfd_elf_attr_strdup (bfd
*abfd
, const char *s
)
335 return elf_attr_strdup (abfd
, s
, NULL
);
338 /* Add a string object attribute. */
339 static obj_attribute
*
340 elf_add_obj_attr_string (bfd
*abfd
, int vendor
, unsigned int tag
,
341 const char *s
, const char *end
)
345 attr
= elf_new_obj_attr (abfd
, vendor
, tag
);
348 attr
->type
= _bfd_elf_obj_attrs_arg_type (abfd
, vendor
, tag
);
349 attr
->s
= elf_attr_strdup (abfd
, s
, end
);
357 bfd_elf_add_obj_attr_string (bfd
*abfd
, int vendor
, unsigned int tag
,
360 return elf_add_obj_attr_string (abfd
, vendor
, tag
, s
, NULL
);
363 /* Add a int+string object attribute. */
364 static obj_attribute
*
365 elf_add_obj_attr_int_string (bfd
*abfd
, int vendor
, unsigned int tag
,
366 unsigned int i
, const char *s
, const char *end
)
370 attr
= elf_new_obj_attr (abfd
, vendor
, tag
);
373 attr
->type
= _bfd_elf_obj_attrs_arg_type (abfd
, vendor
, tag
);
375 attr
->s
= elf_attr_strdup (abfd
, s
, end
);
383 bfd_elf_add_obj_attr_int_string (bfd
*abfd
, int vendor
, unsigned int tag
,
384 unsigned int i
, const char *s
)
386 return elf_add_obj_attr_int_string (abfd
, vendor
, tag
, i
, s
, NULL
);
389 /* Copy the object attributes from IBFD to OBFD. */
391 _bfd_elf_copy_obj_attributes (bfd
*ibfd
, bfd
*obfd
)
393 obj_attribute
*in_attr
;
394 obj_attribute
*out_attr
;
395 obj_attribute_list
*list
;
399 if (bfd_get_flavour (ibfd
) != bfd_target_elf_flavour
400 || bfd_get_flavour (obfd
) != bfd_target_elf_flavour
)
403 for (vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; vendor
++)
406 = &elf_known_obj_attributes (ibfd
)[vendor
][LEAST_KNOWN_OBJ_ATTRIBUTE
];
408 = &elf_known_obj_attributes (obfd
)[vendor
][LEAST_KNOWN_OBJ_ATTRIBUTE
];
409 for (i
= LEAST_KNOWN_OBJ_ATTRIBUTE
; i
< NUM_KNOWN_OBJ_ATTRIBUTES
; i
++)
411 out_attr
->type
= in_attr
->type
;
412 out_attr
->i
= in_attr
->i
;
413 if (in_attr
->s
&& *in_attr
->s
)
415 out_attr
->s
= _bfd_elf_attr_strdup (obfd
, in_attr
->s
);
416 if (out_attr
->s
== NULL
)
417 bfd_perror (_("error adding attribute"));
423 for (list
= elf_other_obj_attributes (ibfd
)[vendor
];
428 in_attr
= &list
->attr
;
429 switch (in_attr
->type
& (ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
))
431 case ATTR_TYPE_FLAG_INT_VAL
:
432 ok
= bfd_elf_add_obj_attr_int (obfd
, vendor
,
433 list
->tag
, in_attr
->i
);
435 case ATTR_TYPE_FLAG_STR_VAL
:
436 ok
= bfd_elf_add_obj_attr_string (obfd
, vendor
, list
->tag
,
439 case ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
:
440 ok
= bfd_elf_add_obj_attr_int_string (obfd
, vendor
, list
->tag
,
441 in_attr
->i
, in_attr
->s
);
447 bfd_perror (_("error adding attribute"));
452 /* Determine whether a GNU object attribute tag takes an integer, a
455 gnu_obj_attrs_arg_type (unsigned int tag
)
457 /* Except for Tag_compatibility, for GNU attributes we follow the
458 same rule ARM ones > 32 follow: odd-numbered tags take strings
459 and even-numbered tags take integers. In addition, tag & 2 is
460 nonzero for architecture-independent tags and zero for
461 architecture-dependent ones. */
462 if (tag
== Tag_compatibility
)
465 return (tag
& 1) != 0 ? 2 : 1;
468 /* Determine what arguments an attribute tag takes. */
470 _bfd_elf_obj_attrs_arg_type (bfd
*abfd
, int vendor
, unsigned int tag
)
475 return get_elf_backend_data (abfd
)->obj_attrs_arg_type (tag
);
478 return gnu_obj_attrs_arg_type (tag
);
485 /* Parse an object attributes section. */
487 _bfd_elf_parse_attributes (bfd
*abfd
, Elf_Internal_Shdr
* hdr
)
495 /* PR 17512: file: 2844a11d. */
496 if (hdr
->sh_size
== 0)
499 filesize
= bfd_get_file_size (abfd
);
500 if (filesize
!= 0 && hdr
->sh_size
> filesize
)
502 /* xgettext:c-format */
503 _bfd_error_handler (_("%pB: error: attribute section '%pA' too big: %#llx"),
504 abfd
, hdr
->bfd_section
, (long long) hdr
->sh_size
);
505 bfd_set_error (bfd_error_invalid_operation
);
509 contents
= (bfd_byte
*) bfd_malloc (hdr
->sh_size
);
512 if (!bfd_get_section_contents (abfd
, hdr
->bfd_section
, contents
, 0,
519 p_end
= p
+ hdr
->sh_size
;
520 std_sec
= get_elf_backend_data (abfd
)->obj_attrs_vendor
;
524 while (p_end
- p
>= 4)
526 size_t len
= p_end
- p
;
531 section_len
= bfd_get_32 (abfd
, p
);
533 if (section_len
== 0)
535 if (section_len
> len
)
537 if (section_len
<= 4)
540 (_("%pB: error: attribute section length too small: %ld"),
541 abfd
, (long) section_len
);
545 namelen
= strnlen ((char *) p
, section_len
) + 1;
546 if (namelen
>= section_len
)
548 if (std_sec
&& strcmp ((char *) p
, std_sec
) == 0)
549 vendor
= OBJ_ATTR_PROC
;
550 else if (strcmp ((char *) p
, "gnu") == 0)
551 vendor
= OBJ_ATTR_GNU
;
554 /* Other vendor section. Ignore it. */
560 section_len
-= namelen
;
561 while (section_len
> 0)
565 size_t subsection_len
;
566 bfd_byte
*end
, *orig_p
;
569 tag
= _bfd_safe_read_leb128 (abfd
, &p
, false, p_end
);
572 subsection_len
= bfd_get_32 (abfd
, p
);
580 if (subsection_len
> section_len
)
581 subsection_len
= section_len
;
582 section_len
-= subsection_len
;
583 end
= orig_p
+ subsection_len
;
594 tag
= _bfd_safe_read_leb128 (abfd
, &p
, false, end
);
595 type
= _bfd_elf_obj_attrs_arg_type (abfd
, vendor
, tag
);
596 switch (type
& (ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
))
598 case ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
:
599 val
= _bfd_safe_read_leb128 (abfd
, &p
, false, end
);
600 ok
= elf_add_obj_attr_int_string (abfd
, vendor
, tag
,
603 p
+= strnlen ((char *) p
, end
- p
);
607 case ATTR_TYPE_FLAG_STR_VAL
:
608 ok
= elf_add_obj_attr_string (abfd
, vendor
, tag
,
611 p
+= strnlen ((char *) p
, end
- p
);
615 case ATTR_TYPE_FLAG_INT_VAL
:
616 val
= _bfd_safe_read_leb128 (abfd
, &p
, false, end
);
617 ok
= bfd_elf_add_obj_attr_int (abfd
, vendor
, tag
, val
);
623 bfd_perror (_("error adding attribute"));
628 /* Don't have anywhere convenient to attach these.
629 Fall through for now. */
631 /* Ignore things we don't know about. */
641 /* Merge common object attributes from IBFD into OBFD. Raise an error
642 if there are conflicting attributes. Any processor-specific
643 attributes have already been merged. This must be called from the
644 bfd_elfNN_bfd_merge_private_bfd_data hook for each individual
645 target, along with any target-specific merging. Because there are
646 no common attributes other than Tag_compatibility at present, and
647 non-"gnu" Tag_compatibility is not expected in "gnu" sections, this
648 is not presently called for targets without their own
652 _bfd_elf_merge_object_attributes (bfd
*ibfd
, struct bfd_link_info
*info
)
654 bfd
*obfd
= info
->output_bfd
;
655 obj_attribute
*in_attr
;
656 obj_attribute
*out_attr
;
659 /* The only common attribute is currently Tag_compatibility,
660 accepted in both processor and "gnu" sections. */
661 for (vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; vendor
++)
663 /* Handle Tag_compatibility. The tags are only compatible if the flags
664 are identical and, if the flags are '1', the strings are identical.
665 If the flags are non-zero, then we can only use the string "gnu". */
666 in_attr
= &elf_known_obj_attributes (ibfd
)[vendor
][Tag_compatibility
];
667 out_attr
= &elf_known_obj_attributes (obfd
)[vendor
][Tag_compatibility
];
669 if (in_attr
->i
> 0 && strcmp (in_attr
->s
, "gnu") != 0)
672 /* xgettext:c-format */
673 (_("error: %pB: object has vendor-specific contents that "
674 "must be processed by the '%s' toolchain"),
679 if (in_attr
->i
!= out_attr
->i
680 || (in_attr
->i
!= 0 && strcmp (in_attr
->s
, out_attr
->s
) != 0))
682 /* xgettext:c-format */
683 _bfd_error_handler (_("error: %pB: object tag '%d, %s' is "
684 "incompatible with tag '%d, %s'"),
686 in_attr
->i
, in_attr
->s
? in_attr
->s
: "",
687 out_attr
->i
, out_attr
->s
? out_attr
->s
: "");
695 /* Merge an unknown processor-specific attribute TAG, within the range
696 of known attributes, from IBFD into OBFD; return TRUE if the link
697 is OK, FALSE if it must fail. */
700 _bfd_elf_merge_unknown_attribute_low (bfd
*ibfd
, bfd
*obfd
, int tag
)
702 obj_attribute
*in_attr
;
703 obj_attribute
*out_attr
;
707 in_attr
= elf_known_obj_attributes_proc (ibfd
);
708 out_attr
= elf_known_obj_attributes_proc (obfd
);
710 if (out_attr
[tag
].i
!= 0 || out_attr
[tag
].s
!= NULL
)
712 else if (in_attr
[tag
].i
!= 0 || in_attr
[tag
].s
!= NULL
)
717 = get_elf_backend_data (err_bfd
)->obj_attrs_handle_unknown (err_bfd
, tag
);
719 /* Only pass on attributes that match in both inputs. */
720 if (in_attr
[tag
].i
!= out_attr
[tag
].i
721 || (in_attr
[tag
].s
== NULL
) != (out_attr
[tag
].s
== NULL
)
722 || (in_attr
[tag
].s
!= NULL
&& out_attr
[tag
].s
!= NULL
723 && strcmp (in_attr
[tag
].s
, out_attr
[tag
].s
) != 0))
726 out_attr
[tag
].s
= NULL
;
732 /* Merge the lists of unknown processor-specific attributes, outside
733 the known range, from IBFD into OBFD; return TRUE if the link is
734 OK, FALSE if it must fail. */
737 _bfd_elf_merge_unknown_attribute_list (bfd
*ibfd
, bfd
*obfd
)
739 obj_attribute_list
*in_list
;
740 obj_attribute_list
*out_list
;
741 obj_attribute_list
**out_listp
;
744 in_list
= elf_other_obj_attributes_proc (ibfd
);
745 out_listp
= &elf_other_obj_attributes_proc (obfd
);
746 out_list
= *out_listp
;
748 for (; in_list
|| out_list
; )
751 unsigned int err_tag
= 0;
753 /* The tags for each list are in numerical order. */
754 /* If the tags are equal, then merge. */
755 if (out_list
&& (!in_list
|| in_list
->tag
> out_list
->tag
))
757 /* This attribute only exists in obfd. We can't merge, and we don't
758 know what the tag means, so delete it. */
760 err_tag
= out_list
->tag
;
761 *out_listp
= out_list
->next
;
762 out_list
= *out_listp
;
764 else if (in_list
&& (!out_list
|| in_list
->tag
< out_list
->tag
))
766 /* This attribute only exists in ibfd. We can't merge, and we don't
767 know what the tag means, so ignore it. */
769 err_tag
= in_list
->tag
;
770 in_list
= in_list
->next
;
772 else /* The tags are equal. */
774 /* As present, all attributes in the list are unknown, and
775 therefore can't be merged meaningfully. */
777 err_tag
= out_list
->tag
;
779 /* Only pass on attributes that match in both inputs. */
780 if (in_list
->attr
.i
!= out_list
->attr
.i
781 || (in_list
->attr
.s
== NULL
) != (out_list
->attr
.s
== NULL
)
782 || (in_list
->attr
.s
&& out_list
->attr
.s
783 && strcmp (in_list
->attr
.s
, out_list
->attr
.s
) != 0))
785 /* No match. Delete the attribute. */
786 *out_listp
= out_list
->next
;
787 out_list
= *out_listp
;
791 /* Matched. Keep the attribute and move to the next. */
792 out_list
= out_list
->next
;
793 in_list
= in_list
->next
;
799 && get_elf_backend_data (err_bfd
)->obj_attrs_handle_unknown (err_bfd
,