Re: [PATCH v7] sparse: add support for _Static_assert

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, May 9, 2017 at 11:46 AM, Lance Richardson <lrichard@xxxxxxxxxx> wrote:
> This patch introduces support for the C11 _Static_assert() construct.
>
> Per the N1539 draft standard, the syntax changes for this construct
> include:
>
>     declaration:
>         <declaration-specifiers> <init-declarator-list>[opt] ;
>         <static_assert-declaration>
>
>     struct-declaration:
>         <specifier-qualifier-list> <struct-declarator-list>[opt] ;
>         <static_assert-declaration>
>
>     static_assert-declaration:
>         _Static_assert ( <constant-expression> , <string-literal> ) ;
>
> Signed-off-by: Lance Richardson <lrichard@xxxxxxxxxx>
> ---
> v7: Incorporated additional feedback from Christopher Li and
>     Luc van Oostenryck. Tested via "make check", also redefined
>     Linux compiletime_assert() to use _Static_assert() when
>     running sparse (gcc had issues with _Static_assert() in
>     *.s files), no additional warnings were emitted.

This version looks perfect for me.

Signed-off-by: Chris Li <sparse@xxxxxxxxxxx>

Luc, do you want to apply the v7 and then I pull from your branch with
the other identifier improvements? I can apply it but it might disrupt your
branch.

Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Newbies FAQ]     [LKML]     [IETF Annouce]     [DCCP]     [Netdev]     [Networking]     [Security]     [Bugtraq]     [Yosemite]     [MIPS Linux]     [ARM Linux]     [Linux Security]     [Linux RAID]     [Linux SCSI]     [Trinity Fuzzer Tool]

  Powered by Linux