On Thu, May 11, 2017 at 6:59 PM, Christopher Li <sparse@xxxxxxxxxxx> wrote: > 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. Sure. -- Luc -- 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
