Introduce and use STATIC_ASSERT_UNREACHABLE()

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

Posted by Federico Serafini 3 months ago

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

-- 
2.34.1

Re: [XEN PATCH v2 0/3] Introduce and use STATIC_ASSERT_UNREACHABLE()

Posted by Federico Serafini 2 months, 4 weeks ago

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)

Re: [XEN PATCH v2 0/3] Introduce and use STATIC_ASSERT_UNREACHABLE()

Posted by Jan Beulich 2 months, 4 weeks ago

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