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 | |
| parent | ec3f72e981792a86a9e002471a06d61ecd5c6675 (diff) | |
| download | sparse-dev-fa71b7ac0594c9ddf81ec27753280cffef702489.tar.gz | |
Adding gcc attribute no_gccisr
Signed-off-By: Christopher Li <sparse@chrisli.org>
| -rw-r--r-- | gcc-attr-list.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc-attr-list.h b/gcc-attr-list.h index ec8cf44e..7a48c387 100644 --- a/gcc-attr-list.h +++ b/gcc-attr-list.h @@ -104,6 +104,7 @@ GCC_ATTR(nmi) GCC_ATTR(nmi_handler) GCC_ATTR(no_address_safety_analysis) GCC_ATTR(no_caller_saved_registers) +GCC_ATTR(no_gccisr) GCC_ATTR(no_icf) GCC_ATTR(no_instrument_function) GCC_ATTR(no_profile_instrument_function) |