On 03.06.2025 03:00, Stefano Stabellini wrote:
> --- a/automation/eclair_analysis/ECLAIR/deviations.ecl
> +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
> @@ -72,11 +72,16 @@ they are not instances of commented-out code."
> -config=MC3A2.D4.3,reports+={deliberate,
> "any_area(any_loc(file(arm64_bitops))&&context(name(int_clear_mask16)))"}
> -doc_end
>
> --doc_begin="Files that are intended to be included more than once do not
> need to
> -conform to the directive."
> +-doc_begin="Files that are intended to be included more than once (and have
> +a comment that says this explicitly) do not need to conform to the
> directive."
> -config=MC3A2.D4.10,reports+={safe, "first_area(text(^/\\* This file is
> intended to be included multiple times\\. \\*/$, begin-4))"}
> --config=MC3A2.D4.10,reports+={safe, "first_area(text(^/\\* Generated file,
> do not edit! \\*/$, begin-3))"}
> --config=MC3A2.D4.10,reports+={safe,
> "all_area(all_loc(file(^xen/include/generated/autoconf.h$)))"}
> +-config=MC3A2.D4.10,reports+={safe, "first_area(text(^/\\* Generated file,
> do not edit! \\*/$, begin-3...begin-2))"}
> +-doc_end
> +
> +-doc_begin="Autogenerated files that do not need to conform to the
> directive."
> +-config=MC3A2.D4.10,reports+={safe,
> "all_area(all_loc(file(^xen/include/generated/autoconf\\.h$)))"}
> +-config=MC3A2.D4.10,reports+={safe,
> "all_area(all_loc(file(^xen/include/compat/xlat\\.h$)))"}
> +-config=MC3A2.D4.10,reports+={safe,
> "all_area(all_loc(file(^xen/arch/(arm||x86)/include/generated/asm/.*$)))"}
> -doc_end
I didn't look at the others, but at least xlat.h should be easy to take off of
here
by having it have a guard. I guess I'll make a patch ...
Jan
