diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-08-14 21:06:30 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-08-14 21:06:30 +0000 |
| commit | 3463c9ea4607dd986af7d82c905acbb8b2e21f27 (patch) | |
| tree | 6f330154334d534f98bb166e27d2487c38a7be54 | |
| parent | 9b02102c0ec651977c565188d32ae5e577dffc5e (diff) | |
[analyzer] Add a test forgotten in r339088.
Differential Revision: https://reviews.llvm.org/D50363
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@339726 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | test/Analysis/std-c-library-functions-inlined.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Analysis/std-c-library-functions-inlined.c b/test/Analysis/std-c-library-functions-inlined.c new file mode 100644 index 0000000000..5277a6efbe --- /dev/null +++ b/test/Analysis/std-c-library-functions-inlined.c @@ -0,0 +1,17 @@ +// RUN: %clang_analyze_cc1 -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple i686-unknown-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple x86_64-unknown-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple armv7-a15-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s +// RUN: %clang_analyze_cc1 -triple thumbv7-a15-linux -analyzer-checker=unix.StdCLibraryFunctions -verify %s + +// This test tests crashes that occur when standard functions are available +// for inlining. + +// expected-no-diagnostics + +int isdigit(int _) { return !0; } +void test_redefined_isdigit(int x) { + int (*func)(int) = isdigit; + for (; func(x);) // no-crash + ; +} |