diff options
author | Rui Teng <rui.teng@linux.vnet.ibm.com> | 2016-06-01 10:45:26 +0800 |
---|---|---|
committer | Christopher Li <sparse@chrisli.org> | 2016-10-26 17:52:52 -0700 |
commit | 6c283a05175c512e2d564753cd0b1a7bfc68c620 (patch) | |
tree | fd55ff2bc5f8f453c6395f177313a8ba4e682571 | |
parent | ffc860be91930f52f14193f9ee4166931e2e8fab (diff) | |
download | sparse-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.c | 2 | ||||
-rw-r--r-- | validation/attr-no_sanitize_address.c | 9 |
2 files changed, 11 insertions, 0 deletions
@@ -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 + */ |