1// RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG %s 2>&1 \ 2// RUN: | FileCheck %s 3 4struct Q { int a, b, c; }; 5union UQ { struct Q q; }; 6union UQ getUQ() { 7 union UQ u = { { 1, 2, 3 } }; 8 return u; 9} 10 11void 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