xen/arch/x86/usercopy.c includes itself, so it is not supposed to
comply with Directive 4.10:
"Precautions shall be taken in order to prevent the contents of a
header file being included more than once"
This patch adds a deviation for the file.
Signed-off-by: Simone Ballarin <simone.balla...@bugseng.com>
---
automation/eclair_analysis/ECLAIR/deviations.ecl | 4 ++++
docs/misra/rules.rst | 2 ++
2 files changed, 6 insertions(+)
diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl
b/automation/eclair_analysis/ECLAIR/deviations.ecl
index 2681a4cff5..a7d4f29b43 100644
--- a/automation/eclair_analysis/ECLAIR/deviations.ecl
+++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
@@ -96,6 +96,10 @@ conform to the directive."
-config=MC3R1.D4.10,reports+={safe, "first_area(text(^ \\* In this case, no
inclusion guards apply and the caller is responsible.*\\*/$, begin-1))"}
-doc_end
+-doc_begin="xen/arch/x86/usercopy.c includes itself: it is not supposed to
comply with the directive"
+-config=MC3R1.D4.10,reports+={deliberate,
"all_area(all_loc(file("^xen/arch/x86/usercopy\\.c$")))"}
+-doc_end
+
#
# Series 5.
#
diff --git a/docs/misra/rules.rst b/docs/misra/rules.rst
index 4b1a7b02b6..45e13d0302 100644
--- a/docs/misra/rules.rst
+++ b/docs/misra/rules.rst
@@ -62,6 +62,8 @@ maintainers if you want to suggest a change.
- Files that are intended to be included more than once do not need to
conform to the directive. Files that explicitly avoid inclusion guards
under specific circumstances do not need to conform the directive.
+ xen/arch/x86/usercopy.c includes itself: it is not supposed to comply
+ with the directive.
* - `Dir 4.11
<https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite/-/blob/master/D_04_11.c>`_
- Required
--
2.34.1
