freading: declare with attribute "pure"

* lib/freading.h (freading): Declare with the "pure" attribute.

diff --git a/ChangeLog b/ChangeLog
index 8f50c2d..8ac6053 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2014-01-02  Jim Meyering  <meyering@fb.com>
 
+       freading: declare with the "pure" attribute
+       * lib/freading.h (freading): Declare with the "pure" attribute.
+
        manywarnings: remove -Wmudflap
        * m4/manywarnings.m4 (gl_MANYWARN_ALL_GCC): Remove -Wmudflap, since
        it is no longer supported in gcc-4.9-to-be.

diff --git a/lib/freading.h b/lib/freading.h
index e4aca78..3d1c7b2 100644 (file)
--- a/lib/freading.h
+++ b/lib/freading.h
@@ -44,7 +44,7 @@
 extern "C" {
 # endif
 
-extern bool freading (FILE *stream);
+extern bool freading (FILE *stream) _GL_ATTRIBUTE_PURE;
 
 # ifdef __cplusplus
 }