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.vetr...@bugseng.com/
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)
