]> granicus.if.org Git - clang/commitdiff
[analyzer] Add test for crash tracing (r186639)
authorJordan Rose <jordan_rose@apple.com>
Tue, 23 Jul 2013 02:15:16 +0000 (02:15 +0000)
committerJordan Rose <jordan_rose@apple.com>
Tue, 23 Jul 2013 02:15:16 +0000 (02:15 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@186926 91177308-0d34-0410-b5e6-96231b3b80d8

test/Analysis/crash-trace.c [new file with mode: 0644]

diff --git a/test/Analysis/crash-trace.c b/test/Analysis/crash-trace.c
new file mode 100644 (file)
index 0000000..5b1189d
--- /dev/null
@@ -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