From cae64165f47b64898c4f1982d294862cfae89a47 Mon Sep 17 00:00:00 2001 From: Roland McGrath Date: Mon, 15 Jun 2020 11:45:02 -0700 Subject: [PATCH] gold, ld: Implement -z start-stop-visibility=... option. gold/ Implement -z start-stop-visibility=... option. * options.h (class General_options): Handle -z start-stop-visibility=. (General_options::start_stop_visibility_enum): New public method. (General_options::set_start_stop_visibility_enum): New private method. (General_options::start_stop_visibility_enum_): New private member. * options.cc (General_options::General_options): Add initializer. (General_options::finalize): Set this->start_stop_visibility_enum_ from string value. * layout.cc (Layout::define_section_symbols): Use option setting. bfd/ * elflink.c (bfd_elf_define_start_stop): Use start_stop_visibility field of bfd_link_info. include/ * bfdlink.h (struct bfd_link_info): New field start_stop_visibility. ld/ * NEWS: Mention -z start-stop-visibility=... option for ELF. * ld.texi (Options): Document -z start-stop-visibility=... option. * ldmain.c (main): Initialize link_info.start_stop_visibility. * emultempl/elf.em (gld${EMULATION_NAME}_handle_option): Parse -z start-stop-visibility=... option. --- bfd/ChangeLog | 7 ++++++- bfd/elflink.c | 3 ++- gold/ChangeLog | 12 ++++++++++++ gold/layout.cc | 5 +++-- gold/options.cc | 16 +++++++++++++++- gold/options.h | 15 +++++++++++++++ include/ChangeLog | 4 ++++ include/bfdlink.h | 7 +++++-- ld/ChangeLog | 8 ++++++++ ld/NEWS | 3 +++ ld/emultempl/elf.em | 15 +++++++++++++++ ld/ld.texi | 13 +++++++++++++ ld/ldmain.c | 2 ++ 13 files changed, 103 insertions(+), 7 deletions(-) diff --git a/bfd/ChangeLog b/bfd/ChangeLog index 6543260b29..741e96962b 100644 --- a/bfd/ChangeLog +++ b/bfd/ChangeLog @@ -1,3 +1,8 @@ +2020-06-15 Roland McGrath + + * elflink.c (bfd_elf_define_start_stop): Use start_stop_visibility + field of bfd_link_info. + 2020-06-15 Alan Modra * config.bfd: Obsolete powerpcle-*-pe targets. @@ -346,7 +351,7 @@ (aout_link_add_symbols): e517df3dbf7 PR 19629 - Check for out of range string table offsets. 531336e3a0b PR 20909 - Fix off-by-one error in check for an - illegal string offset. + illegal string offset. (aout_link_includes_newfunc): Add comment. (pdp11_aout_link_input_section): ad756e3f9e6 - Return with an error on unexpected relocation type rather than ASSERT. diff --git a/bfd/elflink.c b/bfd/elflink.c index ac00f2984e..14d8d159da 100644 --- a/bfd/elflink.c +++ b/bfd/elflink.c @@ -14837,7 +14837,8 @@ bfd_elf_define_start_stop (struct bfd_link_info *info, else { if (ELF_ST_VISIBILITY (h->other) == STV_DEFAULT) - h->other = (h->other & ~ELF_ST_VISIBILITY (-1)) | STV_PROTECTED; + h->other = ((h->other & ~ELF_ST_VISIBILITY (-1)) + | info->start_stop_visibility); if (was_dynamic) bfd_elf_link_record_dynamic_symbol (info, h); } diff --git a/gold/ChangeLog b/gold/ChangeLog index f3d3715936..1f9c52334b 100644 --- a/gold/ChangeLog +++ b/gold/ChangeLog @@ -1,3 +1,15 @@ +2020-06-15 Roland McGrath + + Implement -z start-stop-visibility=... option. + * options.h (class General_options): Handle -z start-stop-visibility=. + (General_options::start_stop_visibility_enum): New public method. + (General_options::set_start_stop_visibility_enum): New private method. + (General_options::start_stop_visibility_enum_): New private member. + * options.cc (General_options::General_options): Add initializer. + (General_options::finalize): Set this->start_stop_visibility_enum_ + from string value. + * layout.cc (Layout::define_section_symbols): Use option setting. + 2020-06-06 Alan Modra * powerpc.cc: Update throughout for reloc renaming. diff --git a/gold/layout.cc b/gold/layout.cc index be437f3900..b3b0c5701d 100644 --- a/gold/layout.cc +++ b/gold/layout.cc @@ -2474,6 +2474,7 @@ Layout::create_initial_dynamic_sections(Symbol_table* symtab) void Layout::define_section_symbols(Symbol_table* symtab) { + const elfcpp::STV visibility = parameters->options().start_stop_visibility_enum(); for (Section_list::const_iterator p = this->section_list_.begin(); p != this->section_list_.end(); ++p) @@ -2495,7 +2496,7 @@ Layout::define_section_symbols(Symbol_table* symtab) 0, // symsize elfcpp::STT_NOTYPE, elfcpp::STB_GLOBAL, - elfcpp::STV_PROTECTED, + visibility, 0, // nonvis false, // offset_is_from_end true); // only_if_ref @@ -2508,7 +2509,7 @@ Layout::define_section_symbols(Symbol_table* symtab) 0, // symsize elfcpp::STT_NOTYPE, elfcpp::STB_GLOBAL, - elfcpp::STV_PROTECTED, + visibility, 0, // nonvis true, // offset_is_from_end true); // only_if_ref diff --git a/gold/options.cc b/gold/options.cc index 94867b361a..b13ae71ce1 100644 --- a/gold/options.cc +++ b/gold/options.cc @@ -997,7 +997,8 @@ General_options::General_options() fix_v4bx_(FIX_V4BX_NONE), endianness_(ENDIANNESS_NOT_SET), discard_locals_(DISCARD_SEC_MERGE), - orphan_handling_enum_(ORPHAN_PLACE) + orphan_handling_enum_(ORPHAN_PLACE), + start_stop_visibility_enum_(elfcpp::STV_PROTECTED) { // Turn off option registration once construction is complete. gold::options::ready_to_register = false; @@ -1169,6 +1170,19 @@ General_options::finalize() this->set_orphan_handling_enum(ORPHAN_ERROR); } + // Parse the -z start-stop-visibility argument. + if (this->user_set_start_stop_visibility()) + { + if (strcmp(this->start_stop_visibility(), "default") == 0) + this->set_start_stop_visibility_enum(elfcpp::STV_DEFAULT); + else if (strcmp(this->start_stop_visibility(), "internal") == 0) + this->set_start_stop_visibility_enum(elfcpp::STV_INTERNAL); + else if (strcmp(this->start_stop_visibility(), "hidden") == 0) + this->set_start_stop_visibility_enum(elfcpp::STV_HIDDEN); + else if (strcmp(this->start_stop_visibility(), "protected") == 0) + this->set_start_stop_visibility_enum(elfcpp::STV_PROTECTED); + } + // -M is equivalent to "-Map -". if (this->print_map() && !this->user_set_Map()) { diff --git a/gold/options.h b/gold/options.h index b2059d984c..f0e9fbddcd 100644 --- a/gold/options.h +++ b/gold/options.h @@ -1500,6 +1500,11 @@ class General_options N_("Don't mark variables read-only after relocation")); DEFINE_uint64(stack_size, options::DASH_Z, '\0', 0, N_("Set PT_GNU_STACK segment p_memsz to SIZE"), N_("SIZE")); + DEFINE_enum(start_stop_visibility, options::DASH_Z, '\0', "protected", + N_("ELF symbol visibility for synthesized " + "__start_* and __stop_* symbols"), + ("[default,internal,hidden,protected]"), + {"default", "internal", "hidden", "protected"}); DEFINE_bool(text, options::DASH_Z, '\0', false, N_("Do not permit relocations in read-only segments"), N_("Permit relocations in read-only segments")); @@ -1750,6 +1755,10 @@ class General_options orphan_handling_enum() const { return this->orphan_handling_enum_; } + elfcpp::STV + start_stop_visibility_enum() const + { return this->start_stop_visibility_enum_; } + private: // Don't copy this structure. General_options(const General_options&); @@ -1809,6 +1818,10 @@ class General_options set_orphan_handling_enum(Orphan_handling value) { this->orphan_handling_enum_ = value; } + void + set_start_stop_visibility_enum(elfcpp::STV value) + { this->start_stop_visibility_enum_ = value; } + // These are called by finalize() to set up the search-path correctly. void add_to_library_path_with_sysroot(const std::string& arg) @@ -1876,6 +1889,8 @@ class General_options std::vector options_stack_; // Orphan handling option, decoded to an enum value. Orphan_handling orphan_handling_enum_; + // Symbol visibility for __start_* / __stop_* magic symbols. + elfcpp::STV start_stop_visibility_enum_; }; // The position-dependent options. We use this to store the state of diff --git a/include/ChangeLog b/include/ChangeLog index 248866cbc9..f30e5e2a24 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,7 @@ +2020-06-12 Roland McGrath + + * bfdlink.h (struct bfd_link_info): New field start_stop_visibility. + 2020-06-12 Nelson Chu * opcode/riscv-opc.h: Update the defined versions of CSR from diff --git a/include/bfdlink.h b/include/bfdlink.h index 34a0d2ec4e..7163433383 100644 --- a/include/bfdlink.h +++ b/include/bfdlink.h @@ -542,10 +542,10 @@ struct bfd_link_info Normally these optimizations are disabled by default but some targets prefer to enable them by default. So this field is a tri-state variable. The values are: - + zero: Enable the optimizations (either from --relax being specified on the command line or the backend's before_allocation emulation function. - + positive: The user has requested that these optimizations be disabled. (Via the --no-relax command line option). @@ -649,6 +649,9 @@ struct bfd_link_info /* May be used to set DT_FLAGS_1 for ELF. */ bfd_vma flags_1; + /* May be used to set ELF visibility for __start_* / __stop_. */ + unsigned int start_stop_visibility; + /* Start and end of RELRO region. */ bfd_vma relro_start, relro_end; diff --git a/ld/ChangeLog b/ld/ChangeLog index c6de0441d9..6700e727d8 100644 --- a/ld/ChangeLog +++ b/ld/ChangeLog @@ -1,3 +1,11 @@ +2020-06-15 Roland McGrath + + * NEWS: Mention -z start-stop-visibility=... option for ELF. + * ld.texi (Options): Document -z start-stop-visibility=... option. + * ldmain.c (main): Initialize link_info.start_stop_visibility. + * emultempl/elf.em (gld${EMULATION_NAME}_handle_option): + Parse -z start-stop-visibility=... option. + 2020-06-15 Alan Modra * testsuite/ld-scripts/include.exp: Don't load ld-lib.exp. diff --git a/ld/NEWS b/ld/NEWS index 485e1cf5b9..6955937429 100644 --- a/ld/NEWS +++ b/ld/NEWS @@ -25,6 +25,9 @@ searched relative to the directory of the linker script before other search paths. +* Add ELF linker command-line option `-z start-stop-visibility=...' to control + the visibility of synthetic `__start_SECNAME` and `__stop_SECNAME` symbols. + Changes in 2.34: * The ld check for "PHDR segment not covered by LOAD segment" is more diff --git a/ld/emultempl/elf.em b/ld/emultempl/elf.em index c4979eb953..c577e8b2e6 100644 --- a/ld/emultempl/elf.em +++ b/ld/emultempl/elf.em @@ -749,6 +749,21 @@ fragment <