diff options
| author | Christopher Li <sparse@chrisli.org> | 2017-07-13 23:57:09 -0700 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-07-13 23:57:09 -0700 |
| commit | fa71b7ac0594c9ddf81ec27753280cffef702489 (patch) | |
| tree | 60fae65a15f7eb157c10a34fd18f536a986933f4 /Documentation | |
| parent | ec3f72e981792a86a9e002471a06d61ecd5c6675 (diff) | |
| download | sparse-dev-fa71b7ac0594c9ddf81ec27753280cffef702489.tar.gz | |
Adding gcc attribute no_gccisr
Signed-off-By: Christopher Li <sparse@chrisli.org>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions