[PATCH 4/6] Avoid use of libc headers in the validation suite

[Pavel Roskin <proski@gnu.org>]

We don't want libc to affect the validation suite.  Compatibility with
libc headers can be checked by other means, e.g. by compiling some
significant program (even sparse itself) using cgcc as the compiler.

Signed-off-by: Pavel Roskin <proski@gnu.org>
---

 validation/check_byte_count-ice.c |    2 +-
 validation/double-semicolon.c     |    2 +-
 validation/test-be.c              |    4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/validation/check_byte_count-ice.c b/validation/check_byte_count-ice.c
index eaeef96..e58312d 100644
--- a/validation/check_byte_count-ice.c
+++ b/validation/check_byte_count-ice.c
@@ -1,4 +1,4 @@
-#include <string.h>
+extern void *memset (void *s, int c, int n);
 
 static void foo(void *a)
 {
diff --git a/validation/double-semicolon.c b/validation/double-semicolon.c
index 039236f..36cb332 100644
--- a/validation/double-semicolon.c
+++ b/validation/double-semicolon.c
@@ -1,4 +1,4 @@
-#include <string.h>
+extern void *memset (void *s, int c, int n);
 static void test(void)
 {
 	struct { int foo;; } val;
diff --git a/validation/test-be.c b/validation/test-be.c
index 6dfa55f..6b74555 100644
--- a/validation/test-be.c
+++ b/validation/test-be.c
@@ -1,5 +1,5 @@
-#include <stdio.h>
-#include <stdlib.h>
+int printf(char *c, ...);
+void exit(int c);
 
 #undef PRINT_OUTPUTS