mbox series

[XEN,0/3] x86: address violations of MISRA C Rule 16.3

Message ID cover.1730880832.git.federico.serafini@bugseng.com (mailing list archive)
Headers show
Series x86: address violations of MISRA C Rule 16.3 | expand

Message

Federico Serafini Nov. 6, 2024, 9:04 a.m. UTC 
Define pseudo keyword fallthrough for the x86 emulator,
use it and tag the rule as clean.

Federico Serafini (3):
  x86/emul: define pseudo keyword fallthrough
  x86/emul: use pseudo keyword fallthrough
  automation/eclair: tag Rule 16.3 as clean

 automation/eclair_analysis/ECLAIR/tagging.ecl |  3 ++-
 xen/arch/x86/x86_emulate/decode.c             |  6 ++++--
 xen/arch/x86/x86_emulate/x86_emulate.c        |  2 ++
 xen/arch/x86/x86_emulate/x86_emulate.h        | 10 ++++++++++
 4 files changed, 18 insertions(+), 3 deletions(-)