aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
authorPavel Roskin <proski@gnu.org>2007-06-28 01:40:09 -0400
committerJosh Triplett <josh@freedesktop.org>2007-06-27 23:13:37 -0700
commit92a69684bcd529c7259ca00043c373ff4ae4a1a7 (patch)
treea27d38c1c052e3607d016ce1e818ab2b568f5b8b
parentae65a39ead3d0d3baecff00154d644c8dc9ab683 (diff)
downloadsparse-dev-92a69684bcd529c7259ca00043c373ff4ae4a1a7.tar.gz
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>
-rw-r--r--validation/check_byte_count-ice.c2
-rw-r--r--validation/double-semicolon.c2
-rw-r--r--validation/test-be.c4
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