int main() {
  union A *q;
  union A {
    int a_int_1;
    int a_int_2;
    int *a_ptr;
    union B {
      int b_int_one;
      long b_long;
    } nested_union;
    struct C {
      int c_int;
      long c_long;
    } nested_struct;
    long a_long_1;
  } a;
  q = &a;
  void *p1 = q + 1;
  char *p2 = p1;
  void *p3 = p2 - 4 + 4 + 8 + 8 + 4 + 8 + 8;
  union {};
  union I {
  } b;
  if (&b != (&b + 1))
    return 2;
  a.a_int_1 = 10;
  if (a.a_int_1 != 10)
    return 3;
  a.a_ptr = &a.a_int_1;
  *a.a_ptr = 20;
  if (a.a_int_1 != 20)
    return 4;
  q = &a;
  (*q).a_int_2 = 15;
  if (a.a_int_2 != 15)
    return 5;
  if (q->a_int_2 != 15)
    return 11;
  p1 = q;
  p3 = &a.a_int_1;
  if (p1 != p3)
    return 6;
  a.nested_union.b_long = 10;
  if (a.nested_union.b_long != 10)
    return 7;
  if ((*(&a.nested_union)).b_long != 10)
    return 8;
  if ((&a.nested_union)->b_long != 10)
    return 12;
  long *p_val = &a.nested_union.b_long;
  if (*p_val != 10)
    return 9;
  *p_val = 20;
  if (a.nested_union.b_long != 20)
    return 10;
  union A array[10];
  array[3].nested_union.b_int_one = 3;
  if (array[3].nested_union.b_int_one != 3)
    return 13;
  if ((&array[0] + 3)->nested_union.b_int_one != 3)
    return 14;
  union D {
    unsigned short a;
    unsigned int b;
  } u;
  u.b = 4294967295;
  if (u.a != 65535)
    return 15;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0x20(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
add    $0xfffffffffffffffc,%rax
add    $0x4,%rax
add    $0x8,%rax
add    $0x8,%rax
add    $0x4,%rax
add    $0x8,%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
movl   $0xa,-0x20(%rbp)
cmpl   $0xa,-0x20(%rbp)
je     116f <main+0x6f>
movl   $0x3,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
lea    -0x20(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movl   $0x14,(%rax)
cmpl   $0x14,-0x20(%rbp)
je     1197 <main+0x97>
movl   $0x4,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
lea    -0x20(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movl   $0xf,(%rax)
cmpl   $0xf,-0x20(%rbp)
je     11bf <main+0xbf>
movl   $0x5,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
mov    -0x10(%rbp),%rax
cmpl   $0xf,(%rax)
je     11d8 <main+0xd8>
movl   $0xb,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
mov    -0x10(%rbp),%rax
mov    %rax,-0x28(%rbp)
lea    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
cmp    -0x38(%rbp),%rax
je     1202 <main+0x102>
movl   $0x6,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
movq   $0xa,-0x20(%rbp)
cmpq   $0xa,-0x20(%rbp)
je     1221 <main+0x121>
movl   $0x7,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
cmpq   $0xa,-0x20(%rbp)
je     1238 <main+0x138>
movl   $0x8,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
cmpq   $0xa,-0x20(%rbp)
je     124f <main+0x14f>
movl   $0xc,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
lea    -0x20(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rax
cmpq   $0xa,(%rax)
je     1271 <main+0x171>
movl   $0x9,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
mov    -0x48(%rbp),%rax
movq   $0x14,(%rax)
cmpq   $0x14,-0x20(%rbp)
je     1293 <main+0x193>
movl   $0xa,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
movl   $0x3,-0xc0(%rbp)
cmpl   $0x3,-0xc0(%rbp)
je     12b6 <main+0x1b6>
movl   $0xd,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
cmpl   $0x3,-0xc0(%rbp)
je     12cf <main+0x1cf>
movl   $0xe,-0x4(%rbp)
jmp    12f2 <main+0x1f2>
movl   $0xffffffff,-0xf8(%rbp)
ff ff ff
movzwl -0xf8(%rbp),%eax
cmp    $0xffff,%eax
je     12f2 <main+0x1f2>
movl   $0xf,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
xor    %eax,%eax
ret

LLVM IR (-O0):
%union.A = type { %struct.C }
%struct.C = type { i32, i64 }
%union.I = type {}
%union.D = type { i32 }
%union.B = type { i64 }
define i32 @main() {
%1 = alloca i32
%2 = alloca %union.A*
%3 = alloca %union.A
%4 = alloca i8*
%5 = alloca i8*
%6 = alloca i8*
%7 = alloca %union.I
%8 = alloca i64*
%9 = alloca [10 x %union.A]
%10 = alloca %union.D
store i32 0, i32* %1
store %union.A* %3, %union.A** %2
%11 = load %union.A*, %union.A** %2
%12 = getelementptr inbounds %union.A, %union.A* %11, i64 1
%13 = bitcast %union.A* %12 to i8*
store i8* %13, i8** %4
%14 = load i8*, i8** %4
store i8* %14, i8** %5
%15 = load i8*, i8** %5
%16 = getelementptr inbounds i8, i8* %15, i64 -4
%17 = getelementptr inbounds i8, i8* %16, i64 4
%18 = getelementptr inbounds i8, i8* %17, i64 8
%19 = getelementptr inbounds i8, i8* %18, i64 8
%20 = getelementptr inbounds i8, i8* %19, i64 4
%21 = getelementptr inbounds i8, i8* %20, i64 8
%22 = getelementptr inbounds i8, i8* %21, i64 8
store i8* %22, i8** %6
%23 = bitcast %union.A* %3 to i32*
store i32 10, i32* %23
%24 = bitcast %union.A* %3 to i32*
%25 = load i32, i32* %24
%26 = icmp ne i32 %25, 10
br i1 %26, label %27, label %28
27: ; preds = %0
store i32 3, i32* %1
br label %118
28: ; preds = %0
%29 = bitcast %union.A* %3 to i32*
%30 = bitcast %union.A* %3 to i32**
store i32* %29, i32** %30
%31 = bitcast %union.A* %3 to i32**
%32 = load i32*, i32** %31
store i32 20, i32* %32
%33 = bitcast %union.A* %3 to i32*
%34 = load i32, i32* %33
%35 = icmp ne i32 %34, 20
br i1 %35, label %36, label %37
36: ; preds = %28
store i32 4, i32* %1
br label %118
37: ; preds = %28
store %union.A* %3, %union.A** %2
%38 = load %union.A*, %union.A** %2
%39 = bitcast %union.A* %38 to i32*
store i32 15, i32* %39
%40 = bitcast %union.A* %3 to i32*
%41 = load i32, i32* %40
%42 = icmp ne i32 %41, 15
br i1 %42, label %43, label %44
43: ; preds = %37
store i32 5, i32* %1
br label %118
44: ; preds = %37
%45 = load %union.A*, %union.A** %2
%46 = bitcast %union.A* %45 to i32*
%47 = load i32, i32* %46
%48 = icmp ne i32 %47, 15
br i1 %48, label %49, label %50
49: ; preds = %44
store i32 11, i32* %1
br label %118
50: ; preds = %44
%51 = load %union.A*, %union.A** %2
%52 = bitcast %union.A* %51 to i8*
store i8* %52, i8** %4
%53 = bitcast %union.A* %3 to i32*
%54 = bitcast i32* %53 to i8*
store i8* %54, i8** %6
%55 = load i8*, i8** %4
%56 = load i8*, i8** %6
%57 = icmp ne i8* %55, %56
br i1 %57, label %58, label %59
58: ; preds = %50
store i32 6, i32* %1
br label %118
59: ; preds = %50
%60 = bitcast %union.A* %3 to %union.B*
%61 = bitcast %union.B* %60 to i64*
store i64 10, i64* %61
%62 = bitcast %union.A* %3 to %union.B*
%63 = bitcast %union.B* %62 to i64*
%64 = load i64, i64* %63
%65 = icmp ne i64 %64, 10
br i1 %65, label %66, label %67
66: ; preds = %59
store i32 7, i32* %1
br label %118
67: ; preds = %59
%68 = bitcast %union.A* %3 to %union.B*
%69 = bitcast %union.B* %68 to i64*
%70 = load i64, i64* %69
%71 = icmp ne i64 %70, 10
br i1 %71, label %72, label %73
72: ; preds = %67
store i32 8, i32* %1
br label %118
73: ; preds = %67
%74 = bitcast %union.A* %3 to %union.B*
%75 = bitcast %union.B* %74 to i64*
%76 = load i64, i64* %75
%77 = icmp ne i64 %76, 10
br i1 %77, label %78, label %79
78: ; preds = %73
store i32 12, i32* %1
br label %118
79: ; preds = %73
%80 = bitcast %union.A* %3 to %union.B*
%81 = bitcast %union.B* %80 to i64*
store i64* %81, i64** %8
%82 = load i64*, i64** %8
%83 = load i64, i64* %82
%84 = icmp ne i64 %83, 10
br i1 %84, label %85, label %86
85: ; preds = %79
store i32 9, i32* %1
br label %118
86: ; preds = %79
%87 = load i64*, i64** %8
store i64 20, i64* %87
%88 = bitcast %union.A* %3 to %union.B*
%89 = bitcast %union.B* %88 to i64*
%90 = load i64, i64* %89
%91 = icmp ne i64 %90, 20
br i1 %91, label %92, label %93
92: ; preds = %86
store i32 10, i32* %1
br label %118
93: ; preds = %86
%94 = getelementptr inbounds [10 x %union.A], [10 x %union.A]* %9, i64 0, i64 3
%95 = bitcast %union.A* %94 to %union.B*
%96 = bitcast %union.B* %95 to i32*
store i32 3, i32* %96
%97 = getelementptr inbounds [10 x %union.A], [10 x %union.A]* %9, i64 0, i64 3
%98 = bitcast %union.A* %97 to %union.B*
%99 = bitcast %union.B* %98 to i32*
%100 = load i32, i32* %99
%101 = icmp ne i32 %100, 3
br i1 %101, label %102, label %103
102: ; preds = %93
store i32 13, i32* %1
br label %118
103: ; preds = %93
%104 = getelementptr inbounds [10 x %union.A], [10 x %union.A]* %9, i64 0, i64 0
%105 = getelementptr inbounds %union.A, %union.A* %104, i64 3
%106 = bitcast %union.A* %105 to %union.B*
%107 = bitcast %union.B* %106 to i32*
%108 = load i32, i32* %107
%109 = icmp ne i32 %108, 3
br i1 %109, label %110, label %111
110: ; preds = %103
store i32 14, i32* %1
br label %118
111: ; preds = %103
%112 = bitcast %union.D* %10 to i32*
store i32 -1, i32* %112
%113 = bitcast %union.D* %10 to i16*
%114 = load i16, i16* %113
%115 = zext i16 %114 to i32
%116 = icmp ne i32 %115, 65535
br i1 %116, label %117, label %118
117: ; preds = %111
store i32 15, i32* %1
br label %118
118: ; preds = %27, %36, %43, %49, %58, %66, %72, %78, %85, %92, %102, %110, %117, %111
%119 = load i32, i32* %1
ret i32 %119
}

LLVM IR (-O2):
%union.A = type { %struct.C }
%struct.C = type { i32, i64 }
%union.I = type {}
define i32 @main() {
ret i32 0
}