From dbad95d3908c96bb4c6b6bbd58fe5fb7728e5e54 Mon Sep 17 00:00:00 2001
From: Artem Dergachev <artem.dergachev@gmail.com>
Date: Mon, 1 Jul 2019 23:06:08 +0000
Subject: [PATCH] [analyzer] exploded-graph-rewriter: NFC: Add a forgotten test
 file.

This fell off of r364865.

llvm-svn: 364871
---
 .../exploded-graph-rewriter/dynamic_types.cpp       | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 clang/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp

diff --git a/clang/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp b/clang/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp
new file mode 100644
index 0000000..a92c107
--- /dev/null
+++ b/clang/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp
@@ -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;
+}
-- 
2.7.4