On 26/01/24 11:05, Federico Serafini wrote:
Introduce macro STATIC_ASSERT_UNREACHABLE(), use it to replace __{get,put}_user_bad(), 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 | 5 +++++ xen/arch/x86/include/asm/uaccess.h | 7 ++----- xen/include/xen/compiler.h | 7 +++++++ 4 files changed, 18 insertions(+), 5 deletions(-)
Hello everyone, do you have any comments on this series? -- Federico Serafini, M.Sc. Software Engineer, BUGSENG (http://bugseng.com)
