summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis
diff options
context:
space:
mode:
authorJordan Rose <jordan_rose@apple.com>2013-04-15 20:39:37 +0000
committerJordan Rose <jordan_rose@apple.com>2013-04-15 20:39:37 +0000
commitd02adbf03c994c5280c3641d16fce1169ad1ff4e (patch)
tree6eed0482cabb992a622b4750797afa188b89a0de /clang/test/Analysis
parent6e221097ea02e790f6335f3cc60a3983bcfb6ce6 (diff)
downloadbcm5719-llvm-d02adbf03c994c5280c3641d16fce1169ad1ff4e.tar.gz
bcm5719-llvm-d02adbf03c994c5280c3641d16fce1169ad1ff4e.zip
[analyzer] Tests: move system functions into system header simulator files.
Some checkers ascribe different behavior to functions declared in system headers, so when working with standard library functions it's probably best to always have them in a standard location. Test change only (no functionality change), but necessary for the next commit. llvm-svn: 179552
Diffstat (limited to 'clang/test/Analysis')
-rw-r--r--clang/test/Analysis/Inputs/system-header-simulator.h7
-rw-r--r--clang/test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp4
-rw-r--r--clang/test/Analysis/taint-tester.c15
3 files changed, 8 insertions, 18 deletions
diff --git a/clang/test/Analysis/Inputs/system-header-simulator.h b/clang/test/Analysis/Inputs/system-header-simulator.h
index 04688c782a0..e5efeb81f7d 100644
--- a/clang/test/Analysis/Inputs/system-header-simulator.h
+++ b/clang/test/Analysis/Inputs/system-header-simulator.h
@@ -14,8 +14,11 @@ extern FILE *__stdinp;
extern FILE *__stdoutp;
extern FILE *__stderrp;
-
+int scanf(const char *restrict format, ...);
int fscanf(FILE *restrict, const char *restrict, ...);
+int printf(const char *restrict format, ...);
+int fprintf(FILE *restrict, const char *restrict, ...);
+int getchar(void);
// Note, on some platforms errno macro gets replaced with a function call.
extern int errno;
@@ -37,6 +40,8 @@ typedef __darwin_off_t fpos_t;
void setbuf(FILE * restrict, char * restrict);
int setvbuf(FILE * restrict, char * restrict, int, size_t);
+FILE *fopen(const char * restrict, const char * restrict);
+int fclose(FILE *);
FILE *funopen(const void *,
int (*)(void *, char *, int),
int (*)(void *, const char *, int),
diff --git a/clang/test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp b/clang/test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp
index b1ee4c85cf5..5a596d47eca 100644
--- a/clang/test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp
+++ b/clang/test/Analysis/Malloc+MismatchedDeallocator+NewDelete.cpp
@@ -1,9 +1,7 @@
// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,unix.MismatchedDeallocator,cplusplus.NewDelete -std=c++11 -verify %s
// RUN: %clang_cc1 -analyze -analyzer-checker=core,unix.Malloc,unix.MismatchedDeallocator,cplusplus.NewDelete,alpha.cplusplus.NewDeleteLeaks -DLEAKS -std=c++11 -verify %s
-typedef __typeof(sizeof(int)) size_t;
-void *malloc(size_t);
-void free(void *);
+#include "Inputs/system-header-simulator-for-malloc.h"
//--------------------------------------------------
// Check that unix.Malloc catches all types of bugs.
diff --git a/clang/test/Analysis/taint-tester.c b/clang/test/Analysis/taint-tester.c
index 7b0ab2a5fd3..6287198eda4 100644
--- a/clang/test/Analysis/taint-tester.c
+++ b/clang/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];
OpenPOWER on IntegriCloud