From nobody Tue Dec 16 12:36:53 2025 Received: from smtp.kernel.org (aws-us-west-2-korg-mail-1.web.codeaurora.org [10.30.226.201]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 5227E270556; Fri, 9 May 2025 20:18:03 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=10.30.226.201 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1746821883; cv=none; b=Y/IAt4+oN/JaI4b6iNjO7U+IEyHpNU9QW5NOqf5T6/XsdbWwXuvwpz2SlUGYKYlkbTDioHieefM85hQN5PRWsmFRa/pGeW3EPSSJ154jU81Q4U8xwcIQAoYd6PIbE0bJv5/Fj4FiWAzrBfOw3voLXeHYr3A/0hX92JIDSwfAkQ0= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1746821883; c=relaxed/simple; bh=EppRrtC+ZsRFBchm5X5je9mHitk+9jFxBuuOOS29glc=; h=From:To:Cc:Subject:Date:Message-ID:In-Reply-To:References: MIME-Version; b=AtGjOH0hqPqhCVFX3yhqEuVyNUV4vdZgvyLEr2GYzHAhpp+O6nCmGqVuZk0CBiyKiq8PLaVQjkWGx4VaLIpp8UdKhJR7/zMZRf9fwb4g0/R9ZHpcW8u+QC/+wC+sCceVsUItpKg8W0nK5uONv+ctwspE0UQgkbfU0zE/vFW/GFs= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b=oBjxN3Mc; arc=none smtp.client-ip=10.30.226.201 Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=kernel.org header.i=@kernel.org header.b="oBjxN3Mc" Received: by smtp.kernel.org (Postfix) with ESMTPSA id 9BD30C4CEEE; Fri, 9 May 2025 20:18:02 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1746821883; bh=EppRrtC+ZsRFBchm5X5je9mHitk+9jFxBuuOOS29glc=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=oBjxN3Mc+RZEy162o3B7h6cBw9+98n80tk70xbvvzeQZQwCcL9OhdI2QET/bjgXKP UzGoOPXae7TsH7JpF22mrTSPWGrgE9fLuKxo7Uw74QBGASgnr0GMa4l6Q61Sc5fszh r1oyaT2QI+HCLv2pxZmDtSC03GlZUPkm1WVUBTgf3IZ99guWy4DqzpRPpxwk/PLi+H jY7Ew8qsudBlHRpGfy2o9x6429IIex8sMCngbGUQAuPxT7zugVgGDNxQ85/BL6NAVI 0F2oIIN0ASVs0TT7DpWgCQKJLVIPQBqbfRZgVv7f7u5A19n4ZSetCLaY5YvVW/P3gS MVi1lH8KiHdFQ== From: Josh Poimboeuf To: x86@kernel.org Cc: linux-kernel@vger.kernel.org, Petr Mladek , Miroslav Benes , Joe Lawrence , live-patching@vger.kernel.org, Song Liu , laokz , Jiri Kosina , Marcos Paulo de Souza , Weinan Liu , Fazla Mehrab , Chen Zhongjin , Puranjay Mohan Subject: [PATCH v2 26/62] objtool: Add section/symbol type helpers Date: Fri, 9 May 2025 13:16:50 -0700 Message-ID: X-Mailer: git-send-email 2.49.0 In-Reply-To: References: Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Add some helper macros to improve readability. Signed-off-by: Josh Poimboeuf --- tools/objtool/arch/x86/special.c | 2 +- tools/objtool/check.c | 58 ++++++++++++------------- tools/objtool/elf.c | 20 ++++----- tools/objtool/include/objtool/elf.h | 66 +++++++++++++++++++++++++++++ tools/objtool/special.c | 4 +- 5 files changed, 108 insertions(+), 42 deletions(-) diff --git a/tools/objtool/arch/x86/special.c b/tools/objtool/arch/x86/spec= ial.c index 06ca4a2659a4..09300761f108 100644 --- a/tools/objtool/arch/x86/special.c +++ b/tools/objtool/arch/x86/special.c @@ -89,7 +89,7 @@ struct reloc *arch_find_switch_table(struct objtool_file = *file, /* look for a relocation which references .rodata */ text_reloc =3D find_reloc_by_dest_range(file->elf, insn->sec, insn->offset, insn->len); - if (!text_reloc || text_reloc->sym->type !=3D STT_SECTION || + if (!text_reloc || !is_sec_sym(text_reloc->sym) || !text_reloc->sym->sec->rodata) return NULL; =20 diff --git a/tools/objtool/check.c b/tools/objtool/check.c index c6884620e49d..d53438865d68 100644 --- a/tools/objtool/check.c +++ b/tools/objtool/check.c @@ -258,7 +258,7 @@ static bool __dead_end_function(struct objtool_file *fi= le, struct symbol *func, if (!func) return false; =20 - if (func->bind =3D=3D STB_GLOBAL || func->bind =3D=3D STB_WEAK) { + if (!is_local_sym(func)) { if (is_rust_noreturn(func)) return true; =20 @@ -267,7 +267,7 @@ static bool __dead_end_function(struct objtool_file *fi= le, struct symbol *func, return true; } =20 - if (func->bind =3D=3D STB_WEAK) + if (is_weak_sym(func)) return false; =20 if (!func->len) @@ -434,7 +434,7 @@ static int decode_instructions(struct objtool_file *fil= e) u8 prev_len =3D 0; u8 idx =3D 0; =20 - if (!(sec->sh.sh_flags & SHF_EXECINSTR)) + if (!is_text_sec(sec)) continue; =20 if (strcmp(sec->name, ".altinstr_replacement") && @@ -457,7 +457,7 @@ static int decode_instructions(struct objtool_file *fil= e) if (!strcmp(sec->name, ".init.text") && !opts.module) sec->init =3D true; =20 - for (offset =3D 0; offset < sec->sh.sh_size; offset +=3D insn->len) { + for (offset =3D 0; offset < sec_size(sec); offset +=3D insn->len) { if (!insns || idx =3D=3D INSN_CHUNK_MAX) { insns =3D calloc(INSN_CHUNK_SIZE, sizeof(*insn)); if (!insns) { @@ -477,7 +477,7 @@ static int decode_instructions(struct objtool_file *fil= e) insn->prev_len =3D prev_len; =20 ret =3D arch_decode_instruction(file, sec, offset, - sec->sh.sh_size - offset, + sec_size(sec) - offset, insn); if (ret) return ret; @@ -497,12 +497,12 @@ static int decode_instructions(struct objtool_file *f= ile) } =20 sec_for_each_sym(sec, func) { - if (func->type !=3D STT_NOTYPE && func->type !=3D STT_FUNC) + if (!is_notype_sym(func) && !is_func_sym(func)) continue; =20 - if (func->offset =3D=3D sec->sh.sh_size) { + if (func->offset =3D=3D sec_size(sec)) { /* Heuristic: likely an "end" symbol */ - if (func->type =3D=3D STT_NOTYPE) + if (is_notype_sym(func)) continue; ERROR("%s(): STT_FUNC at end of section", func->name); return -1; @@ -518,7 +518,7 @@ static int decode_instructions(struct objtool_file *fil= e) =20 sym_for_each_insn(file, func, insn) { insn->sym =3D func; - if (func->type =3D=3D STT_FUNC && + if (is_func_sym(func) && insn->type =3D=3D INSN_ENDBR && list_empty(&insn->call_node)) { if (insn->offset =3D=3D func->offset) { @@ -562,7 +562,7 @@ static int add_pv_ops(struct objtool_file *file, const = char *symname) idx =3D (reloc_offset(reloc) - sym->offset) / sizeof(unsigned long); =20 func =3D reloc->sym; - if (func->type =3D=3D STT_SECTION) + if (is_sec_sym(func)) func =3D find_symbol_by_offset(reloc->sym->sec, reloc_addend(reloc)); if (!func) { @@ -825,7 +825,7 @@ static int create_ibt_endbr_seal_sections(struct objtoo= l_file *file) struct symbol *sym =3D insn->sym; *site =3D 0; =20 - if (opts.module && sym && sym->type =3D=3D STT_FUNC && + if (opts.module && sym && is_func_sym(sym) && insn->offset =3D=3D sym->offset && (!strcmp(sym->name, "init_module") || !strcmp(sym->name, "cleanup_module"))) { @@ -860,7 +860,7 @@ static int create_cfi_sections(struct objtool_file *fil= e) =20 idx =3D 0; for_each_sym(file->elf, sym) { - if (sym->type !=3D STT_FUNC) + if (!is_func_sym(sym)) continue; =20 if (strncmp(sym->name, "__cfi_", 6)) @@ -876,7 +876,7 @@ static int create_cfi_sections(struct objtool_file *fil= e) =20 idx =3D 0; for_each_sym(file->elf, sym) { - if (sym->type !=3D STT_FUNC) + if (!is_func_sym(sym)) continue; =20 if (strncmp(sym->name, "__cfi_", 6)) @@ -1465,7 +1465,7 @@ static bool jump_is_sibling_call(struct objtool_file = *file, return false; =20 /* Disallow sibling calls into STT_NOTYPE */ - if (ts->type =3D=3D STT_NOTYPE) + if (is_notype_sym(ts)) return false; =20 /* Must not be self to be a sibling */ @@ -1500,7 +1500,7 @@ static int add_jump_destinations(struct objtool_file = *file) if (!reloc) { dest_sec =3D insn->sec; dest_off =3D arch_jump_destination(insn); - } else if (reloc->sym->type =3D=3D STT_SECTION) { + } else if (is_sec_sym(reloc->sym)) { dest_sec =3D reloc->sym->sec; dest_off =3D arch_insn_adjusted_addend(insn, reloc); } else if (reloc->sym->retpoline_thunk) { @@ -1666,12 +1666,12 @@ static int add_call_destinations(struct objtool_fil= e *file) return -1; } =20 - if (func && insn_call_dest(insn)->type !=3D STT_FUNC) { + if (func && !is_func_sym(insn_call_dest(insn))) { ERROR_INSN(insn, "unsupported call to non-function"); return -1; } =20 - } else if (reloc->sym->type =3D=3D STT_SECTION) { + } else if (is_sec_sym(reloc->sym)) { dest_off =3D arch_insn_adjusted_addend(insn, reloc); dest =3D find_call_destination(reloc->sym->sec, dest_off); if (!dest) { @@ -2166,7 +2166,7 @@ static int add_jump_table_alts(struct objtool_file *f= ile) return 0; =20 for_each_sym(file->elf, func) { - if (func->type !=3D STT_FUNC) + if (!is_func_sym(func)) continue; =20 mark_func_jump_tables(file, func); @@ -2206,14 +2206,14 @@ static int read_unwind_hints(struct objtool_file *f= ile) return -1; } =20 - if (sec->sh.sh_size % sizeof(struct unwind_hint)) { + if (sec_size(sec) % sizeof(struct unwind_hint)) { ERROR("struct unwind_hint size mismatch"); return -1; } =20 file->hints =3D true; =20 - for (i =3D 0; i < sec->sh.sh_size / sizeof(struct unwind_hint); i++) { + for (i =3D 0; i < sec_size(sec) / sizeof(struct unwind_hint); i++) { hint =3D (struct unwind_hint *)sec->data->d_buf + i; =20 reloc =3D find_reloc_by_dest(file->elf, sec, i * sizeof(*hint)); @@ -2222,7 +2222,7 @@ static int read_unwind_hints(struct objtool_file *fil= e) return -1; } =20 - if (reloc->sym->type =3D=3D STT_SECTION) { + if (is_sec_sym(reloc->sym)) { offset =3D reloc_addend(reloc); } else if (reloc->sym->local_label) { offset =3D reloc->sym->offset; @@ -2258,7 +2258,7 @@ static int read_unwind_hints(struct objtool_file *fil= e) if (hint->type =3D=3D UNWIND_HINT_TYPE_REGS_PARTIAL) { struct symbol *sym =3D find_symbol_by_offset(insn->sec, insn->offset); =20 - if (sym && sym->bind =3D=3D STB_GLOBAL) { + if (sym && is_global_sym(sym)) { if (opts.ibt && insn->type !=3D INSN_ENDBR && !insn->noendbr) { ERROR_INSN(insn, "UNWIND_HINT_IRET_REGS without ENDBR"); return -1; @@ -2472,10 +2472,10 @@ static int classify_symbols(struct objtool_file *fi= le) struct symbol *func; =20 for_each_sym(file->elf, func) { - if (func->type =3D=3D STT_NOTYPE && strstarts(func->name, ".L")) + if (is_notype_sym(func) && strstarts(func->name, ".L")) func->local_label =3D true; =20 - if (func->bind !=3D STB_GLOBAL) + if (!is_global_sym(func)) continue; =20 if (!strncmp(func->name, STATIC_CALL_TRAMP_PREFIX_STR, @@ -4179,11 +4179,11 @@ static int add_prefix_symbols(struct objtool_file *= file) struct symbol *func; =20 for_each_sec(file->elf, sec) { - if (!(sec->sh.sh_flags & SHF_EXECINSTR)) + if (!is_text_sec(sec)) continue; =20 sec_for_each_sym(sec, func) { - if (func->type !=3D STT_FUNC) + if (!is_func_sym(func)) continue; =20 add_prefix_symbol(file, func); @@ -4227,7 +4227,7 @@ static int validate_section(struct objtool_file *file= , struct section *sec) int warnings =3D 0; =20 sec_for_each_sym(sec, func) { - if (func->type !=3D STT_FUNC) + if (!is_func_sym(func)) continue; =20 init_insn_state(file, &state, sec); @@ -4271,7 +4271,7 @@ static int validate_functions(struct objtool_file *fi= le) int warnings =3D 0; =20 for_each_sec(file->elf, sec) { - if (!(sec->sh.sh_flags & SHF_EXECINSTR)) + if (!is_text_sec(sec)) continue; =20 warnings +=3D validate_section(file, sec); @@ -4452,7 +4452,7 @@ static int validate_ibt(struct objtool_file *file) for_each_sec(file->elf, sec) { =20 /* Already done by validate_ibt_insn() */ - if (sec->sh.sh_flags & SHF_EXECINSTR) + if (is_text_sec(sec)) continue; =20 if (!sec->rsec) diff --git a/tools/objtool/elf.c b/tools/objtool/elf.c index c27edeed2dd0..d36c0d42fd7b 100644 --- a/tools/objtool/elf.c +++ b/tools/objtool/elf.c @@ -170,7 +170,7 @@ struct symbol *find_symbol_by_offset(struct section *se= c, unsigned long offset) struct symbol *iter; =20 __sym_for_each(iter, tree, offset, offset) { - if (iter->offset =3D=3D offset && iter->type !=3D STT_SECTION) + if (iter->offset =3D=3D offset && !is_sec_sym(iter)) return iter; } =20 @@ -183,7 +183,7 @@ struct symbol *find_func_by_offset(struct section *sec,= unsigned long offset) struct symbol *iter; =20 __sym_for_each(iter, tree, offset, offset) { - if (iter->offset =3D=3D offset && iter->type =3D=3D STT_FUNC) + if (iter->offset =3D=3D offset && is_func_sym(iter)) return iter; } =20 @@ -264,7 +264,7 @@ struct symbol *find_func_containing(struct section *sec= , unsigned long offset) struct symbol *iter; =20 __sym_for_each(iter, tree, offset, offset) { - if (iter->type =3D=3D STT_FUNC) + if (is_func_sym(iter)) return iter; } =20 @@ -373,14 +373,14 @@ static int read_sections(struct elf *elf) return -1; } =20 - if (sec->sh.sh_size !=3D 0 && !is_dwarf_section(sec)) { + if (sec_size(sec) !=3D 0 && !is_dwarf_section(sec)) { sec->data =3D elf_getdata(s, NULL); if (!sec->data) { ERROR_ELF("elf_getdata"); return -1; } if (sec->data->d_off !=3D 0 || - sec->data->d_size !=3D sec->sh.sh_size) { + sec->data->d_size !=3D sec_size(sec)) { ERROR("unexpected data attributes for %s", sec->name); return -1; } @@ -420,7 +420,7 @@ static void elf_add_symbol(struct elf *elf, struct symb= ol *sym) sym->type =3D GELF_ST_TYPE(sym->sym.st_info); sym->bind =3D GELF_ST_BIND(sym->sym.st_info); =20 - if (sym->type =3D=3D STT_FILE) + if (is_file_sym(sym)) elf->num_files++; =20 sym->offset =3D sym->sym.st_value; @@ -527,7 +527,7 @@ static int read_symbols(struct elf *elf) sec_for_each_sym(sec, sym) { char *pname; size_t pnamelen; - if (sym->type !=3D STT_FUNC) + if (!is_func_sym(sym)) continue; =20 if (sym->pfunc =3D=3D NULL) @@ -929,7 +929,7 @@ struct reloc *elf_init_reloc_text_sym(struct elf *elf, = struct section *sec, struct symbol *sym =3D insn_sec->sym; int addend =3D insn_off; =20 - if (!(insn_sec->sh.sh_flags & SHF_EXECINSTR)) { + if (!is_text_sec(insn_sec)) { ERROR("bad call to %s() for data symbol %s", __func__, sym->name); return NULL; } @@ -958,7 +958,7 @@ struct reloc *elf_init_reloc_data_sym(struct elf *elf, = struct section *sec, struct symbol *sym, s64 addend) { - if (sym->sec && (sec->sh.sh_flags & SHF_EXECINSTR)) { + if (is_text_sec(sec)) { ERROR("bad call to %s() for text symbol %s", __func__, sym->name); return NULL; } @@ -1287,7 +1287,7 @@ int elf_write_insn(struct elf *elf, struct section *s= ec, */ static int elf_truncate_section(struct elf *elf, struct section *sec) { - u64 size =3D sec->sh.sh_size; + u64 size =3D sec_size(sec); bool truncated =3D false; Elf_Data *data =3D NULL; Elf_Scn *s; diff --git a/tools/objtool/include/objtool/elf.h b/tools/objtool/include/ob= jtool/elf.h index fcea9338c687..0914dadece0b 100644 --- a/tools/objtool/include/objtool/elf.h +++ b/tools/objtool/include/objtool/elf.h @@ -8,6 +8,7 @@ =20 #include #include +#include #include #include #include @@ -177,11 +178,71 @@ static inline unsigned int elf_text_rela_type(struct = elf *elf) return elf_addr_size(elf) =3D=3D 4 ? R_TEXT32 : R_TEXT64; } =20 +static inline bool sym_has_sec(struct symbol *sym) +{ + return sym->sec->idx; +} + +static inline bool is_null_sym(struct symbol *sym) +{ + return !sym->idx; +} + +static inline bool is_sec_sym(struct symbol *sym) +{ + return sym->type =3D=3D STT_SECTION; +} + +static inline bool is_object_sym(struct symbol *sym) +{ + return sym->type =3D=3D STT_OBJECT; +} + +static inline bool is_func_sym(struct symbol *sym) +{ + return sym->type =3D=3D STT_FUNC; +} + +static inline bool is_file_sym(struct symbol *sym) +{ + return sym->type =3D=3D STT_FILE; +} + +static inline bool is_notype_sym(struct symbol *sym) +{ + return sym->type =3D=3D STT_NOTYPE; +} + +static inline bool is_global_sym(struct symbol *sym) +{ + return sym->bind =3D=3D STB_GLOBAL; +} + +static inline bool is_weak_sym(struct symbol *sym) +{ + return sym->bind =3D=3D STB_WEAK; +} + +static inline bool is_local_sym(struct symbol *sym) +{ + return sym->bind =3D=3D STB_LOCAL; +} + static inline bool is_reloc_sec(struct section *sec) { return sec->sh.sh_type =3D=3D SHT_RELA || sec->sh.sh_type =3D=3D SHT_REL; } =20 +static inline bool is_string_sec(struct section *sec) +{ + return sec->sh.sh_flags & SHF_STRINGS; +} + +static inline bool is_text_sec(struct section *sec) +{ + return sec->sh.sh_flags & SHF_EXECINSTR; +} + static inline bool sec_changed(struct section *sec) { return sec->_changed; @@ -222,6 +283,11 @@ static inline bool is_32bit_reloc(struct reloc *reloc) return reloc->sec->sh.sh_entsize < 16; } =20 +static inline unsigned long sec_size(struct section *sec) +{ + return sec->sh.sh_size; +} + #define __get_reloc_field(reloc, field) \ ({ \ is_32bit_reloc(reloc) ? \ diff --git a/tools/objtool/special.c b/tools/objtool/special.c index c80fed8a840e..9cfdd424e173 100644 --- a/tools/objtool/special.c +++ b/tools/objtool/special.c @@ -142,12 +142,12 @@ int special_get_alts(struct elf *elf, struct list_hea= d *alts) if (!sec) continue; =20 - if (sec->sh.sh_size % entry->size !=3D 0) { + if (sec_size(sec) % entry->size !=3D 0) { ERROR("%s size not a multiple of %d", sec->name, entry->size); return -1; } =20 - nr_entries =3D sec->sh.sh_size / entry->size; + nr_entries =3D sec_size(sec) / entry->size; =20 for (idx =3D 0; idx < nr_entries; idx++) { alt =3D malloc(sizeof(*alt)); --=20 2.49.0