[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [XEN PATCH 0/3] Introduce and use static_assert_unreachable()
Introduce macro static_assert_unreachable(), use it to replace __{get,put}_user_bad() and update ECLAIR configuration to allow the use of such macro at the end of switch-caluses. Federico Serafini (3): xen: introduce static_assert_unreachable() x86/uaccess: replace __{get,put}_user_bad() with static_assert_unreachable() automation/eclair: add deviation for MISRA C:2012 Rule 16.3 automation/eclair_analysis/ECLAIR/deviations.ecl | 4 ++++ docs/misra/deviations.rst | 4 ++++ xen/arch/x86/include/asm/uaccess.h | 7 ++----- xen/include/xen/compiler.h | 8 ++++++++ 4 files changed, 18 insertions(+), 5 deletions(-) -- 2.34.1
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |