int main() {
  int a = 5, b = 10;
  int c = a + b;
  if (c != 15)
    return 1;
  int d = c + 5;
  if (d != 20)
    return 2;
  int e = 2 + 4;
  if (e != 6)
    return 3;
  int f = e + d;
  if (f != 26)
    return 4;
  int g = f + f + e;
  if (g != 58)
    return 5;
  int i = g + g;
  i = i + i;
  if (i != 232)
    return 6;
  int dummy;
  dummy = 0;
  long never_dead;
  never_dead = 1099511627776;
  long j = 1099511627776;
  never_dead = j + 1099511627776;
  if (never_dead != 1099511627776 + 1099511627776)
    return 7;
  long k = 1099511627776;
  never_dead = 1099511627776 + k;
  if (never_dead != 1099511627776 + 1099511627776)
    return 8;
  long not_dead = 1099511627776;
  never_dead = not_dead + 1099511627776;
  if (never_dead != 1099511627776 + 1099511627776)
    return 9;
  never_dead = 1099511627776 + not_dead;
  if (never_dead != 1099511627776 + 1099511627776)
    return 10;
  if (1099511627776 + 1099511627776 != never_dead)
    return 11;
  dummy = dummy + never_dead + not_dead;
  unsigned int l = 4294967295;
  unsigned int m = 4294967295;
  if (l + m != (unsigned int)4294967295 + (unsigned int)4294967295)
    return 12;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
movl   $0x5,-0x8(%rbp)
movl   $0xa,-0xc(%rbp)
mov    -0x8(%rbp),%eax
add    -0xc(%rbp),%eax
mov    %eax,-0x10(%rbp)
cmpl   $0xf,-0x10(%rbp)
je     1138 <main+0x38>
movl   $0x1,-0x4(%rbp)
jmp    133a <main+0x23a>
mov    -0x10(%rbp),%eax
add    $0x5,%eax
mov    %eax,-0x14(%rbp)
cmpl   $0x14,-0x14(%rbp)
je     1157 <main+0x57>
movl   $0x2,-0x4(%rbp)
jmp    133a <main+0x23a>
movl   $0x6,-0x18(%rbp)
cmpl   $0x6,-0x18(%rbp)
je     1174 <main+0x74>
movl   $0x3,-0x4(%rbp)
jmp    133a <main+0x23a>
mov    -0x18(%rbp),%eax
add    -0x14(%rbp),%eax
mov    %eax,-0x1c(%rbp)
cmpl   $0x1a,-0x1c(%rbp)
je     1193 <main+0x93>
movl   $0x4,-0x4(%rbp)
jmp    133a <main+0x23a>
mov    -0x1c(%rbp),%eax
add    -0x1c(%rbp),%eax
add    -0x18(%rbp),%eax
mov    %eax,-0x20(%rbp)
cmpl   $0x3a,-0x20(%rbp)
je     11b5 <main+0xb5>
movl   $0x5,-0x4(%rbp)
jmp    133a <main+0x23a>
mov    -0x20(%rbp),%eax
add    -0x20(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
add    -0x24(%rbp),%eax
mov    %eax,-0x24(%rbp)
cmpl   $0xe8,-0x24(%rbp)
je     11e0 <main+0xe0>
movl   $0x6,-0x4(%rbp)
jmp    133a <main+0x23a>
movl   $0x0,-0x28(%rbp)
movabs $0x10000000000,%rax
mov    %rax,-0x30(%rbp)
movabs $0x10000000000,%rax
mov    %rax,-0x38(%rbp)
movabs $0x10000000000,%rax
add    -0x38(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0x20000000000,%rax
cmp    %rax,-0x30(%rbp)
je     1235 <main+0x135>
movl   $0x7,-0x4(%rbp)
jmp    133a <main+0x23a>
movabs $0x10000000000,%rax
mov    %rax,-0x40(%rbp)
movabs $0x10000000000,%rax
add    -0x40(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0x20000000000,%rax
cmp    %rax,-0x30(%rbp)
je     1275 <main+0x175>
movl   $0x8,-0x4(%rbp)
jmp    133a <main+0x23a>
movabs $0x10000000000,%rax
mov    %rax,-0x48(%rbp)
movabs $0x10000000000,%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0x20000000000,%rax
cmp    %rax,-0x30(%rbp)
je     12b5 <main+0x1b5>
movl   $0x9,-0x4(%rbp)
jmp    133a <main+0x23a>
movabs $0x10000000000,%rax
add    -0x48(%rbp),%rax
mov    %rax,-0x30(%rbp)
movabs $0x20000000000,%rax
cmp    %rax,-0x30(%rbp)
je     12e7 <main+0x1e7>
movl   $0xa,-0x4(%rbp)
jmp    133a <main+0x23a>
movabs $0x20000000000,%rax
cmp    -0x30(%rbp),%rax
je     1307 <main+0x207>
movl   $0xb,-0x4(%rbp)
jmp    133a <main+0x23a>
movslq -0x28(%rbp),%rax
add    -0x30(%rbp),%rax
add    -0x48(%rbp),%rax
mov    %eax,-0x28(%rbp)
movl   $0xffffffff,-0x4c(%rbp)
movl   $0xffffffff,-0x50(%rbp)
mov    -0x4c(%rbp),%eax
add    -0x50(%rbp),%eax
cmp    $0xfffffffe,%eax
je     133a <main+0x23a>
movl   $0xc,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

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

LLVM IR (-O0):
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i32
%16 = alloca i32
store i32 0, i32* %1
store i32 5, i32* %2
store i32 10, i32* %3
%17 = load i32, i32* %2
%18 = load i32, i32* %3
%19 = add nsw i32 %17, %18
store i32 %19, i32* %4
%20 = load i32, i32* %4
%21 = icmp ne i32 %20, 15
br i1 %21, label %22, label %23
22: ; preds = %0
store i32 1, i32* %1
br label %100
23: ; preds = %0
%24 = load i32, i32* %4
%25 = add nsw i32 %24, 5
store i32 %25, i32* %5
%26 = load i32, i32* %5
%27 = icmp ne i32 %26, 20
br i1 %27, label %28, label %29
28: ; preds = %23
store i32 2, i32* %1
br label %100
29: ; preds = %23
store i32 6, i32* %6
%30 = load i32, i32* %6
%31 = icmp ne i32 %30, 6
br i1 %31, label %32, label %33
32: ; preds = %29
store i32 3, i32* %1
br label %100
33: ; preds = %29
%34 = load i32, i32* %6
%35 = load i32, i32* %5
%36 = add nsw i32 %34, %35
store i32 %36, i32* %7
%37 = load i32, i32* %7
%38 = icmp ne i32 %37, 26
br i1 %38, label %39, label %40
39: ; preds = %33
store i32 4, i32* %1
br label %100
40: ; preds = %33
%41 = load i32, i32* %7
%42 = load i32, i32* %7
%43 = add nsw i32 %41, %42
%44 = load i32, i32* %6
%45 = add nsw i32 %43, %44
store i32 %45, i32* %8
%46 = load i32, i32* %8
%47 = icmp ne i32 %46, 58
br i1 %47, label %48, label %49
48: ; preds = %40
store i32 5, i32* %1
br label %100
49: ; preds = %40
%50 = load i32, i32* %8
%51 = load i32, i32* %8
%52 = add nsw i32 %50, %51
store i32 %52, i32* %9
%53 = load i32, i32* %9
%54 = load i32, i32* %9
%55 = add nsw i32 %53, %54
store i32 %55, i32* %9
%56 = load i32, i32* %9
%57 = icmp ne i32 %56, 232
br i1 %57, label %58, label %59
58: ; preds = %49
store i32 6, i32* %1
br label %100
59: ; preds = %49
store i32 0, i32* %10
store i64 1099511627776, i64* %11
store i64 1099511627776, i64* %12
%60 = load i64, i64* %12
%61 = add nsw i64 %60, 1099511627776
store i64 %61, i64* %11
%62 = load i64, i64* %11
%63 = icmp ne i64 %62, 2199023255552
br i1 %63, label %64, label %65
64: ; preds = %59
store i32 7, i32* %1
br label %100
65: ; preds = %59
store i64 1099511627776, i64* %13
%66 = load i64, i64* %13
%67 = add nsw i64 1099511627776, %66
store i64 %67, i64* %11
%68 = load i64, i64* %11
%69 = icmp ne i64 %68, 2199023255552
br i1 %69, label %70, label %71
70: ; preds = %65
store i32 8, i32* %1
br label %100
71: ; preds = %65
store i64 1099511627776, i64* %14
%72 = load i64, i64* %14
%73 = add nsw i64 %72, 1099511627776
store i64 %73, i64* %11
%74 = load i64, i64* %11
%75 = icmp ne i64 %74, 2199023255552
br i1 %75, label %76, label %77
76: ; preds = %71
store i32 9, i32* %1
br label %100
77: ; preds = %71
%78 = load i64, i64* %14
%79 = add nsw i64 1099511627776, %78
store i64 %79, i64* %11
%80 = load i64, i64* %11
%81 = icmp ne i64 %80, 2199023255552
br i1 %81, label %82, label %83
82: ; preds = %77
store i32 10, i32* %1
br label %100
83: ; preds = %77
%84 = load i64, i64* %11
%85 = icmp ne i64 2199023255552, %84
br i1 %85, label %86, label %87
86: ; preds = %83
store i32 11, i32* %1
br label %100
87: ; preds = %83
%88 = load i32, i32* %10
%89 = sext i32 %88 to i64
%90 = load i64, i64* %11
%91 = add nsw i64 %89, %90
%92 = load i64, i64* %14
%93 = add nsw i64 %91, %92
%94 = trunc i64 %93 to i32
store i32 %94, i32* %10
store i32 -1, i32* %15
store i32 -1, i32* %16
%95 = load i32, i32* %15
%96 = load i32, i32* %16
%97 = add i32 %95, %96
%98 = icmp ne i32 %97, -2
br i1 %98, label %99, label %100
99: ; preds = %87
store i32 12, i32* %1
br label %100
100: ; preds = %22, %28, %32, %39, %48, %58, %64, %70, %76, %82, %86, %99, %87
%101 = load i32, i32* %1
ret i32 %101
}

LLVM IR (-O2):
define i32 @main() {
ret i32 0
}