All of lore.kernel.org
 help / color / mirror / Atom feed
From: Nicola Vetrini <nicola.vetrini@bugseng.com>
To: Jan Beulich <jbeulich@suse.com>
Cc: Xen-devel <xen-devel@lists.xenproject.org>,
	Stefano Stabellini <stefano.stabellini@amd.com>,
	Michal Orzel <michal.orzel@amd.com>,
	xenia.ragiadakou@amd.com, Ayan Kumar Halder <ayankuma@amd.com>,
	consulting@bugseng.com, Andrew Cooper <andrew.cooper3@citrix.com>,
	Julien Grall <julien@xen.org>,
	George Dunlap <george.dunlap@citrix.com>, Wei Liu <wl@xen.org>,
	Stefano Stabellini <sstabellini@kernel.org>
Subject: Re: Address MISRA C:2012 Rule 8.4
Date: Fri, 04 Aug 2023 16:09:03 +0200	[thread overview]
Message-ID: <f5443fc1f3e56c79e3149fac42e060ef@bugseng.com> (raw)
In-Reply-To: <95a6d085-cbb9-ecb6-134d-6e4d994bfd35@suse.com>

>> 3. Variables that are either extern or not, such as 'acpi_gbl_FADT' in
>> 'xen/include/acpi/acglobal.h', depending on
>>     DEFINE_ACPI_GLOBALS
>> 
>> Below are the proposed resolution strategies:

> 
>> 3. One possible resolution pattern is including 'acglobal.h' twice
>> (either directly or indirectly trough acpi.h, if
>>     the latter does not cause other issues) like so:
>> 
>>     (assuming DEFINE_ACPI_GLOBALS is undefined here)
>>     #include "acglobal.h"
>>     #define DEFINE_ACPI_GLOBALS
>>     #include  "acglobal.h"
>> 
>>    this way, the rule is followed properly, though it's not the 
>> prettiest
>> pattern and also clashes with the objectives
>>    of D4.10 ("Precautions shall be taken in order to prevent the 
>> contents
>> of a header file being included
>>    more than once"), but then a motivated exception is allowed there.
> 
> Not really sure about this one.
> 
> Jan

If you can tell me more about why that header is defined the way it is 
(i.e. why it's used twice with
DEFINE_ACPI_GLOBALS #defined and the other times without), maybe we can 
come up
with better alternatives.

-- 
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)


  reply	other threads:[~2023-08-04 14:09 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-08-03  9:20 Address MISRA C:2012 Rule 8.4 Nicola Vetrini
2023-08-04  0:35 ` Stefano Stabellini
2023-08-04  9:47   ` Nicola Vetrini
2023-08-04 11:39     ` Jan Beulich
2023-08-04 14:09       ` Nicola Vetrini [this message]
2023-08-07  7:26         ` Jan Beulich
2023-08-04 20:40       ` Stefano Stabellini
2023-08-04 14:00     ` Nicola Vetrini
2023-08-07  7:34       ` Jan Beulich
2023-08-07 10:40         ` Nicola Vetrini

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=f5443fc1f3e56c79e3149fac42e060ef@bugseng.com \
    --to=nicola.vetrini@bugseng.com \
    --cc=andrew.cooper3@citrix.com \
    --cc=ayankuma@amd.com \
    --cc=consulting@bugseng.com \
    --cc=george.dunlap@citrix.com \
    --cc=jbeulich@suse.com \
    --cc=julien@xen.org \
    --cc=michal.orzel@amd.com \
    --cc=sstabellini@kernel.org \
    --cc=stefano.stabellini@amd.com \
    --cc=wl@xen.org \
    --cc=xen-devel@lists.xenproject.org \
    --cc=xenia.ragiadakou@amd.com \
    /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.