diff --git a/test/Analysis/crash-trace.c b/test/Analysis/crash-trace.c new file mode 100644 index 0000000000000000000000000000000000000000..5b1189d847a34dc8859e56404d923086485bb163 --- /dev/null +++ b/test/Analysis/crash-trace.c @@ -0,0 +1,18 @@ +// RUN: not --crash %clang --analyze -Xanalyzer -analyzer-checker=debug.ExprInspection %s 2>&1 | FileCheck %s + +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:6:3: Error evaluating statement