1 // FIXME: Figure out how to use %clang_analyze_cc1 with our lit.local.cfg.
2 // RUN: %clang_cc1 -analyze -triple x86_64-unknown-linux-gnu \
3 // RUN:                     -analyzer-checker=core \
4 // RUN:                     -analyzer-dump-egraph=%t.dot %s
5 // RUN: %exploded_graph_rewriter %t.dot | FileCheck %s
6 // REQUIRES: asserts
7 
8 // FIXME: Substitution doesn't seem to work on Windows.
9 // UNSUPPORTED: system-windows
10 
11 struct A {
12   A() {}
13 };
14 
15 struct B {
16   A a;
17   B() : a() {}
18 };
19 
20 void test() {
21   // CHECK: (construct into member variable)
22   // CHECK-SAME: <td align="left">a</td>
23   // CHECK-SAME: <td align="left">&amp;b.a</td>
24   B b;
25 }
26