Re: [XEN PATCH for-4.19 v2 2/3] automation/eclair_analysis: address remaining violations of MISRA C Rule 20.12

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

On Fri, 7 Jun 2024, Nicola Vetrini wrote:
> The DEFINE macro in asm-offsets.c (for all architectures) still generates
> violations despite the file(s) being excluded from compliance, due to the
> fact that in its expansion it sometimes refers entities in non-excluded files.
> These corner cases are deviated by the configuration.
> 
> No functional change.
> 
> Signed-off-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx>

Acked-by: Stefano Stabellini <sstabellini@xxxxxxxxxx>

> ---
>  automation/eclair_analysis/ECLAIR/deviations.ecl | 6 ++++++
>  1 file changed, 6 insertions(+)
> 
> diff --git a/automation/eclair_analysis/ECLAIR/deviations.ecl 
> b/automation/eclair_analysis/ECLAIR/deviations.ecl
> index 447c1e6661d1..e2653f77eb2c 100644
> --- a/automation/eclair_analysis/ECLAIR/deviations.ecl
> +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
> @@ -483,6 +483,12 @@ leads to a violation of the Rule are deviated."
>  -config=MC3R1.R20.12,macros+={deliberate, 
> "name(GENERATE_CASE)&&loc(file(deliberate_generate_case))"}
>  -doc_end
> 
> +-doc_begin="The macro DEFINE is defined and used in excluded files 
> asm-offsets.c.
> +This may still cause violations if entities outside these files are referred 
> to
> +in the expansion."
> +-config=MC3R1.R20.12,macros+={deliberate, 
> "name(DEFINE)&&loc(file(asm_offsets))"}
> +-doc_end
> +
>  #
>  # Series 21.
>  #
> --
> 2.34.1
>