diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2004-07-21 08:25:57 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2004-07-21 08:25:57 +0000 |
| commit | 4b997cc8bb5bc3c83b9bf3e7866e0f4627f4b708 (patch) | |
| tree | b0fb28af03940cf45907b0a26718969f02397496 /include/ansidecl.h | |
| parent | 4ae2880561b93c556f33b94ea74cdf8bcfb1be56 (diff) | |
| download | gcc-4b997cc8bb5bc3c83b9bf3e7866e0f4627f4b708.tar.gz | |
ansidecl.h (ATTRIBUTE_PURE): New.
2004-07-21 Paolo Bonzini <bonzini@gnu.org>
* ansidecl.h (ATTRIBUTE_PURE): New.
From-SVN: r85001
Diffstat (limited to 'include/ansidecl.h')
| -rw-r--r-- | include/ansidecl.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/ansidecl.h b/include/ansidecl.h index d2c87768ce2..4b3eae9d887 100644 --- a/include/ansidecl.h +++ b/include/ansidecl.h @@ -277,6 +277,15 @@ So instead we use the macro below and test it against specific values. */ # endif /* GNUC >= 3.3 */ #endif /* ATTRIBUTE_NONNULL */ +/* Attribute `pure' was valid as of gcc 3.0. */ +#ifndef ATTRIBUTE_PURE +# if (GCC_VERSION >= 3000) +# define ATTRIBUTE_PURE __attribute__ ((__pure__)) +# else +# define ATTRIBUTE_PURE +# endif /* GNUC >= 3.0 */ +#endif /* ATTRIBUTE_PURE */ + /* Use ATTRIBUTE_PRINTF when the format specifier must not be NULL. This was the case for the `printf' format attribute by itself before GCC 3.3, but as of 3.3 we need to add the `nonnull' |