diff options
| author | Anna Zaks <ganna@apple.com> | 2012-02-11 23:46:36 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2012-02-11 23:46:36 +0000 |
| commit | 41b84847bf36f5a0ec107725f779d91453f2473b (patch) | |
| tree | c2aef4e99dab98a1d68a1529a8de8a6b06c66520 /clang/test/Analysis/system-header-simulator.h | |
| parent | 330ca97700294aa251c6838304246dd707c0f4b3 (diff) | |
| download | bcm5719-llvm-41b84847bf36f5a0ec107725f779d91453f2473b.tar.gz bcm5719-llvm-41b84847bf36f5a0ec107725f779d91453f2473b.zip | |
[analyzer] Malloc Checker: reduce false negatives rate by assuming that
a pointer cannot escape through calls to system functions. Also, stop
after reporting the first use-after-free.
llvm-svn: 150315
Diffstat (limited to 'clang/test/Analysis/system-header-simulator.h')
| -rw-r--r-- | clang/test/Analysis/system-header-simulator.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clang/test/Analysis/system-header-simulator.h b/clang/test/Analysis/system-header-simulator.h index 68c66574df8..1dd9c5b6074 100644 --- a/clang/test/Analysis/system-header-simulator.h +++ b/clang/test/Analysis/system-header-simulator.h @@ -8,3 +8,6 @@ int fscanf(FILE *restrict stream, const char *restrict format, ...); extern int errno; unsigned long strlen(const char *); + +char *strcpy(char *restrict s1, const char *restrict s2); + |
