summaryrefslogtreecommitdiff
path: root/kern
diff options
context:
space:
mode:
authorMarin Ramesa <mpr@hi.t-com.hr>2013-12-20 13:29:00 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-12-20 23:51:47 +0100
commitbe1ce42e936c96776b661ba5a93b0c9d0d76bb31 (patch)
treeacbb27da29a312d03fbed7cce1f2069c44cfcfd9 /kern
parent2b33e316ac0d14b564ade0dd6fc3be136e945926 (diff)
Mark pure functions with attribute pure
Diffstat (limited to 'kern')
-rw-r--r--kern/strings.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/strings.c b/kern/strings.c
index 72eb4f3..c77ae4f 100644
--- a/kern/strings.c
+++ b/kern/strings.c
@@ -53,7 +53,7 @@
* contents are identical upto the length of s1.
*/
-int
+int __attribute__ ((pure))
strcmp(
const char *s1,
const char *s2)
@@ -80,7 +80,7 @@ strcmp(
* comparison runs for at most "n" characters.
*/
-int
+int __attribute__ ((pure))
strncmp(
const char *s1,
const char *s2,