mbox series

[XEN,for-4.19,v2,0/3] address remaining violations of Rule 20.12

Message ID cover.1717790683.git.nicola.vetrini@bugseng.com (mailing list archive)
Headers show
Series address remaining violations of Rule 20.12 | expand

Message

Nicola Vetrini June 7, 2024, 8:13 p.m. UTC 
This series addresses the remaining violations of Rule 20.12, and
consequently sets the rule (and others) as clean to enable the gating.

Patches 1 and 2 are retained from the previous version, while patch 3
was sent standalone and now merged in this series, as it depends
on the previous two patches.

Nicola Vetrini (3):
  x86/domain: deviate violation of MISRA C Rule 20.12
  automation/eclair_analysis: address remaining violations of MISRA C
    Rule 20.12
  automation/eclair_analysis: add more clean MISRA guidelines

 automation/eclair_analysis/ECLAIR/deviations.ecl | 6 ++++++
 automation/eclair_analysis/ECLAIR/tagging.ecl    | 4 +++-
 docs/misra/safe.json                             | 8 ++++++++
 xen/arch/x86/domain.c                            | 1 +
 xen/arch/x86/domctl.c                            | 1 +
 5 files changed, 19 insertions(+), 1 deletion(-)

--
2.34.1