int main(int argc, const char **argv) {
  unsigned long res;
  return 0;
  if (__builtin_mul_overflow((unsigned long)0x0, (unsigned long)0x0, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x0,
                             (unsigned long)0x7FFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x0,
                             (unsigned long)0x8000000000000000, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x1,
                             (unsigned long)0x7FFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x1,
                             (unsigned long)0x8000000000000000, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x2,
                             (unsigned long)0x3FFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x2,
                              (unsigned long)0xC000000000000000, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x2,
                             (unsigned long)0x7FFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x2,
                              (unsigned long)0x8000000000000000, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x4,
                              (unsigned long)0x7FFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x4,
                              (unsigned long)0x8000000000000000, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x0F, (unsigned long)0x8, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x1000000000000000,
                             (unsigned long)0x8, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x1000000000000000,
                              (unsigned long)0x1000000000000000, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x7FFFFFFFFFFFFFFF,
                             (unsigned long)0x0, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x7FFFFFFFFFFFFFFF,
                             (unsigned long)0x1, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x7FFFFFFFFFFFFFFF,
                             (unsigned long)0x2, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x7FFFFFFFFFFFFFFF,
                              (unsigned long)0x4, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x7FFFFFFFFFFFFFFF,
                              (unsigned long)0x7FFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x7FFFFFFFFFFFFFFF,
                              (unsigned long)0x8000000000000000, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x8000000000000000,
                             (unsigned long)0x0, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0x8000000000000000,
                             (unsigned long)0x1, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x8000000000000000,
                              (unsigned long)0x2, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x8000000000000000,
                              (unsigned long)0x7FFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0x8000000000000000,
                              (unsigned long)0x8000000000000000, &res)) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0xFFFFFFFFFFFFFFFF,
                             (unsigned long)0x0, &res)) {
    return -1;
  }
  if (res != 0x0) {
    return -1;
  }
  if (__builtin_mul_overflow((unsigned long)0xFFFFFFFFFFFFFFFF,
                             (unsigned long)0x1, &res)) {
    return -1;
  }
  if (res != 0xFFFFFFFFFFFFFFFF) {
    return -1;
  }
  if (!__builtin_mul_overflow((unsigned long)0xFFFFFFFFFFFFFFFF,
                              (unsigned long)0xFFFFFFFFFFFFFFFF, &res)) {
    return -1;
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
xor    %eax,%eax
pop    %rbp
ret

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

LLVM IR (-O0):
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i64
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
ret i32 0
}

LLVM IR (-O2):
define i32 @main(i32 %0, i8** nocapture readnone %1) {
ret i32 0
}