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.
Deviating variables needs more care, and is therefore postponed to another 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/mm.c | 1 +
xen/arch/x86/setup.c | 2 ++
xen/arch/x86/traps.c | 9 +++++++++
xen/common/efi/boot.c | 5 +++--
13 files changed, 40 insertions(+), 4 deletions(-)
--
2.34.1