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
> ---
> 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
>
