1// RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s
2
3struct foo {
4    void *a;
5    int b;
6};
7
8// CHECK: @u = global %union.anon zeroinitializer
9union { int i; float f; } u = { };
10
11// CHECK: @u2 = global { i32, [4 x i8] } { i32 0, [4 x i8] undef }
12union { int i; double f; } u2 = { };
13
14// CHECK: @u3 = global  %union.anon.1 zeroinitializer
15union { double f; int i; } u3 = { };
16
17// CHECK: @b = global [2 x i32] [i32 0, i32 22]
18int b[2] = {
19  [1] = 22
20};
21
22// PR6955
23
24struct ds {
25  struct {
26    struct {
27      short a;
28    };
29    short b;
30    struct {
31      short c;
32    };
33  };
34};
35
36// Traditional C anonymous member init
37struct ds ds0 = { { { .a = 0 } } };
38// C1X lookup-based anonymous member init cases
39struct ds ds1 = { { .a = 1 } };
40struct ds ds2 = { { .b = 1 } };
41struct ds ds3 = { .a = 0 };
42// CHECK: @ds4 = global %struct.ds { %struct.anon.3 { %struct.anon zeroinitializer, i16 0, %struct.anon.2 { i16 1 } } }
43struct ds ds4 = { .c = 1 };
44struct ds ds5 = { { { .a = 0 } }, .b = 1 };
45struct ds ds6 = { { .a = 0, .b = 1 } };
46// CHECK: @ds7 = global %struct.ds { %struct.anon.3 { %struct.anon { i16 2 }, i16 3, %struct.anon.2 zeroinitializer } }
47struct ds ds7 = {
48  { {
49      .a = 1
50    } },
51  .a = 2,
52  .b = 3
53};
54
55void test1(int argc, char **argv)
56{
57  // CHECK: internal global %struct.foo { i8* null, i32 1024 }
58  static struct foo foo = {
59    .b = 1024,
60  };
61
62  // CHECK: bitcast %union.anon.4* %u2
63  // CHECK: call void @llvm.memset
64   union { int i; float f; } u2 = { };
65
66  // CHECK-NOT: call void @llvm.memset
67  union { int i; float f; } u3;
68
69  // CHECK: ret void
70}
71
72
73// PR7151
74struct S {
75  int nkeys;
76  int *keys;
77  union {
78    void *data;
79  };
80};
81
82void test2() {
83  struct S *btkr;
84
85  *btkr = (struct S) {
86    .keys  = 0,
87    { .data  = 0 },
88  };
89}
90