Author: dergachev
Date: Mon Jul 1 16:06:08 2019
New Revision: 364871
URL: http://llvm.org/viewvc/llvm-project?rev=364871&view=rev
Log:
[analyzer] exploded-graph-rewriter: NFC: Add a forgotten test file.
This fell off of r364865.
Added:
cfe/trunk/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp
Added: cfe/trunk/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp
URL:
http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp?rev=364871&view=auto
==============================================================================
--- cfe/trunk/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp (added)
+++ cfe/trunk/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp Mon Jul
1 16:06:08 2019
@@ -0,0 +1,21 @@
+// FIXME: Figure out how to use %clang_analyze_cc1 with our lit.local.cfg.
+// RUN: %clang_cc1 -analyze -triple x86_64-unknown-linux-gnu \
+// RUN: -analyzer-checker=core \
+// RUN: -analyzer-dump-egraph=%t.dot %s
+// RUN: %exploded_graph_rewriter %t.dot | FileCheck %s
+// REQUIRES: asserts
+
+// FIXME: Substitution doesn't seem to work on Windows.
+// UNSUPPORTED: system-windows
+
+struct S {};
+
+void test() {
+ // CHECK: Dynamic Types:
+ // CHECK-SAME: <tr><td align="left"><table border="0"><tr>
+ // CHECK-SAME: <td align="left">HeapSymRegion\{conj_$1\{struct S *, LC1,
+ // CHECK-SAME: S{{[0-9]*}}, #1\}\}</td>
+ // CHECK-SAME: <td align="left">struct S</td>
+ // CHECK-SAME: </tr></table></td></tr>
+ new S;
+}
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
