* [PATCH] x86/shadow: deviate guest_va_t wrt Misra C:2012 rule 5.6
@ 2026-05-13 11:48 Jan Beulich
2026-05-14 5:13 ` Nicola Vetrini
0 siblings, 1 reply; 2+ messages in thread
From: Jan Beulich @ 2026-05-13 11:48 UTC (permalink / raw)
To: xen-devel@lists.xenproject.org
Cc: Andrew Cooper, Roger Pau Monné, Teddy Astie, Nicola Vetrini
... ("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>
--- 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$"}
^ permalink raw reply [flat|nested] 2+ messages in thread* Re: [PATCH] x86/shadow: deviate guest_va_t wrt Misra C:2012 rule 5.6
2026-05-13 11:48 [PATCH] x86/shadow: deviate guest_va_t wrt Misra C:2012 rule 5.6 Jan Beulich
@ 2026-05-14 5:13 ` Nicola Vetrini
0 siblings, 0 replies; 2+ messages in thread
From: Nicola Vetrini @ 2026-05-14 5:13 UTC (permalink / raw)
To: Jan Beulich; +Cc: xen-devel, Andrew Cooper, Roger Pau Monné, Teddy Astie
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2026-05-14 5:13 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-05-13 11:48 [PATCH] x86/shadow: deviate guest_va_t wrt Misra C:2012 rule 5.6 Jan Beulich
2026-05-14 5:13 ` Nicola Vetrini
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.