On 29/08/23 00:00, Stefano Stabellini wrote:
On Mon, 28 Aug 2023, Simone Ballarin wrote:
This patch adds a text-based deviation for Directive 4.10:
"Precautions shall be taken in order to prevent the contents of
a header file being included more than once"
Headers starting with the following comment are not supposed to
comply with the directive:
"/* empty */"
These headers should be empty, therefore they pose no risk if included
more than once.
Signed-off-by: Simone Ballarin <simone.balla...@bugseng.com>
Acked-by: Stefano Stabellini <sstabell...@kernel.org>
However I think we should also update rules.rst and/or update
docs/misra/safe.json
I will do it in the next submission.
---
automation/eclair_analysis/ECLAIR/deviations.ecl | 1 +
1 file changed, 1 insertion(+)
diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl
b/automation/eclair_analysis/ECLAIR/deviations.ecl
index 5f068377fa..2681a4cff5 100644
--- a/automation/eclair_analysis/ECLAIR/deviations.ecl
+++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
@@ -80,6 +80,7 @@ inline functions."
-doc_begin="This header file is autogenerated or empty, therefore it poses no
risk if included more than once."
+-config=MC3R1.D4.10,reports+={safe, "first_area(text(^/\\* empty \\*/$,
begin-1))"}
-file_tag+={empty_header, "^xen/arch/arm/efi/runtime\\.h$"}
-file_tag+={autogen_headers,
"^xen/include/xen/compile\\.h$||^xen/include/generated/autoconf.h$||^xen/include/xen/hypercall-defs.h$"}
-config=MC3R1.D4.10,reports+={safe,
"all_area(all_loc(file(empty_header||autogen_headers)))"}
--
2.34.1
--
Simone Ballarin, M.Sc.
Field Application Engineer, BUGSENG (https://bugseng.com)
