aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Buesch <mb@bu3sch.de>2009-11-26 11:03:26 +0000
committerChristopher <sparse@chrisli.org>2010-03-28 17:51:36 -0700
commitf9a4402e19dbcaebe2e1d16909edeae45ffc0345 (patch)
tree34e0c486b87228fea07f4febd4d0d15a1926ba46
parentAdding test case for "x && y && z" . (diff)
downloadsparse-f9a4402e19dbcaebe2e1d16909edeae45ffc0345.tar.gz
sparse-f9a4402e19dbcaebe2e1d16909edeae45ffc0345.tar.bz2
sparse-f9a4402e19dbcaebe2e1d16909edeae45ffc0345.zip
ignore attributes "externally_visible" and "signal"
This adds more ignored gcc-style attributes. externally_visible is a standard gcc attribute. signal is an AVR8 attribute used to define interrupt service routines. Ignore these attributes, as they are currently not useful for sparse checking. Signed-off-by: Michael Buesch <mb@bu3sch.de> Signed-off-by: Christopher Li <sparse@chrisli.org>
-rw-r--r--parse.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/parse.c b/parse.c
index c956265..b5aced1 100644
--- a/parse.c
+++ b/parse.c
@@ -505,6 +505,8 @@ const char *ignored_attributes[] = {
"__dllexport__",
"dllimport",
"__dllimport__",
+ "externally_visible",
+ "__externally_visible__",
"fastcall",
"__fastcall__",
"format",
@@ -537,6 +539,8 @@ const char *ignored_attributes[] = {
"__section__",
"sentinel",
"__sentinel__",
+ "signal",
+ "__signal__",
"stdcall",
"__stdcall__",
"syscall_linkage",