aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRui Teng <rui.teng@linux.vnet.ibm.com>2016-06-01 10:45:26 +0800
committerChristopher Li <sparse@chrisli.org>2016-10-26 17:52:52 -0700
commit6c283a05175c512e2d564753cd0b1a7bfc68c620 (patch)
treefd55ff2bc5f8f453c6395f177313a8ba4e682571
parentffc860be91930f52f14193f9ee4166931e2e8fab (diff)
downloadsparse-6c283a05175c512e2d564753cd0b1a7bfc68c620.tar.gz
sparse: add no_sanitize_address as an ignored attribute
Add attribute "no_sanitize_address" or "__no_sanitize_address__" as an ignored attribute. Fixes this sparse warning: include/linux/compiler.h:232:8: error: attribute 'no_sanitize_address': unknown attribute Also add test case for 'no_sanitize_address': validation/attr-no_sanitize_address.c. 'make check' says for this test case: TEST attribute no_sanitize_address (attr-no_sanitize_address.c) Signed-off-by: Rui Teng <rui.teng@linux.vnet.ibm.com> Signed-off-by: Christopher Li <sparse@chrisli.org>
-rw-r--r--parse.c2
-rw-r--r--validation/attr-no_sanitize_address.c9
2 files changed, 11 insertions, 0 deletions
diff --git a/parse.c b/parse.c
index 66f9353f..205e1264 100644
--- a/parse.c
+++ b/parse.c
@@ -607,6 +607,8 @@ const char *ignored_attributes[] = {
"__warning__",
"weak",
"__weak__",
+ "no_sanitize_address",
+ "__no_sanitize_address__",
};
diff --git a/validation/attr-no_sanitize_address.c b/validation/attr-no_sanitize_address.c
new file mode 100644
index 00000000..b57ee55a
--- /dev/null
+++ b/validation/attr-no_sanitize_address.c
@@ -0,0 +1,9 @@
+#define __no_sanitize_address __attribute__((no_sanitize_address))
+
+static void __no_sanitize_address bar(void)
+{
+}
+
+/*
+ * check-name: attribute no_sanitize_address
+ */