[PATCH 0/2] Add some more ignored attributes for glibc

[PATCH 0/2] Add some more ignored attributes for glibc

[Dan Carpenter]

KOSAKI Motohiro sent these patches to Smatch and I'm pushing them
upstream.

Smatch wasn't using the latest Sparse so I've tweaked them a bit.

KOSAKI Motohiro (2):
  sparse: Add '__vector_size__' to ignored attributes
  sparse: Add 'error' to ignored attributes

 ident-list.h |    2 ++
 parse.c      |    3 +++
 2 files changed, 5 insertions(+), 0 deletions(-)

-- 
1.7.8.rc0.dirty

[PATCH 1/2] sparse: Add '__vector_size__' to ignored attributes

[Dan Carpenter]

From: KOSAKI Motohiro <kosaki.motohiro@gmail.com>

We already had "vector_size" but we also need __vector_size__ to silence
some warnings in glibc:

/usr/include/bits/link.h:67:45: error: attribute '__vector_size__': unknown attribute

Signed-off-by: KOSAKI Motohiro <kosaki.motohiro@gmail.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---
 ident-list.h |    1 +
 parse.c      |    1 +
 2 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/ident-list.h b/ident-list.h
index b12d172..973bf57 100644
--- a/ident-list.h
+++ b/ident-list.h
@@ -88,6 +88,7 @@ IDENT(dllimport); IDENT(__dllimport__);
 IDENT(dllexport); IDENT(__dllexport__);
 IDENT(restrict); IDENT(__restrict);
 IDENT(artificial); IDENT(__artificial__);
+IDENT(vector_size); IDENT(__vector_size__);
 
 /* Preprocessor idents.  Direct use of __IDENT avoids mentioning the keyword
  * itself by name, preventing these tokens from expanding when compiling
diff --git a/parse.c b/parse.c
index a809c14..2dcd488 100644
--- a/parse.c
+++ b/parse.c
@@ -568,6 +568,7 @@ const char *ignored_attributes[] = {
 	"used",
 	"__used__",
 	"vector_size",
+	"__vector_size__",
 	"visibility",
 	"__visibility__",
 	"warn_unused_result",
-- 
1.7.8.rc0.dirty

[PATCH 2/2] sparse: Add 'error' to ignored attributes

[Dan Carpenter]

From: KOSAKI Motohiro <kosaki.motohiro@gmail.com>

Add some more ignored attributes which are used in glibc header files.  It
silences the warnings such as the following:

/usr/include/bits/fcntl2.h:36:1: error: attribute '__error__': unknown attribute

Signed-off-by: KOSAKI Motohiro <kosaki.motohiro@gmail.com>
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
---
 ident-list.h |    1 +
 parse.c      |    2 ++
 2 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/ident-list.h b/ident-list.h
index 973bf57..a0b808f 100644
--- a/ident-list.h
+++ b/ident-list.h
@@ -89,6 +89,7 @@ IDENT(dllexport); IDENT(__dllexport__);
 IDENT(restrict); IDENT(__restrict);
 IDENT(artificial); IDENT(__artificial__);
 IDENT(vector_size); IDENT(__vector_size__);
+IDENT(error); IDENT(__error__);
 
 /* Preprocessor idents.  Direct use of __IDENT avoids mentioning the keyword
  * itself by name, preventing these tokens from expanding when compiling
diff --git a/parse.c b/parse.c
index 2dcd488..db6b519 100644
--- a/parse.c
+++ b/parse.c
@@ -509,6 +509,8 @@ const char *ignored_attributes[] = {
 	"__dllexport__",
 	"dllimport",
 	"__dllimport__",
+	"error",
+	"__error__",
 	"externally_visible",
 	"__externally_visible__",
 	"fastcall",
-- 
1.7.8.rc0.dirty

Re: [PATCH 1/2] sparse: Add '__vector_size__' to ignored attributes

[Christopher Li]

On Mon, Jun 18, 2012 at 4:07 AM, Dan Carpenter <dan.carpenter@oracle.com> wrote:
> From: KOSAKI Motohiro <kosaki.motohiro@gmail.com>
>
> We already had "vector_size" but we also need __vector_size__ to silence

Applied with some fix up on the patch.

Chris

Re: [PATCH 2/2] sparse: Add 'error' to ignored attributes

[Christopher Li]

On Mon, Jun 18, 2012 at 4:07 AM, Dan Carpenter <dan.carpenter@oracle.com> wrote:
> From: KOSAKI Motohiro <kosaki.motohiro@gmail.com>
>
> Add some more ignored attributes which are used in glibc header files.  It
> silences the warnings such as the following:

Applied.

Chris
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html