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
