As stated in 'docs/misra/rules.rst' the community decided to deviate from Rule 8.4
whereby the definitions concern entities that are only used in asm modules.
The chosen deviation mechanism is that of textual deviations, through the use of
/* SAF-n-safe */ comments.
The deviation of variables is postponed to a future patch.
Nicola Vetrini (2):
xen: apply deviation for Rule 8.4 (asm-only definitions)
automation: execute SAF translation before the analysis with ECLAIR
automation/eclair_analysis/prepare.sh | 3 +++
docs/misra/safe.json | 8 ++++++++
xen/arch/arm/cpuerrata.c | 1 +
xen/arch/arm/setup.c | 1 +
xen/arch/arm/smpboot.c | 1 +
xen/arch/arm/traps.c | 7 +++++++
xen/arch/x86/boot/cmdline.c | 1 +
xen/arch/x86/boot/reloc.c | 1 +
xen/arch/x86/extable.c | 4 ++--
xen/arch/x86/setup.c | 1 +
xen/arch/x86/traps.c | 9 +++++++++
xen/common/efi/boot.c | 5 +++--
12 files changed, 38 insertions(+), 4 deletions(-)
--
2.34.1