crash-trace.c revision 413c572d3b732bf8f79772530dc21883958a3f5f 
1// RUN: not --crash %clang --analyze -Xanalyzer -analyzer-checker=debug.ExprInspection %s 2>&1 | FileCheck %s
2
3void clang_analyzer_crash(void);
4
5void inlined() {
6  clang_analyzer_crash();
7}
8
9void test() {
10  inlined();
11}
12
13// CHECK: 0.	Program arguments: {{.*}}clang
14// CHECK-NEXT: 1.	<eof> parser at end of file
15// CHECK-NEXT: 2. While analyzing stack:
16// CHECK-NEXT:  #0 void inlined()
17// CHECK-NEXT:  #1 void test()
18// CHECK-NEXT: 3.	{{.*}}crash-trace.c:6:3: Error evaluating statement
19