diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
| commit | bfef399519ca9b8a4b4c6b563253bad7e0eeffe0 (patch) | |
| tree | df8df0b0067b381eab470a3b8f28d14a552a6340 /test/Analysis/crash-trace.c | |
| parent | 6a0372513edbc473b538d2f724efac50405d6fef (diff) | |
Diffstat (limited to 'test/Analysis/crash-trace.c')
| -rw-r--r-- | test/Analysis/crash-trace.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Analysis/crash-trace.c b/test/Analysis/crash-trace.c new file mode 100644 index 000000000000..a2f318d86579 --- /dev/null +++ b/test/Analysis/crash-trace.c @@ -0,0 +1,19 @@ +// RUN: not --crash %clang_cc1 -analyze -analyzer-checker=debug.ExprInspection %s 2>&1 | FileCheck %s +// REQUIRES: crash-recovery + +void clang_analyzer_crash(void); + +void inlined() { + clang_analyzer_crash(); +} + +void test() { + inlined(); +} + +// CHECK: 0. Program arguments: {{.*}}clang +// CHECK-NEXT: 1. <eof> parser at end of file +// CHECK-NEXT: 2. While analyzing stack: +// CHECK-NEXT: #0 void inlined() +// CHECK-NEXT: #1 void test() +// CHECK-NEXT: 3. {{.*}}crash-trace.c:{{[0-9]+}}:3: Error evaluating statement |