tag | 73401f685d047f01956f7d61a76e90e82d1580c0 | |
---|---|---|
tagger | Christopher Li <sparse@chrisli.org> | Thu Jun 29 15:36:01 2017 -0700 |
object | d8925f125ee8b1cc6eb29f43312b81f3f859374d |
Sparse release 0.5.1 RC3
commit | d8925f125ee8b1cc6eb29f43312b81f3f859374d | [log] [tgz] |
---|---|---|
author | Christopher Li <sparse@chrisli.org> | Fri Jun 23 17:13:17 2017 -0700 |
committer | Christopher Li <sparse@chrisli.org> | Fri Jun 23 17:13:17 2017 -0700 |
tree | c8712c0f074cd5c3eee89b3ef22e4f965f2a062d | |
parent | a6fbbbf01a1ca358e0a991dd0fb1a1cca60b6f0b [diff] |
Adding ignored attribute optimize It was used in kvm/vmx.c Signed-of-By: Christopher Li <sparse@chrisli.org>