From 92a69684bcd529c7259ca00043c373ff4ae4a1a7 Mon Sep 17 00:00:00 2001
From: Pavel Roskin <proski@gnu.org>
Date: Thu, 28 Jun 2007 01:40:09 -0400
Subject: [PATCH] Avoid use of libc headers in the validation suite

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 eaeef960..e58312df 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 039236f4..36cb3324 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 6dfa55fe..6b74555b 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
 
-- 
2.11.4.GIT