[PATCH] Ignore the may_alias GCC attribute

[Damien Lespiau <damien.lespiau@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 325 bytes --]

Unfortunately, linux-sparse seems to reject my git send-emails with
GMail's SMTP server, so I'm attaching the git format-patch instead.

may_alias is used in the wild (glib) and makes sparse spew a lot of
unhelpful warning messages. Ignore it (for now?).

Signed-off-by: Damien Lespiau <damien.lespiau@gmail.com>

-- 
Damien

[-- Attachment #2: 0001-Ignore-the-may_alias-GCC-attribute.patch --]
[-- Type: application/octet-stream, Size: 732 bytes --]

From 1dfcbbc7160877f49c19ac06447f033baeec1ebf Mon Sep 17 00:00:00 2001
From: Damien Lespiau <damien.lespiau@gmail.com>
Date: Wed, 26 May 2010 11:52:57 +0100
Subject: [PATCH] Ignore the may_alias GCC attribute

may_alias is used in the wild (glib) and makes sparse spew a lot of
unhelpful warning messages. Ignore it (for now?).

Signed-off-by: Damien Lespiau <damien.lespiau@gmail.com>
---
 parse.c |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/parse.c b/parse.c
index f81b19f..f5c5497 100644
--- a/parse.c
+++ b/parse.c
@@ -517,6 +517,8 @@ const char *ignored_attributes[] = {
 	"__hot__",
 	"malloc",
 	"__malloc__",
+	"may_alias",
+	"__may_alias__",
 	"model",
 	"__model__",
 	"ms_abi",
-- 
1.7.0.1