1 /* ELF attributes support (based on ARM EABI attributes).
2 Copyright 2005, 2006, 2007, 2009, 2010
3 Free Software Foundation, Inc.
5 This file is part of BFD, the Binary File Descriptor library.
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.
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.
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. */
24 #include "libiberty.h"
28 /* Return the number of bytes needed by I in uleb128 format. */
30 uleb128_size (unsigned int i
)
42 /* Return TRUE if the attribute has the default value (0/""). */
44 is_default_attr (obj_attribute
*attr
)
46 if (ATTR_TYPE_HAS_INT_VAL (attr
->type
) && attr
->i
!= 0)
48 if (ATTR_TYPE_HAS_STR_VAL (attr
->type
) && attr
->s
&& *attr
->s
)
50 if (ATTR_TYPE_HAS_NO_DEFAULT (attr
->type
))
56 /* Return the size of a single attribute. */
58 obj_attr_size (int tag
, obj_attribute
*attr
)
62 if (is_default_attr (attr
))
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;
73 /* Return the vendor name for a given object attributes section. */
75 vendor_obj_attr_name (bfd
*abfd
, int vendor
)
77 return (vendor
== OBJ_ATTR_PROC
78 ? get_elf_backend_data (abfd
)->obj_attrs_vendor
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. */
86 vendor_obj_attr_size (bfd
*abfd
, int vendor
)
90 obj_attribute_list
*list
;
92 const char *vendor_name
= vendor_obj_attr_name (abfd
, vendor
);
97 attr
= elf_known_obj_attributes (abfd
)[vendor
];
99 for (i
= LEAST_KNOWN_OBJ_ATTRIBUTE
; i
< NUM_KNOWN_OBJ_ATTRIBUTES
; i
++)
100 size
+= obj_attr_size (i
, &attr
[i
]);
102 for (list
= elf_other_obj_attributes (abfd
)[vendor
];
105 size
+= obj_attr_size (list
->tag
, &list
->attr
);
107 /* <size> <vendor_name> NUL 0x1 <size> */
108 return ((size
|| vendor
== OBJ_ATTR_PROC
)
109 ? size
+ 10 + strlen (vendor_name
)
113 /* Return the size of the object attributes section. */
115 bfd_elf_obj_attr_size (bfd
*abfd
)
119 size
= vendor_obj_attr_size (abfd
, OBJ_ATTR_PROC
);
120 size
+= vendor_obj_attr_size (abfd
, OBJ_ATTR_GNU
);
122 /* 'A' <sections for each vendor> */
123 return (size
? size
+ 1 : 0);
126 /* Write VAL in uleb128 format to P, returning a pointer to the
129 write_uleb128 (bfd_byte
*p
, unsigned int val
)
144 /* Write attribute ATTR to butter P, and return a pointer to the following
147 write_obj_attribute (bfd_byte
*p
, int tag
, obj_attribute
*attr
)
149 /* Suppress default entries. */
150 if (is_default_attr (attr
))
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
))
160 len
= strlen (attr
->s
) + 1;
161 memcpy (p
, attr
->s
, len
);
168 /* Write the contents of the object attributes section (length SIZE)
169 for VENDOR to CONTENTS. */
171 vendor_set_obj_attr_contents (bfd
*abfd
, bfd_byte
*contents
, bfd_vma size
,
176 obj_attribute_list
*list
;
178 const char *vendor_name
= vendor_obj_attr_name (abfd
, vendor
);
179 size_t vendor_length
= strlen (vendor_name
) + 1;
182 bfd_put_32 (abfd
, size
, p
);
184 memcpy (p
, vendor_name
, vendor_length
);
187 bfd_put_32 (abfd
, size
- 4 - vendor_length
, p
);
190 attr
= elf_known_obj_attributes (abfd
)[vendor
];
191 for (i
= LEAST_KNOWN_OBJ_ATTRIBUTE
; i
< NUM_KNOWN_OBJ_ATTRIBUTES
; 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
]);
199 for (list
= elf_other_obj_attributes (abfd
)[vendor
];
202 p
= write_obj_attribute (p
, list
->tag
, &list
->attr
);
205 /* Write the contents of the object attributes section to CONTENTS. */
207 bfd_elf_set_obj_attr_contents (bfd
*abfd
, bfd_byte
*contents
, bfd_vma size
)
216 for (vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; vendor
++)
218 bfd_vma vendor_size
= vendor_obj_attr_size (abfd
, vendor
);
220 vendor_set_obj_attr_contents (abfd
, p
, vendor_size
, vendor
);
222 my_size
+= vendor_size
;
229 /* Allocate/find an object attribute. */
230 static obj_attribute
*
231 elf_new_obj_attr (bfd
*abfd
, int vendor
, int tag
)
234 obj_attribute_list
*list
;
235 obj_attribute_list
*p
;
236 obj_attribute_list
**lastp
;
239 if (tag
< NUM_KNOWN_OBJ_ATTRIBUTES
)
241 /* Known tags are preallocated. */
242 attr
= &elf_known_obj_attributes (abfd
)[vendor
][tag
];
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
));
251 /* Keep the tag list in order. */
252 lastp
= &elf_other_obj_attributes (abfd
)[vendor
];
253 for (p
= *lastp
; p
; p
= p
->next
)
267 /* Return the value of an integer object attribute. */
269 bfd_elf_get_obj_attr_int (bfd
*abfd
, int vendor
, int tag
)
271 obj_attribute_list
*p
;
273 if (tag
< NUM_KNOWN_OBJ_ATTRIBUTES
)
275 /* Known tags are preallocated. */
276 return elf_known_obj_attributes (abfd
)[vendor
][tag
].i
;
280 for (p
= elf_other_obj_attributes (abfd
)[vendor
];
293 /* Add an integer object attribute. */
295 bfd_elf_add_obj_attr_int (bfd
*abfd
, int vendor
, int tag
, unsigned int i
)
299 attr
= elf_new_obj_attr (abfd
, vendor
, tag
);
300 attr
->type
= _bfd_elf_obj_attrs_arg_type (abfd
, vendor
, tag
);
304 /* Duplicate an object attribute string value. */
306 _bfd_elf_attr_strdup (bfd
*abfd
, const char * s
)
311 len
= strlen (s
) + 1;
312 p
= (char *) bfd_alloc (abfd
, len
);
313 return (char *) memcpy (p
, s
, len
);
316 /* Add a string object attribute. */
318 bfd_elf_add_obj_attr_string (bfd
*abfd
, int vendor
, int tag
, const char *s
)
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
);
327 /* Add a int+string object attribute. */
329 bfd_elf_add_obj_attr_int_string (bfd
*abfd
, int vendor
, int tag
,
330 unsigned int i
, const char *s
)
334 attr
= elf_new_obj_attr (abfd
, vendor
, tag
);
335 attr
->type
= _bfd_elf_obj_attrs_arg_type (abfd
, vendor
, tag
);
337 attr
->s
= _bfd_elf_attr_strdup (abfd
, s
);
340 /* Copy the object attributes from IBFD to OBFD. */
342 _bfd_elf_copy_obj_attributes (bfd
*ibfd
, bfd
*obfd
)
344 obj_attribute
*in_attr
;
345 obj_attribute
*out_attr
;
346 obj_attribute_list
*list
;
350 for (vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; vendor
++)
353 = &elf_known_obj_attributes (ibfd
)[vendor
][LEAST_KNOWN_OBJ_ATTRIBUTE
];
355 = &elf_known_obj_attributes (obfd
)[vendor
][LEAST_KNOWN_OBJ_ATTRIBUTE
];
356 for (i
= LEAST_KNOWN_OBJ_ATTRIBUTE
; i
< NUM_KNOWN_OBJ_ATTRIBUTES
; i
++)
358 out_attr
->type
= in_attr
->type
;
359 out_attr
->i
= in_attr
->i
;
360 if (in_attr
->s
&& *in_attr
->s
)
361 out_attr
->s
= _bfd_elf_attr_strdup (obfd
, in_attr
->s
);
366 for (list
= elf_other_obj_attributes (ibfd
)[vendor
];
370 in_attr
= &list
->attr
;
371 switch (in_attr
->type
& (ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
))
373 case ATTR_TYPE_FLAG_INT_VAL
:
374 bfd_elf_add_obj_attr_int (obfd
, vendor
, list
->tag
, in_attr
->i
);
376 case ATTR_TYPE_FLAG_STR_VAL
:
377 bfd_elf_add_obj_attr_string (obfd
, vendor
, list
->tag
,
380 case ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
:
381 bfd_elf_add_obj_attr_int_string (obfd
, vendor
, list
->tag
,
382 in_attr
->i
, in_attr
->s
);
391 /* Determine whether a GNU object attribute tag takes an integer, a
394 gnu_obj_attrs_arg_type (int tag
)
396 /* Except for Tag_compatibility, for GNU attributes we follow the
397 same rule ARM ones > 32 follow: odd-numbered tags take strings
398 and even-numbered tags take integers. In addition, tag & 2 is
399 nonzero for architecture-independent tags and zero for
400 architecture-dependent ones. */
401 if (tag
== Tag_compatibility
)
404 return (tag
& 1) != 0 ? 2 : 1;
407 /* Determine what arguments an attribute tag takes. */
409 _bfd_elf_obj_attrs_arg_type (bfd
*abfd
, int vendor
, int tag
)
414 return get_elf_backend_data (abfd
)->obj_attrs_arg_type (tag
);
417 return gnu_obj_attrs_arg_type (tag
);
424 /* Parse an object attributes section. */
426 _bfd_elf_parse_attributes (bfd
*abfd
, Elf_Internal_Shdr
* hdr
)
431 const char *std_section
;
433 contents
= (bfd_byte
*) bfd_malloc (hdr
->sh_size
);
436 if (!bfd_get_section_contents (abfd
, hdr
->bfd_section
, contents
, 0,
443 std_section
= get_elf_backend_data (abfd
)->obj_attrs_vendor
;
446 len
= hdr
->sh_size
- 1;
453 section_len
= bfd_get_32 (abfd
, p
);
455 if (section_len
> len
)
458 namelen
= strlen ((char *)p
) + 1;
459 section_len
-= namelen
+ 4;
460 if (std_section
&& strcmp ((char *)p
, std_section
) == 0)
461 vendor
= OBJ_ATTR_PROC
;
462 else if (strcmp ((char *)p
, "gnu") == 0)
463 vendor
= OBJ_ATTR_GNU
;
466 /* Other vendor section. Ignore it. */
467 p
+= namelen
+ section_len
;
472 while (section_len
> 0)
477 bfd_vma subsection_len
;
480 tag
= read_unsigned_leb128 (abfd
, p
, &n
);
482 subsection_len
= bfd_get_32 (abfd
, p
);
484 if (subsection_len
> section_len
)
485 subsection_len
= section_len
;
486 section_len
-= subsection_len
;
487 subsection_len
-= n
+ 4;
488 end
= p
+ subsection_len
;
496 tag
= read_unsigned_leb128 (abfd
, p
, &n
);
498 type
= _bfd_elf_obj_attrs_arg_type (abfd
, vendor
, tag
);
499 switch (type
& (ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
))
501 case ATTR_TYPE_FLAG_INT_VAL
| ATTR_TYPE_FLAG_STR_VAL
:
502 val
= read_unsigned_leb128 (abfd
, p
, &n
);
504 bfd_elf_add_obj_attr_int_string (abfd
, vendor
, tag
,
506 p
+= strlen ((char *)p
) + 1;
508 case ATTR_TYPE_FLAG_STR_VAL
:
509 bfd_elf_add_obj_attr_string (abfd
, vendor
, tag
,
511 p
+= strlen ((char *)p
) + 1;
513 case ATTR_TYPE_FLAG_INT_VAL
:
514 val
= read_unsigned_leb128 (abfd
, p
, &n
);
516 bfd_elf_add_obj_attr_int (abfd
, vendor
, tag
, val
);
525 /* Don't have anywhere convenient to attach these.
526 Fall through for now. */
528 /* Ignore things we don't kow about. */
539 /* Merge common object attributes from IBFD into OBFD. Raise an error
540 if there are conflicting attributes. Any processor-specific
541 attributes have already been merged. This must be called from the
542 bfd_elfNN_bfd_merge_private_bfd_data hook for each individual
543 target, along with any target-specific merging. Because there are
544 no common attributes other than Tag_compatibility at present, and
545 non-"gnu" Tag_compatibility is not expected in "gnu" sections, this
546 is not presently called for targets without their own
550 _bfd_elf_merge_object_attributes (bfd
*ibfd
, bfd
*obfd
)
552 obj_attribute
*in_attr
;
553 obj_attribute
*out_attr
;
556 /* The only common attribute is currently Tag_compatibility,
557 accepted in both processor and "gnu" sections. */
558 for (vendor
= OBJ_ATTR_FIRST
; vendor
<= OBJ_ATTR_LAST
; vendor
++)
560 /* Handle Tag_compatibility. The tags are only compatible if the flags
561 are identical and, if the flags are '1', the strings are identical.
562 If the flags are non-zero, then we can only use the string "gnu". */
563 in_attr
= &elf_known_obj_attributes (ibfd
)[vendor
][Tag_compatibility
];
564 out_attr
= &elf_known_obj_attributes (obfd
)[vendor
][Tag_compatibility
];
566 if (in_attr
->i
> 0 && strcmp (in_attr
->s
, "gnu") != 0)
569 (_("error: %B: Object has vendor-specific contents that "
570 "must be processed by the '%s' toolchain"),
575 if (in_attr
->i
!= out_attr
->i
576 || (in_attr
->i
!= 0 && strcmp (in_attr
->s
, out_attr
->s
) != 0))
578 _bfd_error_handler (_("error: %B: Object tag '%d, %s' is "
579 "incompatible with tag '%d, %s'"),
581 in_attr
->i
, in_attr
->s
? in_attr
->s
: "",
582 out_attr
->i
, out_attr
->s
? out_attr
->s
: "");
590 /* Merge an unknown processor-specific attribute TAG, within the range
591 of known attributes, from IBFD into OBFD; return TRUE if the link
592 is OK, FALSE if it must fail. */
595 _bfd_elf_merge_unknown_attribute_low (bfd
*ibfd
, bfd
*obfd
, int tag
)
597 obj_attribute
*in_attr
;
598 obj_attribute
*out_attr
;
600 bfd_boolean result
= TRUE
;
602 in_attr
= elf_known_obj_attributes_proc (ibfd
);
603 out_attr
= elf_known_obj_attributes_proc (obfd
);
605 if (out_attr
[tag
].i
!= 0 || out_attr
[tag
].s
!= NULL
)
607 else if (in_attr
[tag
].i
!= 0 || in_attr
[tag
].s
!= NULL
)
612 = get_elf_backend_data (err_bfd
)->obj_attrs_handle_unknown (err_bfd
, tag
);
614 /* Only pass on attributes that match in both inputs. */
615 if (in_attr
[tag
].i
!= out_attr
[tag
].i
616 || (in_attr
[tag
].s
== NULL
) != (out_attr
[tag
].s
== NULL
)
617 || (in_attr
[tag
].s
!= NULL
&& out_attr
[tag
].s
!= NULL
618 && strcmp (in_attr
[tag
].s
, out_attr
[tag
].s
) != 0))
621 out_attr
[tag
].s
= NULL
;
627 /* Merge the lists of unknown processor-specific attributes, outside
628 the known range, from IBFD into OBFD; return TRUE if the link is
629 OK, FALSE if it must fail. */
632 _bfd_elf_merge_unknown_attribute_list (bfd
*ibfd
, bfd
*obfd
)
634 obj_attribute_list
*in_list
;
635 obj_attribute_list
*out_list
;
636 obj_attribute_list
**out_listp
;
637 bfd_boolean result
= TRUE
;
639 in_list
= elf_other_obj_attributes_proc (ibfd
);
640 out_listp
= &elf_other_obj_attributes_proc (obfd
);
641 out_list
= *out_listp
;
643 for (; in_list
|| out_list
; )
648 /* The tags for each list are in numerical order. */
649 /* If the tags are equal, then merge. */
650 if (out_list
&& (!in_list
|| in_list
->tag
> out_list
->tag
))
652 /* This attribute only exists in obfd. We can't merge, and we don't
653 know what the tag means, so delete it. */
655 err_tag
= out_list
->tag
;
656 *out_listp
= out_list
->next
;
657 out_list
= *out_listp
;
659 else if (in_list
&& (!out_list
|| in_list
->tag
< out_list
->tag
))
661 /* This attribute only exists in ibfd. We can't merge, and we don't
662 know what the tag means, so ignore it. */
664 err_tag
= in_list
->tag
;
665 in_list
= in_list
->next
;
667 else /* The tags are equal. */
669 /* As present, all attributes in the list are unknown, and
670 therefore can't be merged meaningfully. */
672 err_tag
= out_list
->tag
;
674 /* Only pass on attributes that match in both inputs. */
675 if (in_list
->attr
.i
!= out_list
->attr
.i
676 || (in_list
->attr
.s
== NULL
) != (out_list
->attr
.s
== NULL
)
677 || (in_list
->attr
.s
&& out_list
->attr
.s
678 && strcmp (in_list
->attr
.s
, out_list
->attr
.s
) != 0))
680 /* No match. Delete the attribute. */
681 *out_listp
= out_list
->next
;
682 out_list
= *out_listp
;
686 /* Matched. Keep the attribute and move to the next. */
687 out_list
= out_list
->next
;
688 in_list
= in_list
->next
;
694 && get_elf_backend_data (err_bfd
)->obj_attrs_handle_unknown (err_bfd
,