diff options
| author | Christopher Li <sparse@chrisli.org> | 2017-06-23 17:13:17 -0700 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-06-23 17:13:17 -0700 |
| commit | d8925f125ee8b1cc6eb29f43312b81f3f859374d (patch) | |
| tree | c8712c0f074cd5c3eee89b3ef22e4f965f2a062d /validation | |
| parent | a6fbbbf01a1ca358e0a991dd0fb1a1cca60b6f0b (diff) | |
| download | sparse-dev-d8925f125ee8b1cc6eb29f43312b81f3f859374d.tar.gz | |
Adding ignored attribute optimizev0.5.1-rc3
It was used in kvm/vmx.c
Signed-of-By: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/attr-optimize.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/validation/attr-optimize.c b/validation/attr-optimize.c new file mode 100644 index 00000000..c45cbe89 --- /dev/null +++ b/validation/attr-optimize.c @@ -0,0 +1,16 @@ + +#define __noclone __attribute__((__noclone__, __optimize__("no-tracer"))) + +struct kvm_vcpu; + +static void __noclone vmx_vcpu_run(struct kvm_vcpu *vcpu) +{ + __asm__(""); +} + +extern void *run; +void *run = vmx_vcpu_run; + +/* + * check-name: optimize attributes + */ |