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 | |
| parent | 4ae2880561b93c556f33b94ea74cdf8bcfb1be56 (diff) | |
| download | gcc-4b997cc8bb5bc3c83b9bf3e7866e0f4627f4b708.zip gcc-4b997cc8bb5bc3c83b9bf3e7866e0f4627f4b708.tar.gz gcc-4b997cc8bb5bc3c83b9bf3e7866e0f4627f4b708.tar.bz2 | |
ansidecl.h (ATTRIBUTE_PURE): New.
2004-07-21 Paolo Bonzini <bonzini@gnu.org>
* ansidecl.h (ATTRIBUTE_PURE): New.
From-SVN: r85001
| -rw-r--r-- | include/ChangeLog | 4 | ||||
| -rw-r--r-- | include/ansidecl.h | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/include/ChangeLog b/include/ChangeLog index 0a736f8..8f714da 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,7 @@ +2004-07-21 Paolo Bonzini <bonzini@gnu.org> + + * ansidecl.h (ATTRIBUTE_PURE): New. + 2004-07-13 Bernardo Innocenti <bernie@develer.com> * libiberty.h (XNEW, XCNEW, XNEWVEC, XCNEWVEC, XOBNEW): Move here from diff --git a/include/ansidecl.h b/include/ansidecl.h index d2c8776..4b3eae9 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' |