// File: /workspace/github_c_makefile_star2_O0/meaning-matters[P]Except/Test.c
// Function: t4
int t4(void)
{
    try
    {
        assert(0);
    }
    catch (FailedAssertion, e)
    {
        return(8);
    }
    finally
    {
        return(9);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
leaq 0xc251(%rip), %rax      # 0x11260
movq (%rax), %rdi
leaq 0x9447(%rip), %rsi      # 0xe460
movl $0x96, %edx
callq 0x1610
leaq 0xc236(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x12a0
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rdi
leaq 0xc2a3(%rip), %rsi      # 0x112ec
leaq 0x9410(%rip), %rdx      # 0xe460
movl $0x96, %ecx
callq 0x1f60
cmpl $0x0, %eax
je 0x50be
movq -0x18(%rbp), %rax
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x50be
movq -0x18(%rbp), %rax
movq (%rax), %rdi
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1110
cmpl $0x0, %eax
jne 0x50be
movq -0x18(%rbp), %rax
movq (%rax), %rax
movl $0x1, 0x1b8(%rax)
movq -0x18(%rbp), %rdi
xorl %esi, %esi
leaq 0x92ab(%rip), %rdx      # 0xe352
leaq 0x93b2(%rip), %rcx      # 0xe460
movl $0x98, %r8d
callq 0x27a0
jmp 0x51c1
movq -0x18(%rbp), %rdi
leaq 0xc223(%rip), %rsi      # 0x112ec
leaq 0xc040(%rip), %rdx      # 0x11110
leaq 0x9389(%rip), %rcx      # 0xe460
movl $0x9a, %r8d
callq 0x2030
cmpl $0x0, %eax
je 0x51bf
movq -0x18(%rbp), %rax
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x51bf
movq -0x18(%rbp), %rdi
leaq 0xc006(%rip), %rsi      # 0x11110
callq 0x1b80
cmpl $0x0, %eax
je 0x51bf
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rdi
movl $0x1, %esi
callq 0x2550
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movl $0x2, 0x1b8(%rax)
movq -0x18(%rbp), %rdi
callq 0x1240
cmpl $-0x1, %eax
je 0x51b3
movq -0x18(%rbp), %rdi
movl $0xc8, %esi
leaq 0x9303(%rip), %rdx      # 0xe460
movl $0x9c, %ecx
callq 0x28c0
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x38(%rbp)
movq -0x18(%rbp), %rdi
callq 0x12a0
movq -0x38(%rbp), %rcx
movq (%rax), %rax
movq %rcx, 0x1a0(%rax)
movq -0x28(%rbp), %rdi
movl $0x1, %esi
callq 0x1110
cmpl $0x0, %eax
jne 0x51a8
movq -0x18(%rbp), %rdi
callq 0x1f00
jmp 0x51b1
movq -0x28(%rbp), %rdi
callq 0x1040
jmp 0x51b3
movl $0x8, -0x4(%rbp)
jmp 0x533e
jmp 0x51c1
cmpl $0x0, 0xc124(%rip)      # 0x112ec
jne 0x51cf
jmp 0x5023
movq -0x18(%rbp), %rax
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jne 0x520f
movq -0x18(%rbp), %rax
movq (%rax), %rdi
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1110
cmpl $0x0, %eax
jne 0x520f
movq -0x18(%rbp), %rax
movq (%rax), %rax
movl $0x1, 0x1b4(%rax)
jmp 0x5211
jmp 0x5216
jmp 0x5023
leaq 0xc043(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x12a0
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
leaq 0xc027(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x12a0
movq (%rax), %rcx
movb $0x1, %al
cmpl $0x0, 0x1b4(%rcx)
movb %al, -0x39(%rbp)
jg 0x526a
leaq 0xc007(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x1c60
cmpl $0x0, %eax
setne %al
movb %al, -0x39(%rbp)
movb -0x39(%rbp), %al
testb $0x1, %al
jne 0x5276
jmp 0x533e
jmp 0x5278
leaq 0xbfe1(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x12a0
movq (%rax), %rcx
movl 0x1b4(%rcx), %eax
movl %eax, %edx
addl $-0x1, %edx
movl %edx, 0x1b4(%rcx)
cmpl $0x0, %eax
jle 0x5339
leaq 0xbfb5(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x1240
cmpl $-0x1, %eax
je 0x5330
leaq 0xbfa1(%rip), %rax      # 0x11260
movq (%rax), %rdi
movl $0xc8, %esi
leaq 0x9192(%rip), %rdx      # 0xe460
movl $0xa0, %ecx
callq 0x28c0
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x48(%rbp)
leaq 0xbf75(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x12a0
movq -0x48(%rbp), %rcx
movq (%rax), %rax
movq %rcx, 0x1a0(%rax)
movq -0x30(%rbp), %rdi
movl $0x1, %esi
callq 0x1110
cmpl $0x0, %eax
jne 0x5325
leaq 0xbf45(%rip), %rax      # 0x11260
movq (%rax), %rdi
callq 0x1f00
jmp 0x532e
movq -0x30(%rbp), %rdi
callq 0x1040
jmp 0x5330
movl $0x9, -0x4(%rbp)
jmp 0x533e
jmp 0x5232
movl -0x4(%rbp), %eax
addq $0x50, %rsp
popq %rbp
retq
nopw (%rax,%rax)