C11: teach sparse about '_Noreturn'
commit8c8c6f82ff625a97f26c14f230518fc32ad4c0c7
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>
Thu, 5 Jan 2017 03:22:17 +0000 (5 04:22 +0100)
committerChristopher Li <sparse@chrisli.org>
Mon, 13 Feb 2017 01:34:45 +0000 (13 09:34 +0800)
treefe40a492194b170422d32a06e61cd624cf69b33a
parent2a67f7fb593572c8c58a58e8e8d69f73ba65387f
C11: teach sparse about '_Noreturn'

This is mainly a new name for GCC's 'noreturn' attribute but defined
as a new function specifier.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
parse.c
validation/c11-noreturn.c [new file with mode: 0644]