Re: [PATCH] x86/shadow: deviate guest_va_t wrt Misra C:2012 rule 5.6

[Nicola Vetrini <nicola.vetrini@bugseng.com>]

On 2026-05-13 13:48, Jan Beulich wrote:
> ... ("A `typedef' name shall be a unique identifier"). Much like 
> already
> done for guest_intpte_t and guest_l[12]e_t, but limited to 
> shadow/multi.c.
> 
> Signed-off-by: Jan Beulich <jbeulich@suse.com>

Reviewed-by: Nicola Vetrini <nicola.vetrini@bugseng.com>

> 
> --- a/automation/eclair_analysis/ECLAIR/deviations.ecl
> +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
> @@ -143,6 +143,11 @@ number of guest paging levels."
>  
> -config=MC3A2.R5.6,reports+={deliberate,"any_area(any_loc(file(^xen/arch/x86/include/asm/guest_pt\\.h$)))&&any_area(any_loc(text(^.*(guest_intpte_t|guest_l[12]e_t).*$)))"}
>  -doc_end
> 
> +-doc_begin="In x86 shadow code, the type \"guest_va_t\" is 
> deliberately defined
> +multiple times, depending on the number of guest paging levels."
> +-config=MC3A2.R5.6,reports+={deliberate,"any_area(any_loc(file(^xen/arch/x86/mm/shadow/multi\\.c$)))&&any_area(any_loc(text(^.*guest_va_t.*$)))"}
> +-doc_end
> +
>  -doc_begin="The following files are imported from the gnu-efi 
> package."
>  -file_tag+={adopted_r5_6,"^xen/include/efi/.*$"}
>  -file_tag+={adopted_r5_6,"^xen/arch/.*/include/asm/.*/efibind\\.h$"}

-- 
Nicola Vetrini, B.Sc.
Software Engineer
BUGSENG (https://bugseng.com)
LinkedIn: https://www.linkedin.com/in/nicola-vetrini-a42471253