1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG %s 2>&1 \
2*67e74705SXin Li // RUN: | FileCheck %s
3*67e74705SXin Li
4*67e74705SXin Li struct Q { int a, b, c; };
5*67e74705SXin Li union UQ { struct Q q; };
getUQ()6*67e74705SXin Li union UQ getUQ() {
7*67e74705SXin Li union UQ u = { { 1, 2, 3 } };
8*67e74705SXin Li return u;
9*67e74705SXin Li }
10*67e74705SXin Li
test()11*67e74705SXin Li void test() {
12*67e74705SXin Li struct LUQ { union UQ uq; } var = { getUQ(), .uq.q.a = 100 };
13*67e74705SXin Li struct Q s[] = {
14*67e74705SXin Li [0] = (struct Q){1, 2},
15*67e74705SXin Li [0].c = 3
16*67e74705SXin Li };
17*67e74705SXin Li }
18*67e74705SXin Li
19*67e74705SXin Li // CHECK: void test()
20*67e74705SXin Li // CHECK: [B1]
21*67e74705SXin Li // CHECK: 1: getUQ
22*67e74705SXin Li // CHECK: 2: [B1.1] (ImplicitCastExpr, FunctionToPointerDecay, union UQ (*)())
23*67e74705SXin Li // CHECK: 3: [B1.2]()
24*67e74705SXin Li // CHECK: 4: 100
25*67e74705SXin Li // CHECK: 5: /*no init*/
26*67e74705SXin Li // CHECK: 6: /*no init*/
27*67e74705SXin Li // CHECK: 7: {[B1.4], [B1.5], [B1.6]}
28*67e74705SXin Li // CHECK: 8: {[B1.7]}
29*67e74705SXin Li // CHECK: 9: {/*base*/[B1.3], /*updater*/[B1.8]}
30*67e74705SXin Li // CHECK: 10: {[B1.3], .uq.q.a = [B1.4]}
31*67e74705SXin Li // CHECK: 11: struct LUQ var = {getUQ(), .uq.q.a = 100};
32*67e74705SXin Li // CHECK: 12: 1
33*67e74705SXin Li // CHECK: 13: 2
34*67e74705SXin Li // CHECK: 14: /*implicit*/(int)0
35*67e74705SXin Li // CHECK: 15: {[B1.12], [B1.13]}
36*67e74705SXin Li // CHECK: 18: /*no init*/
37*67e74705SXin Li // CHECK: 19: /*no init*/
38*67e74705SXin Li // CHECK: 20: 3
39*67e74705SXin Li // CHECK: 21: {[B1.18], [B1.19], [B1.20]}
40*67e74705SXin Li // CHECK: 22: {/*base*/[B1.17], /*updater*/[B1.21]}
41*67e74705SXin Li // CHECK: 24: struct Q s[] = {[0] = (struct Q){1, 2}, [0].c = 3};
42