mbox series

[XEN,0/4] various ECLAIR and MISRA improvements

Message ID cover.1716814609.git.nicola.vetrini@bugseng.com (mailing list archive)
Headers show
Series various ECLAIR and MISRA improvements | expand

Message

Nicola Vetrini May 27, 2024, 2:53 p.m. UTC
Hi all,

this series contains various miscellaneous changes to the ECLAIR and deviations
for MISRA rules

Nicola Vetrini (4):
  docs/misra: exclude gdbsx from MISRA compliance
  automation/eclair_analysis: avoid an ECLAIR warning about escaping
  x86: address violations of MISRA C Rule 8.4
  x86/traps: address violation of MISRA C Rule 8.4

 automation/eclair_analysis/ECLAIR/deviations.ecl | 4 ++--
 docs/misra/exclude-list.json                     | 8 ++++++++
 xen/arch/x86/desc.c                              | 1 +
 xen/arch/x86/mm.c                                | 2 +-
 xen/arch/x86/traps.c                             | 1 +
 5 files changed, 13 insertions(+), 3 deletions(-)