[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [XEN PATCH 2/7] xen/arm: traps: address violations of MISRA C:2012 Rule 16.3

To: Federico Serafini <federico.serafini@xxxxxxxxxxx>, xen-devel@xxxxxxxxxxxxxxxxxxxx
From: Julien Grall <julien@xxxxxxx>
Date: Wed, 20 Dec 2023 11:44:00 +0000
Cc: consulting@xxxxxxxxxxx, Stefano Stabellini <sstabellini@xxxxxxxxxx>, Bertrand Marquis <bertrand.marquis@xxxxxxx>, Michal Orzel <michal.orzel@xxxxxxx>, Volodymyr Babchuk <Volodymyr_Babchuk@xxxxxxxx>
Delivery-date: Wed, 20 Dec 2023 11:44:08 +0000
List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

Hi,

On 20/12/2023 11:03, Federico Serafini wrote:

MISRA C:2012 Rule 16.3 states: "An unconditional `break' statement
shall terminate every switch-clause".

Add missing break statements to address violations of Rule 16.3.
Add pseudo-keyword "fallthrough" to make explicit the intended
behavior and satisfy the requirements to deviate Rule 16.3.
No functional change.

Signed-off-by: Federico Serafini <federico.serafini@xxxxxxxxxxx>


Acked-by: Julien Grall <jgrall@xxxxxxxxxx>

Cheers,

--
Julien Grall

References:
- [XEN PATCH 0/7] xen/arm: address violations of MISRA C:2012 Rule 16.3
  - From: Federico Serafini
- [XEN PATCH 2/7] xen/arm: traps: address violations of MISRA C:2012 Rule 16.3
  - From: Federico Serafini

Prev by Date: Re: [PATCH v2 3/6] xen: add deviations for Rule 11.8
Next by Date: Re: [PATCH v2 5/7] xen/ppc: Enable bootfdt and boot allocator
Previous by thread: [XEN PATCH 2/7] xen/arm: traps: address violations of MISRA C:2012 Rule 16.3
Next by thread: [XEN PATCH 3/7] xen/arm: guest_walk: address violations of MISRA C:2012 Rule 16.3
Index(es):
- Date
- Thread

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.