From: "Roger Pau Monné" <roger.pau@citrix.com>
To: Andrew Cooper <andrew.cooper3@citrix.com>
Cc: Xen-devel <xen-devel@lists.xenproject.org>,
Jan Beulich <JBeulich@suse.com>, Wei Liu <wl@xen.org>,
Stefano Stabellini <sstabellini@kernel.org>,
Julien Grall <julien@xen.org>,
Volodymyr Babchuk <Volodymyr_Babchuk@epam.com>,
Bertrand Marquis <bertrand.marquis@arm.com>
Subject: Re: [PATCH 3/3] common/spinlock: Drop inline from _spin_lock_cb()
Date: Mon, 9 May 2022 15:53:21 +0200 [thread overview]
Message-ID: <Ynkc0WbLY2be3OKG@Air-de-Roger> (raw)
In-Reply-To: <20220509122409.14184-4-andrew.cooper3@citrix.com>
On Mon, May 09, 2022 at 01:24:09PM +0100, Andrew Cooper wrote:
> This is undefined behaviour, because there is no _spin_lock_cb() in a separate
> translation unit (C11 6.7.4.11).
>
> Moreover, MISRA prohibits this construct because, in the case where it is well
> defined, the compiler is free to use either implementation and nothing
> prevents the two from being different.
From my reading of the spec, using inline defined function with an
extern declaration could allow the function to be (re)defined in the
scope of a different compilation unit, kind of similar to the usage of
the weak attribute?
> This function has external users, so drop the inline.
>
> Spotted by Eclair MISRA scanner.
Like wants a:
Fixes: 462090402a ('spinlock: Introduce spin_lock_cb()')
Thanks, Roger.
next prev parent reply other threads:[~2022-05-09 13:54 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-05-09 12:24 [PATCH 0/3] xen: Trivial MISRA fixes Andrew Cooper
2022-05-09 12:24 ` [PATCH 1/3] x86/p2m.h: Add include guards Andrew Cooper
2022-05-09 12:32 ` Bertrand Marquis
2022-05-09 13:18 ` Roger Pau Monné
2022-05-09 13:23 ` Andrew Cooper
2022-05-17 15:38 ` Jan Beulich
2022-05-17 18:42 ` Roberto Bagnara
2022-05-18 6:26 ` Jan Beulich
2022-05-09 12:24 ` [PATCH 2/3] x86/shadow: Don't use signed bitfield in sh_emulate_ctxt Andrew Cooper
2022-05-09 12:40 ` Bertrand Marquis
2022-05-09 13:19 ` Roger Pau Monné
2022-05-09 12:24 ` [PATCH 3/3] common/spinlock: Drop inline from _spin_lock_cb() Andrew Cooper
2022-05-09 12:34 ` Bertrand Marquis
2022-05-09 13:53 ` Roger Pau Monné [this message]
2022-05-17 15:42 ` Jan Beulich
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=Ynkc0WbLY2be3OKG@Air-de-Roger \
--to=roger.pau@citrix.com \
--cc=JBeulich@suse.com \
--cc=Volodymyr_Babchuk@epam.com \
--cc=andrew.cooper3@citrix.com \
--cc=bertrand.marquis@arm.com \
--cc=julien@xen.org \
--cc=sstabellini@kernel.org \
--cc=wl@xen.org \
--cc=xen-devel@lists.xenproject.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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.