| Message ID | cover.1706259490.git.federico.serafini@bugseng.com (mailing list archive) |
|---|---|
| Headers | show |
| Series | Introduce and use STATIC_ASSERT_UNREACHABLE() | expand |
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?
On 31.01.2024 09:19, Federico Serafini wrote: > 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? Yes, but in due course. Jan
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(-)