# HG changeset patch
# User Jim Meyering <meyering@fb.com>
# Date 1385136870 28800
# Node ID fb3caf2f5882485cb2ea34e8aeb985c0b21090af
# Parent  d1e383af69e2e4cfcae74fa4d00ef6f1620cbbd8
freading: declare with attribute "pure"

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

diff --git a/ChangeLog b/ChangeLog
--- 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
--- 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
 }