From be1ce42e936c96776b661ba5a93b0c9d0d76bb31 Mon Sep 17 00:00:00 2001 From: Marin Ramesa Date: Fri, 20 Dec 2013 13:29:00 +0100 Subject: Mark pure functions with attribute pure --- ddb/db_output.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ddb/db_output.c') diff --git a/ddb/db_output.c b/ddb/db_output.c index f7561d24..f2829cc4 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); -- cgit v1.2.3