linux-kernel - Re: [tip:x86/tdx 8/12] vmlinux.o: warning: objtool: __tdx_hypercall+0x128: __tdx_hypercall_failed() is missing a _

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <alpine.LSU.2.20.2309141446000.28991@wotan.suse.de>
Date:   Thu, 14 Sep 2023 14:52:43 +0000 (UTC)
From:   Michael Matz <matz@...e.de>
To:     Peter Zijlstra <peterz@...radead.org>
cc:     Ingo Molnar <mingo@...nel.org>, "Huang, Kai" <kai.huang@...el.com>,
        lkp <lkp@...el.com>,
        "kirill.shutemov@...ux.intel.com" <kirill.shutemov@...ux.intel.com>,
        "linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
        "oe-kbuild-all@...ts.linux.dev" <oe-kbuild-all@...ts.linux.dev>,
        "x86@...nel.org" <x86@...nel.org>,
        "dave.hansen@...ux.intel.com" <dave.hansen@...ux.intel.com>
Subject: Re: [tip:x86/tdx 8/12] vmlinux.o: warning: objtool: __tdx_hypercall+0x128:
 __tdx_hypercall_failed() is missing a __noreturn annotation

Hey,

On Thu, 14 Sep 2023, Peter Zijlstra wrote:

> > > > It appears the __noreturn must be annotated to the function declaration 
> > > > but not the function body.  I'll send out the fix as soon as I confirm 
> > > > the fix with LKP.
> > > 
> > > FWIW, the reason being that...
> > > 
> > > The point of noreturn is that the caller should know to stop generating 
> > > code. For that the declaration needs the attribute, because call sites 
> > > typically do not have access to the function definition in C.
> > 
> > BTW., arguably shouldn't the compiler generate a warning to begin with, 
> > when it encounters a noreturn function definition whose prototype doesn't 
> > have the attribute?
> 
> Yeah, I would agree with that,

That makes sense, yeah.  We actually have a warning -Wmissing-attributes 
that would fit this usecase, but currently doesn't implement this case (it 
only applies to aliases, not to decl vs. def).

> but I think the problem is that gnu
> attributes are all considered 'optional' and do not factor into the
> actual signature.

That actually depends on the attribute :)  Most attributes are like that, 
true, but some aren't optional in that sense as they influence the 
callee-caller contract (e.g. those that change the ABI, like fastcall).  
Those must then be part of the functions type.

'noreturn' is optional in that sense.  But a warning might still be 
warranted.


Ciao,
Michael.