diff options
| author | Ethan Jackson <ethan@nicira.com> | 2012-01-17 14:47:11 -0800 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2012-01-18 17:44:36 -0800 |
| commit | b0b4886be5f668959b8c75c9c811059e07b1073a (patch) | |
| tree | 29961378d281ab6681d3168c9307936644ec2492 | |
| parent | e68f464686c2fcec987d76ecc3da061db7f784e9 (diff) | |
| download | sparse-dev-b0b4886be5f668959b8c75c9c811059e07b1073a.tar.gz | |
sparse: Add 'leaf' to ignored attributes.
This patch adds the 'leaf' GCC attribute to the list of ignored
attributes. Glibc uses this attribute causing the following
warnings in userspace projects:
/usr/include/stdlib.h:514:26: error: attribute '__leaf__': unknown attribute
Signed-off-by: Ethan Jackson <ethan@nicira.com>
Acked-by: Pekka Enberg <penberg@kernel.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| -rw-r--r-- | ident-list.h | 2 | ||||
| -rw-r--r-- | parse.c | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/ident-list.h b/ident-list.h index b12d1720..35ac6bdf 100644 --- a/ident-list.h +++ b/ident-list.h @@ -88,6 +88,8 @@ IDENT(dllimport); IDENT(__dllimport__); IDENT(dllexport); IDENT(__dllexport__); IDENT(restrict); IDENT(__restrict); IDENT(artificial); IDENT(__artificial__); +IDENT(leaf); IDENT(__leaf__); + /* Preprocessor idents. Direct use of __IDENT avoids mentioning the keyword * itself by name, preventing these tokens from expanding when compiling @@ -519,6 +519,8 @@ const char *ignored_attributes[] = { "__format_arg__", "hot", "__hot__", + "leaf", + "__leaf__", "l1_text", "__l1_text__", "l1_data", |