diff options
| author | DJ Delorie <dj@redhat.com> | 2004-07-21 21:27:07 +0400 |
|---|---|---|
| committer | DJ Delorie <dj@redhat.com> | 2004-07-21 21:27:07 +0400 |
| commit | d28a73aeb2c603f54fb8e121533e72757739da36 (patch) | |
| tree | 72c7a3df2dc3b102477dcd998528cfe4df7f7bb1 /include/ansidecl.h | |
| parent | cc054d9d2606dd3fd5a79ba62f1caca85606d38a (diff) | |
merge from gcc
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 d2c87768c..4b3eae9d8 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' |