[PATCH] Mark pure functions with attribute pure

[Marin Ramesa]

---
 ddb/db_aout.c     | 4 ++--
 ddb/db_break.c    | 4 ++--
 ddb/db_break.h    | 2 +-
 ddb/db_command.c  | 2 +-
 ddb/db_command.h  | 2 +-
 ddb/db_output.c   | 2 +-
 ddb/db_output.h   | 2 +-
 ddb/db_run.c      | 2 +-
 ddb/db_sym.c      | 2 +-
 device/dev_name.c | 2 +-
 include/string.h  | 8 ++++----
 kern/strings.c    | 6 +++---
 12 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/ddb/db_aout.c b/ddb/db_aout.c
index 57c680a..87ba975 100644
--- a/ddb/db_aout.c
+++ b/ddb/db_aout.c
@@ -132,7 +132,7 @@ aout_db_sym_init(symtab, esymtab, name, task_addr)
 /*
  * check file name or not (check xxxx.x pattern)
  */
-private boolean_t
+private boolean_t __attribute__ ((pure))
 aout_db_is_filename(name)
        const char *name;
 {
@@ -149,7 +149,7 @@ aout_db_is_filename(name)
 /*
  * special name comparison routine with a name in the symbol table entry
  */
-private boolean_t
+private boolean_t __attribute__ ((pure))
 aout_db_eq_name(sp, name)
        const struct nlist *sp;
        const char *name;
diff --git a/ddb/db_break.c b/ddb/db_break.c
index e41834d..0534f68 100644
--- a/ddb/db_break.c
+++ b/ddb/db_break.c
@@ -154,7 +154,7 @@ db_delete_thread_breakpoint(bkpt, task_thd)
        }
 }
 
-static db_thread_breakpoint_t
+static db_thread_breakpoint_t __attribute__ ((pure))
 db_find_thread_breakpoint(bkpt, thread)
        const db_breakpoint_t bkpt;
        const thread_t thread;
@@ -350,7 +350,7 @@ db_delete_breakpoint(task, addr, task_thd)
        }
 }
 
-db_breakpoint_t
+db_breakpoint_t __attribute__ ((pure))
 db_find_breakpoint(task, addr)
        const task_t    task;
        db_addr_t       addr;
diff --git a/ddb/db_break.h b/ddb/db_break.h
index ad86119..bbbd7dd 100644
--- a/ddb/db_break.h
+++ b/ddb/db_break.h
@@ -71,7 +71,7 @@ struct db_breakpoint {
 
 typedef struct db_breakpoint *db_breakpoint_t;
 
-extern db_breakpoint_t db_find_breakpoint( const task_t task, db_addr_t addr);
+extern db_breakpoint_t db_find_breakpoint( const task_t task, db_addr_t addr) 
__attribute__ ((pure));
 extern boolean_t       db_find_breakpoint_here( const task_t task, db_addr_t 
addr);
 extern void            db_set_breakpoints(void);
 extern void            db_clear_breakpoints(void);
diff --git a/ddb/db_command.c b/ddb/db_command.c
index 3257e07..3879ec5 100644
--- a/ddb/db_command.c
+++ b/ddb/db_command.c
@@ -522,7 +522,7 @@ db_fncall(void)
        db_printf(" %#N\n", retval);
 }
 
-boolean_t
+boolean_t __attribute__ ((pure))
 db_option(modif, option)
        const char      *modif;
        int             option;
diff --git a/ddb/db_command.h b/ddb/db_command.h
index 634dd9d..4208bda 100644
--- a/ddb/db_command.h
+++ b/ddb/db_command.h
@@ -41,7 +41,7 @@
 #include <machine/setjmp.h>
 
 extern void            db_command_loop(void);
-extern boolean_t       db_option(const char *, int);
+extern boolean_t       db_option(const char *, int) __attribute__ ((pure));
 
 extern void            db_error(const char *) __attribute__ ((noreturn));      
/* report error */
 
diff --git a/ddb/db_output.c b/ddb/db_output.c
index f7561d2..f2829cc 100644
--- a/ddb/db_output.c
+++ b/ddb/db_output.c
@@ -188,7 +188,7 @@ db_id_putc(char c, vm_offset_t dummy)
 /*
  * Return output position
  */
-int
+int __attribute__ ((pure))
 db_print_position(void)
 {
        return (db_output_position);
diff --git a/ddb/db_output.h b/ddb/db_output.h
index e886647..497ae43 100644
--- a/ddb/db_output.h
+++ b/ddb/db_output.h
@@ -36,7 +36,7 @@
 #define _DDB_DB_OUTPUT_H_
 
 extern void    db_force_whitespace(void);
-extern int     db_print_position(void);
+extern int     db_print_position(void) __attribute__ ((pure));
 extern void    db_end_line(void);
 extern void    db_printf(const char *fmt, ...);
 /* alternate name */
diff --git a/ddb/db_run.c b/ddb/db_run.c
index 945d097..6e409ff 100644
--- a/ddb/db_run.c
+++ b/ddb/db_run.c
@@ -249,7 +249,7 @@ db_single_step(regs, task)
 db_breakpoint_t        db_not_taken_bkpt = 0;
 db_breakpoint_t        db_taken_bkpt = 0;
 
-db_breakpoint_t
+db_breakpoint_t __attribute__ ((pure))
 db_find_temp_breakpoint(task, addr)
        const task_t    task;
        db_addr_t       addr;
diff --git a/ddb/db_sym.c b/ddb/db_sym.c
index bbf14bd..beb4d18 100644
--- a/ddb/db_sym.c
+++ b/ddb/db_sym.c
@@ -88,7 +88,7 @@ db_add_symbol_table(type, start, end, name, ref, map_pointer)
  *  Note: return value points to static data whose content is
  *  overwritten by each call... but in practice this seems okay.
  */
-static char *
+static char * __attribute__ ((pure))
 db_qualify(symname, symtabname)
        const char      *symname;
        const char      *symtabname;
diff --git a/device/dev_name.c b/device/dev_name.c
index 49d96aa..4cc046a 100644
--- a/device/dev_name.c
+++ b/device/dev_name.c
@@ -63,7 +63,7 @@ nomap(void)
  *   src and target are equal in first 'len' characters
  *   next character of target is 0 (end of string).
  */
-boolean_t
+boolean_t __attribute__ ((pure))
 name_equal(src, len, target)
        const char      *src;
        int             len;
diff --git a/include/string.h b/include/string.h
index c77d387..c31b429 100644
--- a/include/string.h
+++ b/include/string.h
@@ -32,7 +32,7 @@ extern void *memcpy (void *dest, const void *src, size_t n);
 
 extern void *memmove (void *dest, const void *src, size_t n);
 
-extern int memcmp (const void *s1, const void *s2, size_t n);
+extern int memcmp (const void *s1, const void *s2, size_t n) __attribute__ 
((pure));
 
 extern void *memset (void *s, int c, size_t n);
 
@@ -46,11 +46,11 @@ extern char *strrchr (const char *s, int c);
 
 extern char *strsep (char **strp, const char *delim);
 
-extern int strcmp (const char *s1, const char *s2);
+extern int strcmp (const char *s1, const char *s2) __attribute__ ((pure));
 
-extern int strncmp (const char *s1, const char *s2, size_t n);
+extern int strncmp (const char *s1, const char *s2, size_t n) __attribute__ 
((pure));
 
-extern size_t strlen (const char *s);
+extern size_t strlen (const char *s) __attribute__ ((pure));
 
 extern char *strstr(const char *haystack, const char *needle);
 
diff --git a/kern/strings.c b/kern/strings.c
index 0752722..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,
@@ -161,7 +161,7 @@ strncpy(
  *     the terminating null character.
  */
 
-size_t
+size_t __attribute__ ((pure))
 strlen(
        const char *string)
 {
-- 
1.8.1.4