diff options
author | Cary Coutant <ccoutant@gmail.com> | 2016-03-20 19:15:56 -0700 |
---|---|---|
committer | Cary Coutant <ccoutant@gmail.com> | 2016-03-20 19:17:14 -0700 |
commit | 698400bfb91b3476d98edcb6a4bf5e4abe1c14cc (patch) | |
tree | 08b2a8c9742e5fafdca141f3f6561f9c7c25d0b3 /gold/ehframe.cc | |
parent | a3b6c4db68dbcb24c454e6beaaf1002c1ca9e011 (diff) | |
download | gdb-698400bfb91b3476d98edcb6a4bf5e4abe1c14cc.zip gdb-698400bfb91b3476d98edcb6a4bf5e4abe1c14cc.tar.gz gdb-698400bfb91b3476d98edcb6a4bf5e4abe1c14cc.tar.bz2 |
Fix problem where gold cannot build .eh_frame_hdr from ld -r output.
When running ld -r on objects that have comdat groups, when gold
deduplicates a function in a comdat group, it removes the relocations
from the EH information that referred to the dropped copy of the function.
When running a final link using the result of the -r link, the missing
relocation cause it to fail to recognize the FDE for the dropped
function.
This patch improves gold's FDE scanning to take into account the
possibility that an FDE corresponds to a dropped function, and drops
that FDE as well.
Gnu ld, on the other hand, leaves the relocations in the ld -r output,
but makes them R_NONE with an r_sym field of 0. This was sufficient to
let both linkers recognize the FDE properly.
With this fix, if you do an ld -r with gold, then do the final link with
Gnu ld, the .eh_frame_hdr section will not be generated. To make it work
with Gnu ld, we would have to leave the R_NONE relocations in, but I
think it's better to drop the relocations entirely. I'd hope that if
you're doing a -r link with gold, you'll also do the final link with
gold.
gold/
PR gold/19002
* ehframe.cc (Eh_frame::read_fde): Check for dropped functions.
* testsuite/Makefile.am (eh_test_2): New test.
* testsuite/Makefile.in: Regenerate.
* testsuite/eh_test_2.sh: New test script.
* testsuite/eh_test_a.cc (bar): Make it comdat.
* testsuite/eh_test_b.cc (bar): Add a duplicate copy.
Diffstat (limited to 'gold/ehframe.cc')
-rw-r--r-- | gold/ehframe.cc | 70 |
1 files changed, 60 insertions, 10 deletions
diff --git a/gold/ehframe.cc b/gold/ehframe.cc index 57eb031..e1a1e74 100644 --- a/gold/ehframe.cc +++ b/gold/ehframe.cc @@ -992,13 +992,68 @@ Eh_frame::read_fde(Sized_relobj_file<size, big_endian>* object, return false; Cie* cie = pcie->second; + int pc_size = 0; + switch (cie->fde_encoding() & 7) + { + case elfcpp::DW_EH_PE_udata2: + pc_size = 2; + break; + case elfcpp::DW_EH_PE_udata4: + pc_size = 4; + break; + case elfcpp::DW_EH_PE_udata8: + gold_assert(size == 64); + pc_size = 8; + break; + case elfcpp::DW_EH_PE_absptr: + pc_size = size == 32 ? 4 : 8; + break; + default: + // All other cases were rejected in Eh_frame::read_cie. + gold_unreachable(); + } + // The FDE should start with a reloc to the start of the code which // it describes. if (relocs->advance(pfde - pcontents) > 0) return false; - if (relocs->next_offset() != pfde - pcontents) - return false; + { + // In an object produced by a relocatable link, gold may have + // discarded a COMDAT group in the previous link, but not the + // corresponding FDEs. In that case, gold will have discarded + // the relocations, so the FDE will have a non-relocatable zero + // (regardless of whether the PC encoding is absolute, pc-relative, + // or data-relative) instead of a pointer to the start of the code. + + uint64_t pc_value = 0; + switch (pc_size) + { + case 2: + pc_value = elfcpp::Swap<16, big_endian>::readval(pfde); + break; + case 4: + pc_value = elfcpp::Swap<32, big_endian>::readval(pfde); + break; + case 8: + pc_value = elfcpp::Swap_unaligned<64, big_endian>::readval(pfde); + break; + default: + gold_unreachable(); + } + + if (pc_value == 0) + { + // This FDE applies to a discarded function. We + // can discard this FDE. + object->add_merge_mapping(this, shndx, (pfde - 8) - pcontents, + pfdeend - (pfde - 8), -1); + return true; + } + + // Otherwise, reject the FDE. + return false; + } unsigned int symndx = relocs->next_symndx(); if (symndx == -1U) @@ -1031,23 +1086,18 @@ Eh_frame::read_fde(Sized_relobj_file<size, big_endian>* object, // FDE corresponds to a function that was discarded during optimization // (too late to discard the corresponding FDE). uint64_t address_range = 0; - int pc_size = cie->fde_encoding() & 7; - if (pc_size == elfcpp::DW_EH_PE_absptr) - pc_size = size == 32 ? elfcpp::DW_EH_PE_udata4 : elfcpp::DW_EH_PE_udata8; switch (pc_size) { - case elfcpp::DW_EH_PE_udata2: + case 2: address_range = elfcpp::Swap<16, big_endian>::readval(pfde + 2); break; - case elfcpp::DW_EH_PE_udata4: + case 4: address_range = elfcpp::Swap<32, big_endian>::readval(pfde + 4); break; - case elfcpp::DW_EH_PE_udata8: - gold_assert(size == 64); + case 8: address_range = elfcpp::Swap_unaligned<64, big_endian>::readval(pfde + 8); break; default: - // All other cases were rejected in Eh_frame::read_cie. gold_unreachable(); } |