use _GL_ATTRIBUTE_CONST and _GL_ATTRIBUTE_PURE

[gnulib.git] / lib / basename-lgpl.c

diff --git a/lib/basename-lgpl.c b/lib/basename-lgpl.c
index 529bc35..f2738cd 100644 (file)
--- a/lib/basename-lgpl.c
+++ b/lib/basename-lgpl.c
@@ -22,11 +22,19 @@
 
 #include <string.h>
 
+/* The attribute __pure__ was added in gcc 2.96.  */
+#undef _GL_ATTRIBUTE_PURE
+#if __GNUC__ > 2 || (__GNUC__ == 2 && __GNUC_MINOR__ >= 96)
+# define _GL_ATTRIBUTE_PURE __attribute__ ((__pure__))
+#else
+# define _GL_ATTRIBUTE_PURE /* empty */
+#endif
+
 /* Return the address of the last file name component of NAME.  If
    NAME has no relative file name components because it is a file
    system root, return the empty string.  */
 
-char *
+char * _GL_ATTRIBUTE_PURE
 last_component (char const *name)
 {
   char const *base = name + FILE_SYSTEM_PREFIX_LEN (name);