[PATCH] ld: Check for ELF input before accessing ELF section data

Alan Modra amodra@gmail.com
Wed Jan 13 22:25:32 GMT 2021


On Wed, Jan 13, 2021 at 06:41:19AM -0800, H.J. Lu wrote:
> This caused:
> 
> FAIL: Build pe-x86-64-1
> FAIL: Build pe-x86-64-2
> FAIL: Build pe-x86-64-3
> FAIL: Build pe-x86-64-4

Huh, I wasn't lucky enough to see these.

> on Linux/x86-64.  I am checking this patch to fix it.

Thanks.  I think there is another possible fail with mixed inputs,
compare_link_order:
  asection *asec = elf_linked_to_section (ai->is->section);
  asection *bsec = elf_linked_to_section (bi->is->section);

Fix that, and use the accessor for BFD flavour.

	PR 27160
	* ldelfgen.c (compare_link_order): Protect access of ELF section
	data.
	(add_link_order_input_section): Remove redundant NULL check.
	Use bfd_get_flavour.
	(ldelf_map_segments): Use bfd_get_flavour.

diff --git a/ld/ldelfgen.c b/ld/ldelfgen.c
index 47e7a2a68e..df3dae0abe 100644
--- a/ld/ldelfgen.c
+++ b/ld/ldelfgen.c
@@ -79,9 +79,8 @@ add_link_order_input_section (lang_input_section_type *is,
   os_info->isec[os_info->count].idx = os_info->count;
   os_info->count++;
   s = is->section;
-  if (s->owner->xvec->flavour == bfd_target_elf_flavour
+  if (bfd_get_flavour (s->owner) == bfd_target_elf_flavour
       && (s->flags & SEC_LINKER_CREATED) == 0
-      && elf_section_data (s) != NULL
       && elf_linked_to_section (s) != NULL)
     os_info->ordered++;
   return FALSE;
@@ -145,10 +144,15 @@ compare_link_order (const void *a, const void *b)
 {
   const struct os_sections_input *ai = a;
   const struct os_sections_input *bi = b;
-  asection *asec = elf_linked_to_section (ai->is->section);
-  asection *bsec = elf_linked_to_section (bi->is->section);
+  asection *asec = NULL;
+  asection *bsec = NULL;
   bfd_vma apos, bpos;
 
+  if (bfd_get_flavour (ai->is->section->owner) == bfd_target_elf_flavour)
+    asec = elf_linked_to_section (ai->is->section);
+  if (bfd_get_flavour (bi->is->section->owner) == bfd_target_elf_flavour)
+    bsec = elf_linked_to_section (bi->is->section);
+
   /* Place unordered sections before ordered sections.  */
   if (asec == NULL || bsec == NULL)
     {
@@ -257,7 +261,7 @@ ldelf_map_segments (bfd_boolean need_layout)
       lang_relax_sections (need_layout);
       need_layout = FALSE;
 
-      if (link_info.output_bfd->xvec->flavour == bfd_target_elf_flavour)
+      if (bfd_get_flavour (link_info.output_bfd) == bfd_target_elf_flavour)
 	{
 	  lang_output_section_statement_type *os;
 	  if (!done_link_order_scan)
@@ -285,7 +289,7 @@ ldelf_map_segments (bfd_boolean need_layout)
 	    }
 	}
 
-      if (link_info.output_bfd->xvec->flavour == bfd_target_elf_flavour
+      if (bfd_get_flavour (link_info.output_bfd) == bfd_target_elf_flavour
 	  && !bfd_link_relocatable (&link_info))
 	{
 	  bfd_size_type phdr_size;
@@ -319,7 +323,7 @@ ldelf_map_segments (bfd_boolean need_layout)
   if (tries == 0)
     einfo (_("%F%P: looping in map_segments"));
 
-  if (link_info.output_bfd->xvec->flavour == bfd_target_elf_flavour
+  if (bfd_get_flavour (link_info.output_bfd) == bfd_target_elf_flavour
       && lang_phdr_list == NULL)
     {
       /* If we don't have user supplied phdrs, strip zero-sized dynamic


-- 
Alan Modra
Australia Development Lab, IBM


More information about the Binutils mailing list