aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/taint-tester.c
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/taint-tester.c')
-rw-r--r--test/Analysis/taint-tester.c15
1 files changed, 1 insertions, 14 deletions
diff --git a/test/Analysis/taint-tester.c b/test/Analysis/taint-tester.c
index 7b0ab2a5fd34..6287198eda45 100644
--- a/test/Analysis/taint-tester.c
+++ b/test/Analysis/taint-tester.c
@@ -1,10 +1,6 @@
// RUN: %clang_cc1 -Wno-int-to-pointer-cast -analyze -analyzer-checker=alpha.security.taint,debug.TaintTest %s -verify
-#include <stdarg.h>
-
-int scanf(const char *restrict format, ...);
-int getchar(void);
-typedef __typeof(sizeof(int)) size_t;
+#include "Inputs/system-header-simulator.h"
#define BUFSIZE 10
int Buffer[BUFSIZE];
@@ -87,15 +83,6 @@ void getenvTest(char *home) {
}
}
-typedef struct _FILE FILE;
-extern FILE *stdin;
-extern FILE *stdout;
-extern FILE *stderr;
-int fscanf(FILE *restrict stream, const char *restrict format, ...);
-int fprintf(FILE *stream, const char *format, ...);
-int fclose(FILE *stream);
-FILE *fopen(const char *path, const char *mode);
-
int fscanfTest(void) {
FILE *fp;
char s[80];