diff options
author | Jiri Slaby <jslaby@suse.cz> | 2010-07-10 08:39:22 +0000 |
---|---|---|
committer | Christopher <sparse@chrisli.org> | 2010-07-13 01:06:20 -0700 |
commit | 8832df8bc4edf263ad1753b82922d72e1c72e1bd (patch) | |
tree | 6205a802ad081816c3d60d8da7e3505a3d9eb739 | |
parent | Add test case for builtin_unreachable() (diff) | |
download | sparse-8832df8bc4edf263ad1753b82922d72e1c72e1bd.tar.gz sparse-8832df8bc4edf263ad1753b82922d72e1c72e1bd.tar.bz2 sparse-8832df8bc4edf263ad1753b82922d72e1c72e1bd.zip |
parser: define __builtin_unreachable
Gcc 4.5 defines
extern void __builtin_unreachable(void);
so, add it also to sparse.
Signed-off-by: Jiri Slaby <jslaby@suse.cz>
Signed-off-by: Christopher <sparse@chrisli.org>
-rw-r--r-- | lib.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -740,6 +740,7 @@ void declare_builtin_functions(void) add_pre_buffer ("extern char * __builtin___strncpy_chk(char *, const char *, __SIZE_TYPE__, __SIZE_TYPE__);\n"); add_pre_buffer ("extern int __builtin___vsprintf_chk(char *, int, __SIZE_TYPE__, const char *, __builtin_va_list);\n"); add_pre_buffer ("extern int __builtin___vsnprintf_chk(char *, __SIZE_TYPE__, int, __SIZE_TYPE__, const char *, __builtin_va_list ap);\n"); + add_pre_buffer ("extern void __builtin_unreachable(void);\n"); } void create_builtin_stream(void) |