[PATCH] * date.c (nondigit): Add ATTRIBUTE_PURE, to pacify GCC 4.8.1.

Aug. 17, 2013

---
 date.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/date.c b/date.c
index 4355a7b..d8ff50e 100644
--- a/date.c
+++ b/date.c
@@ -497,7 +497,7 @@ errensure(void)
 		retval = EXIT_FAILURE;
 }
 
-static const char *
+static const char * ATTRIBUTE_PURE
 nondigit(register const char *cp)
 {
 	while (is_digit(*cp))
-- 
1.7.11.7

    

Paul Eggert