#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int *malloc(int);
int rand();
void main() {
  int x, y, z;
  int *p, *q, *r;
  int **a, **b, **c;
  int *m;
  a = &p;
  b = &q;
  p = &x;
  q = &y;
  *a = &z;
  *b = *a;
  r = *a;
  c = &q;
  c = &r;
  m = malloc(sizeof(int *));
  *c = m;
  switch (rand()) {
  case 0:
    assert(p != &x);
  case 1:
    assert(p != &z);
  case 2:
    assert(q != m);
  case 3:
    assert(q != &x);
  case 4:
    assert(q != &y);
  case 5:
    assert(q != &z);
  case 6:
    assert(r != m);
  case 7:
    assert(r != &x);
  case 8:
    assert(r != &z);
  case 9:
    assert(a != &p);
  case 10:
    assert(b != &q);
  case 11:
    assert(c != &q);
  default:
    assert(c != &r);
  }
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
lea    -0x18(%rbp),%rax
mov    %rax,-0x30(%rbp)
lea    -0x20(%rbp),%rax
mov    %rax,-0x38(%rbp)
lea    -0x4(%rbp),%rcx
mov    %rcx,-0x18(%rbp)
lea    -0x8(%rbp),%rcx
mov    %rcx,-0x20(%rbp)
mov    -0x30(%rbp),%rcx
lea    -0xc(%rbp),%rdx
mov    %rdx,(%rcx)
mov    -0x30(%rbp),%rcx
mov    (%rcx),%rdx
mov    -0x38(%rbp),%rcx
mov    %rdx,(%rcx)
mov    -0x30(%rbp),%rcx
mov    (%rcx),%rcx
mov    %rcx,-0x28(%rbp)
mov    %rax,-0x40(%rbp)
lea    -0x28(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    $0x8,%edi
call   1040 <malloc@plt>
mov    %rax,-0x48(%rbp)
mov    -0x48(%rbp),%rcx
mov    -0x40(%rbp),%rax
mov    %rcx,(%rax)
xor    %eax,%eax
call   1050 <rand@plt>
mov    %eax,%ecx
mov    %rcx,-0x50(%rbp)
sub    $0xb,%eax
ja     12c7 <main+0x197>
mov    -0x50(%rbp),%rax
lea    0xe3e(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
lea    -0x4(%rbp),%rax
cmp    %rax,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0xc(%rbp),%rax
cmp    %rax,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x20(%rbp),%rax
cmp    -0x48(%rbp),%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x4(%rbp),%rax
cmp    %rax,-0x20(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x8(%rbp),%rax
cmp    %rax,-0x20(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0xc(%rbp),%rax
cmp    %rax,-0x20(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
mov    -0x28(%rbp),%rax
cmp    -0x48(%rbp),%rax
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x4(%rbp),%rax
cmp    %rax,-0x28(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0xc(%rbp),%rax
cmp    %rax,-0x28(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x18(%rbp),%rax
cmp    %rax,-0x30(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x20(%rbp),%rax
cmp    %rax,-0x38(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x20(%rbp),%rax
cmp    %rax,-0x40(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
lea    -0x28(%rbp),%rax
cmp    %rax,-0x40(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1030 <assert@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
mov    $0x8,%edi
call   1040 <malloc@plt>
xor    %eax,%eax
call   1050 <rand@plt>
cmp    $0xb,%eax
ja     11c2 <main+0x92>
mov    %eax,%eax
lea    0xeb0(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    $0x1,%edi
call   1030 <assert@plt>
xor    %edi,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
xor    %edi,%edi
call   1030 <assert@plt>
xor    %edi,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
xor    %edi,%edi
call   1030 <assert@plt>
xor    %edi,%edi
call   1030 <assert@plt>
mov    $0x1,%edi
call   1030 <assert@plt>
xor    %edi,%edi
pop    %rax
jmp    1030 <assert@plt>

LLVM IR (-O0):
define void @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*
store i32** %4, i32*** %7
store i32** %5, i32*** %8
store i32* %1, i32** %4
store i32* %2, i32** %5
%11 = load i32**, i32*** %7
store i32* %3, i32** %11
%12 = load i32**, i32*** %7
%13 = load i32*, i32** %12
%14 = load i32**, i32*** %8
store i32* %13, i32** %14
%15 = load i32**, i32*** %7
%16 = load i32*, i32** %15
store i32* %16, i32** %6
store i32** %5, i32*** %9
store i32** %6, i32*** %9
%17 = call i32* @malloc(i32 8)
store i32* %17, i32** %10
%18 = load i32*, i32** %10
%19 = load i32**, i32*** %9
store i32* %18, i32** %19
%20 = call i32 (...) @rand()
switch i32 %20, label %83 [
i32 0, label %21
i32 1, label %26
i32 2, label %31
i32 3, label %37
i32 4, label %42
i32 5, label %47
i32 6, label %52
i32 7, label %58
i32 8, label %63
i32 9, label %68
i32 10, label %73
i32 11, label %78
]
21: ; preds = %0
%22 = load i32*, i32** %4
%23 = icmp ne i32* %22, %1
%24 = zext i1 %23 to i32
%25 = call i32 @assert(i32 %24)
br label %26
26: ; preds = %0, %21
%27 = load i32*, i32** %4
%28 = icmp ne i32* %27, %3
%29 = zext i1 %28 to i32
%30 = call i32 @assert(i32 %29)
br label %31
31: ; preds = %0, %26
%32 = load i32*, i32** %5
%33 = load i32*, i32** %10
%34 = icmp ne i32* %32, %33
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
br label %37
37: ; preds = %0, %31
%38 = load i32*, i32** %5
%39 = icmp ne i32* %38, %1
%40 = zext i1 %39 to i32
%41 = call i32 @assert(i32 %40)
br label %42
42: ; preds = %0, %37
%43 = load i32*, i32** %5
%44 = icmp ne i32* %43, %2
%45 = zext i1 %44 to i32
%46 = call i32 @assert(i32 %45)
br label %47
47: ; preds = %0, %42
%48 = load i32*, i32** %5
%49 = icmp ne i32* %48, %3
%50 = zext i1 %49 to i32
%51 = call i32 @assert(i32 %50)
br label %52
52: ; preds = %0, %47
%53 = load i32*, i32** %6
%54 = load i32*, i32** %10
%55 = icmp ne i32* %53, %54
%56 = zext i1 %55 to i32
%57 = call i32 @assert(i32 %56)
br label %58
58: ; preds = %0, %52
%59 = load i32*, i32** %6
%60 = icmp ne i32* %59, %1
%61 = zext i1 %60 to i32
%62 = call i32 @assert(i32 %61)
br label %63
63: ; preds = %0, %58
%64 = load i32*, i32** %6
%65 = icmp ne i32* %64, %3
%66 = zext i1 %65 to i32
%67 = call i32 @assert(i32 %66)
br label %68
68: ; preds = %0, %63
%69 = load i32**, i32*** %7
%70 = icmp ne i32** %69, %4
%71 = zext i1 %70 to i32
%72 = call i32 @assert(i32 %71)
br label %73
73: ; preds = %0, %68
%74 = load i32**, i32*** %8
%75 = icmp ne i32** %74, %5
%76 = zext i1 %75 to i32
%77 = call i32 @assert(i32 %76)
br label %78
78: ; preds = %0, %73
%79 = load i32**, i32*** %9
%80 = icmp ne i32** %79, %5
%81 = zext i1 %80 to i32
%82 = call i32 @assert(i32 %81)
br label %83
83: ; preds = %0, %78
%84 = load i32**, i32*** %9
%85 = icmp ne i32** %84, %6
%86 = zext i1 %85 to i32
%87 = call i32 @assert(i32 %86)
br label %88
88: ; preds = %83
ret void
}

LLVM IR (-O2):
define void @main() {
%1 = tail call i32* @malloc(i32 8)
%2 = tail call i32 (...) @rand()
switch i32 %2, label %27 [
i32 0, label %3
i32 1, label %5
i32 2, label %7
i32 3, label %9
i32 4, label %11
i32 5, label %13
i32 6, label %15
i32 7, label %17
i32 8, label %19
i32 9, label %21
i32 10, label %23
i32 11, label %25
]
3: ; preds = %0
%4 = tail call i32 @assert(i32 1)
br label %5
5: ; preds = %0, %3
%6 = tail call i32 @assert(i32 0)
br label %7
7: ; preds = %0, %5
%8 = tail call i32 @assert(i32 1)
br label %9
9: ; preds = %0, %7
%10 = tail call i32 @assert(i32 1)
br label %11
11: ; preds = %0, %9
%12 = tail call i32 @assert(i32 1)
br label %13
13: ; preds = %0, %11
%14 = tail call i32 @assert(i32 0)
br label %15
15: ; preds = %0, %13
%16 = tail call i32 @assert(i32 0)
br label %17
17: ; preds = %0, %15
%18 = tail call i32 @assert(i32 1)
br label %19
19: ; preds = %0, %17
%20 = tail call i32 @assert(i32 1)
br label %21
21: ; preds = %0, %19
%22 = tail call i32 @assert(i32 0)
br label %23
23: ; preds = %0, %21
%24 = tail call i32 @assert(i32 0)
br label %25
25: ; preds = %0, %23
%26 = tail call i32 @assert(i32 1)
br label %27
27: ; preds = %0, %25
%28 = tail call i32 @assert(i32 0)
ret void
}