From 6ca10ffb30e14afa429439f2f5a9ea16a86da78c Mon Sep 17 00:00:00 2001
From: bonzini <bonzini@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 21 Jul 2004 08:25:57 +0000
Subject: [PATCH] 2004-07-21 Paolo Bonzini <bonzini@gnu.org>
* ansidecl.h (ATTRIBUTE_PURE): New.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@85001 138bc75d-0d04-0410-961f-82ee72b054a4
---
include/ChangeLog | 4 ++++
include/ansidecl.h | 9 +++++++++
2 files changed, 13 insertions(+)
diff --git a/include/ChangeLog b/include/ChangeLog
index 0a736f82c52e..8f714da95473 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 d2c87768ce2e..4b3eae9d8870 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'
--
GitLab