2017-03-04 02:02:02 +08:00
|
|
|
// RUN: not --crash %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection %s 2>&1 | FileCheck %s
|
2013-07-24 00:02:54 +08:00
|
|
|
// REQUIRES: crash-recovery
|
2013-07-23 10:15:16 +08:00
|
|
|
|
2015-01-29 21:23:23 +08:00
|
|
|
// FIXME: CHECKs might be incompatible to win32.
|
2015-02-11 03:53:38 +08:00
|
|
|
// Stack traces also require back traces.
|
2015-02-12 03:45:13 +08:00
|
|
|
// REQUIRES: shell, backtrace
|
2015-01-29 21:23:23 +08:00
|
|
|
|
2013-07-23 10:15:16 +08:00
|
|
|
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()
|
2013-07-24 00:12:18 +08:00
|
|
|
// CHECK-NEXT: 3. {{.*}}crash-trace.c:{{[0-9]+}}:3: Error evaluating statement
|