diff options
| author | Randy Dunlap <rdunlap@infradead.org> | 2013-02-21 16:54:56 -0800 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2013-02-21 16:54:56 -0800 |
| commit | 90b742e898709a3911a6eb278467117c18bcd3ea (patch) | |
| tree | f25c64fc61061fd1572bf1867e08ac6e155d5b36 /validation | |
| parent | 8e42bac6efcb047a2b3d812e42c00f82e3b8a984 (diff) | |
| download | sparse-dev-90b742e898709a3911a6eb278467117c18bcd3ea.tar.gz | |
sparse patch v2: add noclone as an ignored attribute
Add attribute "noclone" or "__noclone" or "__noclone__" as an
ignored attribute. Fixes this sparse warning:
arch/x86/kvm/vmx.c:6268:13: error: attribute '__noclone__': unknown attribute
Also add test case for 'noclone': validation/attr-noclone.c.
'make check' says for this test case:
TEST attribute noclone (attr-noclone.c)
Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/attr-noclone.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/validation/attr-noclone.c b/validation/attr-noclone.c new file mode 100644 index 00000000..0a9cf70a --- /dev/null +++ b/validation/attr-noclone.c @@ -0,0 +1,9 @@ +#define noclone __attribute__((__noclone__)) + +static void noclone bar(void) +{ +} + +/* + * check-name: attribute noclone + */ |