diff options
| -rw-r--r-- | clang/test/Analysis/exploded-graph-rewriter/dynamic_types.cpp | 21 |
1 files changed, 21 insertions, 0 deletions
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 00000000000..a92c1077691 --- /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; +} |
