changeset 17594:fb3caf2f5882

freading: declare with attribute "pure" * lib/freading.h (freading): Declare with the "pure" attribute.
author Jim Meyering <meyering@fb.com>
date Fri, 22 Nov 2013 08:14:30 -0800
parents d1e383af69e2
children b1df111f6292
files ChangeLog lib/freading.h
diffstat 2 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.
--- 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
 }