summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-12-09 00:24:56 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2019-12-09 00:24:56 +0100
commitfaa80ad61505517b48ed0afc86f39fd3ad021b7d (patch)
tree83cbeef1a4ceed99c3e99a312a7796fc5399ac1d
parentdadcc19ccdcb94aa56595a2f8a2d4c7f0f6a35c2 (diff)
parent74aa8ab9d6e18f7964a80981516f22d1c9a545ae (diff)
downloadsparse-faa80ad61505517b48ed0afc86f39fd3ad021b7d.tar.gz
Merge branch 'no-std-includes'
* testsuite: avoid standard includes in the tests
-rw-r--r--validation/backend/hello.c2
-rw-r--r--validation/backend/sum.c3
2 files changed, 2 insertions, 3 deletions
diff --git a/validation/backend/hello.c b/validation/backend/hello.c
index b0e514be..eb89846f 100644
--- a/validation/backend/hello.c
+++ b/validation/backend/hello.c
@@ -1,4 +1,4 @@
-#include <stdio.h>
+int puts(const char *s);
int main(int argc, char *argv[])
{
diff --git a/validation/backend/sum.c b/validation/backend/sum.c
index fa51120e..38ebf41e 100644
--- a/validation/backend/sum.c
+++ b/validation/backend/sum.c
@@ -1,5 +1,4 @@
-#include <stdio.h>
-#include <stdlib.h>
+int printf(const char * fmt, ...);
static int sum(int n)
{