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