Introduce and use static_assert_unreachable()

[XEN PATCH 0/3] Introduce and use static_assert_unreachable()

Federico Serafini posted 3 patches 3 months, 1 week ago

Download series mbox

Patches applied successfully (tree, apply log)
git fetch https://gitlab.com/xen-project/patchew/xen tags/patchew/cover.1705930767.git.federico.serafini@bugseng.com

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(-)

Expand all Fold all

[XEN PATCH 0/3] Introduce and use static_assert_unreachable()

Posted by Federico Serafini 3 months, 1 week ago

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