[PATCH 4/7] Make get_interesting_32bit_value() static

[PATCH 4/7] Make get_interesting_32bit_value() static

[tyson.w.smith]

From: Tyson Smith <tyson.w.smith@gmail.com>

All calls to get_interesting_32bit_value() should now be made to
get_interesting_value() to help simplify generating interesting values.
---
 include/sanitise.h    | 1 -
 interesting-numbers.c | 2 +-
 random.c              | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/include/sanitise.h b/include/sanitise.h
index bd5c823..5001250 100644
--- a/include/sanitise.h
+++ b/include/sanitise.h
@@ -6,7 +6,6 @@ void generic_sanitise(struct syscallrecord *rec);
 void generic_free_arg(struct syscallrecord *rec);
 
 unsigned long get_interesting_value(void);
-unsigned int get_interesting_32bit_value(void);
 
 void *get_address(void);
 void *get_non_null_address(void);
diff --git a/interesting-numbers.c b/interesting-numbers.c
index e08e27d..311b16d 100644
--- a/interesting-numbers.c
+++ b/interesting-numbers.c
@@ -55,7 +55,7 @@ static int get_interesting_16bit_value(void)
 	return num;
 }
 
-unsigned int get_interesting_32bit_value(void)
+static unsigned int get_interesting_32bit_value(void)
 {
 	unsigned int num = 0;
 
diff --git a/random.c b/random.c
index 0601f4f..c20acaf 100644
--- a/random.c
+++ b/random.c
@@ -138,7 +138,7 @@ static unsigned int __rand32(void)
 		break;
 	case 4:	r = rept8(4);
 		break;
-	case 5:	return get_interesting_32bit_value();
+	case 5:	return get_interesting_value();
 	}
 
 	return r;
-- 
1.9.1