From patchwork Tue Dec 17 16:42:28 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Florian Weimer X-Patchwork-Id: 36913 Received: (qmail 76180 invoked by alias); 17 Dec 2019 16:42:37 -0000 Mailing-List: contact libc-alpha-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: libc-alpha-owner@sourceware.org Delivered-To: mailing list libc-alpha@sourceware.org Received: (qmail 75375 invoked by uid 89); 17 Dec 2019 16:42:37 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-17.9 required=5.0 tests=AWL, BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, KAM_SHORT, KAM_STOCKGEN autolearn=ham version=3.3.1 spammy=classic X-HELO: us-smtp-delivery-1.mimecast.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1576600953; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=atamaqjWfTQZAjs5JeZkX7yXaHcezvecT+i5mf5GCdM=; b=dwmbBiHTIuxNDQlcPu0Yva+ya77Cspevztf4tFuJ80oUOQpAh//P0UV6Mv71m9Tceh1yDB tX1JdMr21XRtwf4qoIXbhLtG2YZhK4tELvkxFR/6Ij0DASgH/qPboMsBiJ6tX/d5kUsCYv yZeVy5CXPFXTPFH32XQlmTmDhrSN+4s= From: Florian Weimer To: libc-alpha@sourceware.org Subject: Re: [PATCH 1/2] Introduce References: <5f53b8777bfaab2afbc56ecc2a223d7167314e83.1574948858.git.fweimer@redhat.com> Date: Tue, 17 Dec 2019 17:42:28 +0100 In-Reply-To: <5f53b8777bfaab2afbc56ecc2a223d7167314e83.1574948858.git.fweimer@redhat.com> (Florian Weimer's message of "Thu, 28 Nov 2019 14:50:11 +0100") Message-ID: <87pngm6gzv.fsf@oldenburg2.str.redhat.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 Rebased, and dropped the false ChangeLog update. Thanks, Florian 8<------------------------------------------------------------------8< MIPS needs to ignore certain existing symbols during symbol lookup. The old scheme uses the ELF_MACHINE_SYM_NO_MATCH macro, with an inline function, within its own header, with a sysdeps override for MIPS. This allows re-use of the function from another file (without having to include or providing the default definition for ELF_MACHINE_SYM_NO_MATCH). Built with build-many-glibcs.py, with manual verification that sysdeps/mips/elf_machine_sym_no_match.h is picked up on MIPS. Tested on aarch64-linux-gnu, i686-linux-gnu, powerpc64-linux-gnu, s390x-linux-gnu, x86_64-linux-gnu. ----- elf/dl-lookup.c | 10 ++------ elf/elf_machine_sym_no_match.h | 34 ++++++++++++++++++++++++++ sysdeps/mips/dl-machine.h | 15 ------------ sysdeps/mips/elf_machine_sym_no_match.h | 43 +++++++++++++++++++++++++++++++++ 4 files changed, 79 insertions(+), 23 deletions(-) diff --git a/elf/dl-lookup.c b/elf/dl-lookup.c index 759b45a2c9..55e521988e 100644 --- a/elf/dl-lookup.c +++ b/elf/dl-lookup.c @@ -28,18 +28,12 @@ #include #include #include +#include #include -/* Return nonzero if check_match should consider SYM to fail to match a - symbol reference for some machine-specific reason. */ -#ifndef ELF_MACHINE_SYM_NO_MATCH -# define ELF_MACHINE_SYM_NO_MATCH(sym) 0 -#endif - #define VERSTAG(tag) (DT_NUM + DT_THISPROCNUM + DT_VERSIONTAGIDX (tag)) - struct sym_val { const ElfW(Sym) *s; @@ -78,7 +72,7 @@ check_match (const char *const undef_name, if (__glibc_unlikely ((sym->st_value == 0 /* No value. */ && sym->st_shndx != SHN_ABS && stt != STT_TLS) - || ELF_MACHINE_SYM_NO_MATCH (sym) + || elf_machine_sym_no_match (sym) || (type_class & (sym->st_shndx == SHN_UNDEF)))) return NULL; diff --git a/elf/elf_machine_sym_no_match.h b/elf/elf_machine_sym_no_match.h new file mode 100644 index 0000000000..6e299e5ee8 --- /dev/null +++ b/elf/elf_machine_sym_no_match.h @@ -0,0 +1,34 @@ +/* Function to ignore certain symbol matches for machine-specific reasons. + Copyright (C) 2019 Free Software Foundation, Inc. + This file is part of the GNU C Library. + + The GNU C Library is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public + License as published by the Free Software Foundation; either + version 2.1 of the License, or (at your option) any later version. + + The GNU C Library is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Lesser General Public License for more details. + + You should have received a copy of the GNU Lesser General Public + License along with the GNU C Library; if not, see + . */ + +#ifndef _ELF_MACHINE_SYM_NO_MATCH_H +#define _ELF_MACHINE_SYM_NO_MATCH_H + +#include +#include + +/* This can be customized to ignore certain symbols during lookup in + case there are machine-specific rules to disregard some + symbols. */ +static inline bool +elf_machine_sym_no_match (const ElfW(Sym) *sym) +{ + return false; +} + +#endif /* _ELF_MACHINE_SYM_NO_MATCH_H */ diff --git a/sysdeps/mips/dl-machine.h b/sysdeps/mips/dl-machine.h index c036c7a905..b238ab6476 100644 --- a/sysdeps/mips/dl-machine.h +++ b/sysdeps/mips/dl-machine.h @@ -467,21 +467,6 @@ elf_machine_plt_value (struct link_map *map, const ElfW(Rel) *reloc, return value; } -/* The semantics of zero/non-zero values of undefined symbols differs - depending on whether the non-PIC ABI is in use. Under the non-PIC - ABI, a non-zero value indicates that there is an address reference - to the symbol and thus it must always be resolved (except when - resolving a jump slot relocation) to the PLT entry whose address is - provided as the symbol's value; a zero value indicates that this - canonical-address behaviour is not required. Yet under the classic - MIPS psABI, a zero value indicates that there is an address - reference to the function and the dynamic linker must resolve the - symbol immediately upon loading. To avoid conflict, symbols for - which the dynamic linker must assume the non-PIC ABI semantics are - marked with the STO_MIPS_PLT flag. */ -#define ELF_MACHINE_SYM_NO_MATCH(sym) \ - ((sym)->st_shndx == SHN_UNDEF && !((sym)->st_other & STO_MIPS_PLT)) - #endif /* !dl_machine_h */ #ifdef RESOLVE_MAP diff --git a/sysdeps/mips/elf_machine_sym_no_match.h b/sysdeps/mips/elf_machine_sym_no_match.h new file mode 100644 index 0000000000..f2be74caaf --- /dev/null +++ b/sysdeps/mips/elf_machine_sym_no_match.h @@ -0,0 +1,43 @@ +/* MIPS-specific handling of undefined symbols. + Copyright (C) 2008-2019 Free Software Foundation, Inc. + This file is part of the GNU C Library. + + The GNU C Library is free software; you can redistribute it and/or + modify it under the terms of the GNU Lesser General Public + License as published by the Free Software Foundation; either + version 2.1 of the License, or (at your option) any later version. + + The GNU C Library is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + Lesser General Public License for more details. + + You should have received a copy of the GNU Lesser General Public + License along with the GNU C Library; if not, see + . */ + +#ifndef _ELF_MACHINE_SYM_NO_MATCH_H +#define _ELF_MACHINE_SYM_NO_MATCH_H + +#include +#include + +/* The semantics of zero/non-zero values of undefined symbols differs + depending on whether the non-PIC ABI is in use. Under the non-PIC + ABI, a non-zero value indicates that there is an address reference + to the symbol and thus it must always be resolved (except when + resolving a jump slot relocation) to the PLT entry whose address is + provided as the symbol's value; a zero value indicates that this + canonical-address behaviour is not required. Yet under the classic + MIPS psABI, a zero value indicates that there is an address + reference to the function and the dynamic linker must resolve the + symbol immediately upon loading. To avoid conflict, symbols for + which the dynamic linker must assume the non-PIC ABI semantics are + marked with the STO_MIPS_PLT flag. */ +static inline bool +elf_machine_sym_no_match (const ElfW(Sym) *sym) +{ + return sym->st_shndx == SHN_UNDEF && !(sym->st_other & STO_MIPS_PLT); +} + +#endif /* _ELF_MACHINE_SYM_NO_MATCH_H */