From: Thomas Gleixner <tglx@linutronix.de>
To: Kees Cook <kees@kernel.org>
Cc: syzbot <syzbot+5245cb609175fb6e8122@syzkaller.appspotmail.com>,
bp@alien8.de, dave.hansen@linux.intel.com, hpa@zytor.com,
linux-kernel@vger.kernel.org, mingo@redhat.com,
syzkaller-bugs@googlegroups.com, x86@kernel.org,
Linus Torvalds <torvalds@linuxfoundation.org>,
Arnd Bergmann <arnd@arndb.de>
Subject: Re: [syzbot] upstream build error (23)
Date: Wed, 30 Jul 2025 12:44:33 +0200 [thread overview]
Message-ID: <871ppyj6um.ffs@tglx> (raw)
In-Reply-To: <202507291506.1DF23781A2@keescook>
On Tue, Jul 29 2025 at 15:12, Kees Cook wrote:
> On Tue, Jul 29, 2025 at 11:17:41PM +0200, Thomas Gleixner wrote:
>> > The kernel is full of such inline (not __always_inline) stub
>> > conditionals which evaluate to a constant....
>>
>> And chasing all those stubs and convert them to __always_inline seems to
>> be a whack-a-mole game.
>>
>> Can we just stop pretending that GCC12 is KCOV capable?
>
> That's fine by me, but I do think something weirder is happening here.
> Those efi linkages should be entirely DCE'ed?
Of course.
Though it un-inlines the stub function and slaps the sanitizer call into
it, which seems to prevent DCE to drop it:
.type efi_enabled.constprop.0, @function
efi_enabled.constprop.0:
.LASANPC6082:
.LFB6082:
.file 5 "/home/tglx/work/kernel/linus/linux/include/linux/efi.h"
.loc 5 891 20 is_stmt 1 view -0
.cfi_startproc
.LVL13:
.loc 5 893 2 view .LVU43
.loc 5 893 9 is_stmt 0 view .LVU44
call __sanitizer_cov_trace_pc
.LVL14:
.loc 5 894 1 view .LVU45
xorl %eax, %eax
jmp __x86_return_thunk
.cfi_endproc
We had similar issues with function tracing in the past where different
GCC versions decided un-inlining at random places, so we ended up adding
notrace to the inline define.
Adding __no_sanitize_coverage as well is curing it for good.
Thanks,
tglx
---
diff --git a/include/linux/compiler_types.h b/include/linux/compiler_types.h
index 2b77d12e07b2..46f7722039c3 100644
--- a/include/linux/compiler_types.h
+++ b/include/linux/compiler_types.h
@@ -233,7 +233,7 @@ struct ftrace_likely_data {
* of extern inline functions at link time.
* A lot of inline functions can cause havoc with function tracing.
*/
-#define inline inline __gnu_inline __inline_maybe_unused notrace
+#define inline inline __gnu_inline __inline_maybe_unused notrace __no_sanitize_coverage
/*
* gcc provides both __inline__ and __inline as alternate spellings of
prev parent reply other threads:[~2025-07-30 10:44 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-07-29 13:43 [syzbot] upstream build error (23) syzbot
2025-07-29 14:25 ` Borislav Petkov
2025-07-29 14:32 ` Aleksandr Nogikh
2025-07-29 14:48 ` Borislav Petkov
2025-07-29 19:36 ` Thomas Gleixner
2025-07-29 21:17 ` Thomas Gleixner
2025-07-29 21:38 ` Linus Torvalds
2025-07-29 21:52 ` Borislav Petkov
2025-07-29 22:11 ` Linus Torvalds
2025-07-29 22:27 ` Kees Cook
2025-07-29 22:12 ` Kees Cook
2025-07-30 10:44 ` Thomas Gleixner [this message]
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=871ppyj6um.ffs@tglx \
--to=tglx@linutronix.de \
--cc=arnd@arndb.de \
--cc=bp@alien8.de \
--cc=dave.hansen@linux.intel.com \
--cc=hpa@zytor.com \
--cc=kees@kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=mingo@redhat.com \
--cc=syzbot+5245cb609175fb6e8122@syzkaller.appspotmail.com \
--cc=syzkaller-bugs@googlegroups.com \
--cc=torvalds@linuxfoundation.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