Re: [XEN PATCH v2 for-4.20 0/7] address several violations of MISRA Rule 20.7

[Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>]

On 2024-06-26 15:28, Nicola Vetrini wrote:
> Hi all,
>
> this series addresses several violations of Rule 20.7, as well as a
> small fix to the ECLAIR integration scripts that do not influence
> the current behaviour, but were mistakenly part of the upstream
> configuration.
>
> Note that by applying this series the rule has a few leftover 
> violations.
> Most of those are in x86 code in xen/arch/x86/include/asm/msi.h .
> I did send a patch [1] to deal with those, limited only to addressing 
> the MISRA
> violations, but in the end it was dropped in favour of a more general 
> cleanup of
> the file upon agreement, so this is why those changes are not included 
> here.
> [1] 
> https://lore.kernel.org/xen-devel/2f2c865f20d0296e623f1d65bed25c083f5dd497.1711700095.git.nicola.vetrini@xxxxxxxxxxx/
> Changes in v2:
> - Patch 7 is new to this series
Sorry, this should have been a v3, rather than a v2

> Nicola Vetrini (7):
>   automation/eclair: address violations of MISRA C Rule 20.7
>   xen/self-tests: address violations of MISRA rule 20.7
>   xen/guest_access: address violations of MISRA rule 20.7
>   automation/eclair_analysis: address violations of MISRA C Rule 20.7
>   x86/irq: address violations of MISRA C Rule 20.7
>   automation/eclair_analysis: clean ECLAIR configuration scripts
>   x86/traps: address violations of MISRA C Rule 20.7
>
>  automation/eclair_analysis/ECLAIR/analyze.sh     | 3 +--
>  automation/eclair_analysis/ECLAIR/deviations.ecl | 6 ++++--
>  docs/misra/deviations.rst                        | 3 ++-
>  docs/misra/safe.json                             | 8 ++++++++
>  xen/arch/x86/traps.c                             | 2 +-
>  xen/include/xen/bitmap.h                         | 3 +++
>  xen/include/xen/guest_access.h                   | 4 ++--
>  xen/include/xen/irq.h                            | 2 +-
>  xen/include/xen/self-tests.h                     | 8 ++++----
>  9 files changed, 26 insertions(+), 13 deletions(-)
--
Nicola Vetrini, BSc
Software Engineer, BUGSENG srl (https://bugseng.com)