[v3] address violations of MISRA C Rule 16.2

[XEN PATCH v3 0/2] address violations of MISRA C Rule 16.2

Nicola Vetrini posted 2 patches 2 weeks ago

Diff against v2
Download series mbox

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

automation/eclair_analysis/ECLAIR/deviations.ecl | 7 +++++++
docs/misra/deviations.rst                        | 6 ++++++
docs/misra/safe.json                             | 8 ++++++++
xen/common/domain.c                              | 1 +
4 files changed, 22 insertions(+)

Expand all Fold all

[XEN PATCH v3 0/2] address violations of MISRA C Rule 16.2

Posted by Nicola Vetrini 2 weeks ago

A respin of the last two patches from the previous series.
No changes other than the different SAF comment id because SAF-4-safe was
already taken.

Nicola Vetrini (2):
  xen/domctl: address violations of MISRA C Rule 16.2
  eclair_analysis: deviate x86 emulator for Rule 16.2

 automation/eclair_analysis/ECLAIR/deviations.ecl | 7 +++++++
 docs/misra/deviations.rst                        | 6 ++++++
 docs/misra/safe.json                             | 8 ++++++++
 xen/common/domain.c                              | 1 +
 4 files changed, 22 insertions(+)

-- 
2.34.1