mbox series

[XEN,v2,0/9] address violations of MISRA C Rule 16.2

Message ID cover.1712305581.git.nicola.vetrini@bugseng.com (mailing list archive)
Headers show
Series address violations of MISRA C Rule 16.2 | expand

Message

Nicola Vetrini April 5, 2024, 9:14 a.m. UTC 
Continuing the work done in [1], these patches make this rule clean (i.e., no
residual violation of the rule). Some switches are refactored to avoid
interleaving a case label inside an if statement. In some cases this leads to
some duplication, but the files where this would have had the greatest impact
(the x86 emulator files and svm/emulate.c) are deviated, in order to have a
reasonable balance between code changes and deviations.

[1] https://lore.kernel.org/xen-devel/99114c15a4256e6a0f39bd6de232ee4b8ad9b587.1698239734.git.nicola.vetrini@bugseng.com/

Nicola Vetrini (9):
  x86/vlapic: tidy switch statement and address MISRA violation
  x86/cpuid: address violation of MISRA C Rule 16.2
  x86/irq: tidy switch statement and address MISRA violation
  x86/efi: tidy switch statement and address MISRA violation
  xen/domctl: address violations of MISRA C Rule 16.2
  x86/hvm: address violations of MISRA C Rule 16.2
  xen/xsm: address violation of MISRA C Rule 16.2
  xen/domain: deviate MISRA C Rule 16.2 violation
  eclair_analysis: deviate x86 emulator for Rule 16.2

 .../eclair_analysis/ECLAIR/deviations.ecl     |  7 +++++
 docs/misra/deviations.rst                     |  6 ++++
 docs/misra/safe.json                          |  8 +++++
 xen/arch/x86/cpuid.c                          | 31 +++++++++----------
 xen/arch/x86/efi/efi-boot.h                   |  8 +++--
 xen/arch/x86/hvm/hypercall.c                  | 10 +++---
 xen/arch/x86/hvm/vlapic.c                     | 16 ++--------
 xen/arch/x86/irq.c                            |  9 ++----
 xen/common/domain.c                           |  1 +
 xen/common/domctl.c                           |  8 +++--
 xen/include/xsm/dummy.h                       | 12 +++----
 11 files changed, 64 insertions(+), 52 deletions(-)