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

[XEN PATCH 0/7] address violations of MISRA C:2012 Rule 2.1



MISRA C:2012 Rule 2.1 states: "A project shall not contain unreachable code".
As such, this series eliminates various instances of unreachable code found in
Xen, by providing equivalent compliant constructs.

This series is loosely based on my earlier series [1], but the overall approach
has changed since; for instance, declarations without initialization are now
ignored, as detailed in docs/misra/deviations.rst.

[1] 
https://lore.kernel.org/xen-devel/cover.1690985045.git.nicola.vetrini@xxxxxxxxxxx/

Nicola Vetrini (7):
  xen/shutdown: address MISRA C:2012 Rule 2.1
  x86/mm: address MISRA C:2012 Rule 2.1
  xen/arm: address MISRA C:2012 Rule 2.1
  xen/sched: address MISRA C:2012 Rule 2.1
  xen/arm: traps: add ASSERT_UNREACHABLE() where needed
  x86/platform: removed break to address MISRA C:2012 Rule 2.1
  x86/xstate: move BUILD_BUG_ON to address MISRA C:2012 Rule 2.1

 xen/arch/arm/mm.c                 |  2 +-
 xen/arch/arm/traps.c              |  6 +++---
 xen/arch/arm/vgic-v3-its.c        | 10 +++++-----
 xen/arch/x86/mm.c                 |  6 +++---
 xen/arch/x86/platform_hypercall.c |  1 -
 xen/arch/x86/xstate.c             |  3 ++-
 xen/common/sched/core.c           |  1 -
 xen/common/shutdown.c             | 11 ++---------
 xen/include/xen/shutdown.h        |  2 +-
 9 files changed, 17 insertions(+), 25 deletions(-)

-- 
2.34.1



 


Rackspace

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