Mailing List Archive

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(-)

--
2.34.1