various ECLAIR and MISRA improvements

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

Nicola Vetrini posted 4 patches 5 months, 4 weeks ago

Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/cover.1716814609.git.nicola.vetrini@bugseng.com

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

Expand all Fold all

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

Posted by Nicola Vetrini 5 months, 4 weeks ago

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

-- 
2.34.1