[PATCH 1/2] kern/strings.c (strlen): mark with attribute pure

[Marin Ramesa]

* kern/strings.c (strlen): Mark with attribute pure.

---
 kern/strings.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kern/strings.c b/kern/strings.c
index 0752722..72eb4f3 100644
--- a/kern/strings.c
+++ b/kern/strings.c
@@ -161,7 +161,7 @@ strncpy(
  *     the terminating null character.
  */
 
-size_t
+size_t __attribute__ ((pure))
 strlen(
        const char *string)
 {
-- 
1.8.1.4