From: Josh Poimboeuf <jpoimboe@kernel.org>
To: x86@kernel.org
Cc: linux-kernel@vger.kernel.org,
Peter Zijlstra <peterz@infradead.org>,
Gary Guo <gary@garyguo.net>,
rust-for-linux@vger.kernel.org, Ard Biesheuvel <ardb@kernel.org>,
Miguel Ojeda <ojeda@kernel.org>,
Nathan Chancellor <nathan@kernel.org>,
Nicolas Schier <nsc@kernel.org>,
linux-kbuild@vger.kernel.org, Huacai Chen <chenhuacai@kernel.org>
Subject: [PATCH v2 16/27] objtool: Detect noreturns in weak functions
Date: Tue, 8 Sep 2026 13:33:28 -0700 [thread overview]
Message-ID: <053a2d4292187e0c38d89e0beee899b948313bc5.1788899473.git.jpoimboe@kernel.org> (raw)
In-Reply-To: <cover.1788899473.git.jpoimboe@kernel.org>
The skipping of weak functions in the noreturn detection logic is a bit
weird, as a function's return/noreturn ABI shouldn't change regardless
of which version gets linked.
Fix that, and update the global noreturns list as needed.
Note that abort() now needs to be added to the list: while objtool on
vmlinux.o can detect that its noreturn, modules have no way of knowing.
Signed-off-by: Josh Poimboeuf <jpoimboe@kernel.org>
---
tools/objtool/check.c | 3 ---
tools/objtool/noreturns.h | 3 +--
2 files changed, 1 insertion(+), 5 deletions(-)
diff --git a/tools/objtool/check.c b/tools/objtool/check.c
index d3b5c372cba4a..35e24151f5785 100644
--- a/tools/objtool/check.c
+++ b/tools/objtool/check.c
@@ -262,9 +262,6 @@ static bool might_return(struct objtool_file *file, struct symbol *func)
struct instruction *insn;
struct symbol *dest;
- if (is_weak_sym(func))
- return true;
-
func_for_each_insn(file, func, insn) {
if (insn->type == INSN_RETURN)
return true;
diff --git a/tools/objtool/noreturns.h b/tools/objtool/noreturns.h
index cd41f580ccb72..26f62f98bc8ef 100644
--- a/tools/objtool/noreturns.h
+++ b/tools/objtool/noreturns.h
@@ -11,15 +11,14 @@ NORETURN(__kunit_abort)
NORETURN(__module_put_and_kthread_exit)
NORETURN(__stack_chk_fail)
NORETURN(__ubsan_handle_builtin_unreachable)
+NORETURN(abort)
NORETURN(acpi_processor_ffh_play_dead)
NORETURN(do_exit)
NORETURN(kthread_complete_and_exit)
NORETURN(kunit_try_catch_throw)
NORETURN(mpt_halt_firmware)
-NORETURN(nmi_panic_self_stop)
NORETURN(panic)
NORETURN(vpanic)
-NORETURN(panic_smp_self_stop)
NORETURN(rewind_stack_and_make_dead)
NORETURN(rust_helper_BUG)
NORETURN(sev_es_terminate)
--
2.55.0
next prev parent reply other threads:[~2026-09-08 20:34 UTC|newest]
Thread overview: 29+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-09-08 20:33 [PATCH v2 00/27] objtool: dynamically detect noreturns Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 01/27] objtool: Remove obsolete noreturns.h entries Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 02/27] kbuild: Add CONFIG_OBJTOOL_DEFERRED Josh Poimboeuf
2026-09-10 19:22 ` Julian Braha
2026-09-08 20:33 ` [PATCH v2 03/27] kbuild: Add CONFIG_OBJTOOL_CONTROL_FLOW Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 04/27] objtool: Fix dead end detection for sibling calls Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 05/27] objtool: Refactor the noreturn/dead-end detection Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 06/27] objtool: Ignore traps after noreturn calls in STT_CODE Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 07/27] objtool: Make .discard.stack_frame_non_standard non-allocatable Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 08/27] efi/libstub: Drop .discard.addressable from the stub objects Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 09/27] efi/loongarch: Mark loongarch efi_boot_kernel() non-standard for objtool Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 10/27] objtool: Add ANNOTATE_IGNORE_NORETURN() Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 11/27] LoongArch: Annotate reboot and kexec paths as returnable Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 12/27] kbuild: Defer running objtool to link time for all CFG features Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 13/27] rust: Annotate the intrinsic stubs as returnable Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 14/27] panic: Mark abort() __noreturn Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 15/27] x86/xen: Ignore noreturn status of weak mem_map_via_hcall() Josh Poimboeuf
2026-09-08 20:33 ` Josh Poimboeuf [this message]
2026-09-08 20:33 ` [PATCH v2 17/27] x86/entry: Make rewind_stack_and_make_dead() a real function Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 18/27] x86/xen: Make xen_cpu_bringup_again() " Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 19/27] x86/xen: Make xen_start_kernel() noreturn Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 20/27] x86/boot: Rework how pi startup symbols get exposed to vmlinux Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 21/27] objtool: Fix noreturn detection for non-sibling jumps to SYM_CODE Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 22/27] objtool: Add options to write/read exported noreturns to/from a file Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 23/27] kbuild: Do the per-module objtool pass right before linking Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 24/27] kbuild: Generate the noreturn list and validate modules against it Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 25/27] objtool: Add ANNOTATE_EXPORTED_NORETURN() Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 26/27] objtool: Annotate all module-exported noreturns and remove noreturns.h Josh Poimboeuf
2026-09-08 20:33 ` [PATCH v2 27/27] objtool: Warn about missing/stale ANNOTATE_EXPORTED_NORETURN() usage Josh Poimboeuf
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=053a2d4292187e0c38d89e0beee899b948313bc5.1788899473.git.jpoimboe@kernel.org \
--to=jpoimboe@kernel.org \
--cc=ardb@kernel.org \
--cc=chenhuacai@kernel.org \
--cc=gary@garyguo.net \
--cc=linux-kbuild@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=nathan@kernel.org \
--cc=nsc@kernel.org \
--cc=ojeda@kernel.org \
--cc=peterz@infradead.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=x86@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox