// File: /workspace/github_c_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
leaq 0x97c6(%rip), %rbp      # 0xd270
movq (%rbp), %rdi
leaq 0x69e3(%rip), %rbx      # 0xa498
movl $0x96, %edx
movq %rbx, %rsi
callq 0x151a
leaq 0x9833(%rip), %r14      # 0xd2fc
movl $0x1, %eax
movl %eax, %eax
movl %eax, 0xc(%rsp)
movq %rax, 0x10(%rsp)
leaq 0x6950(%rip), %r15      # 0xa430
movq (%rbp), %rdi
callq 0x12d2
movq %rax, %r13
movq %rax, %rdi
movq %r14, %rsi
movq %rbx, %rdx
movl $0x96, %ecx
callq 0x1b4a
testl %eax, %eax
je 0x3b26
movq (%r13), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x3b26
addq $0x8, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x3bf6
movq %r13, %rdi
movq %r14, %rsi
leaq 0x95ed(%rip), %rdx      # 0xd120
movq %rbx, %rcx
movl $0x9a, %r8d
callq 0x1bde
testl %eax, %eax
je 0x3c1e
movq (%r13), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x3c1e
movq %r13, %rdi
leaq 0x95bc(%rip), %rsi      # 0xd120
callq 0x18a9
testl %eax, %eax
je 0x3c1e
movq 0x8(%r13), %rdi
movl $0x1, %r12d
movl %r12d, %esi
callq 0x1f2b
movq (%r13), %rax
movl $0x2, 0x1b8(%rax)
movq %r13, %rdi
callq 0x129c
cmpl $-0x1, %eax
je 0x3c68
movq %r13, %rdi
movl $0xc8, %esi
movq %rbx, %rdx
movl $0x9c, %ecx
callq 0x216e
movq %rax, %r12
movq %r13, %rdi
callq 0x12d2
movq (%rax), %rax
movq %r12, 0x1a0(%rax)
movq %r12, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x3c77
movq %r12, %rdi
callq 0x1040
movl 0xc(%rsp), %eax
movslq (%r15,%rax,4), %rax
addq %r15, %rax
jmpq *%rax
movq (%r13), %rax
movl $0x1, 0x1b8(%rax)
movq %r13, %rdi
xorl %esi, %esi
leaq 0x6722(%rip), %rdx      # 0xa332
movq %rbx, %rcx
movl $0x98, %r8d
callq 0x208c
cmpl $0x0, 0x96d7(%rip)      # 0xd2fc
je 0x3c62
movq (%r13), %rdi
movl $0x3, %r12d
cmpl $0x0, 0x1b4(%rdi)
jne 0x3c68
addq $0xd0, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
jne 0x3c68
movq (%r13), %rax
movl $0x1, 0x1b4(%rax)
xorl %r12d, %r12d
jmp 0x3c68
movl $0x2, %r12d
movl %r12d, %r12d
movl %r12d, %eax
movslq (%r15,%rax,4), %rax
addq %r15, %rax
jmpq *%rax
movq %r13, %rdi
callq 0x1b11
movq 0x10(%rsp), %rax
movslq (%r15,%rax,4), %rax
addq %r15, %rax
jmpq *%rax
movl $0x8, %eax
jmp 0x3d5a
movq (%rbp), %rdi
callq 0x12d2
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movq (%rbp), %rdi
callq 0x12d2
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x3ccf
movq (%rbp), %rdi
callq 0x18f4
testl %eax, %eax
je 0x3c8d
movq (%rbp), %rdi
callq 0x12d2
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jle 0x3cad
movq (%rbp), %rdi
callq 0x129c
movl $0x9, %r14d
cmpl $-0x1, %eax
je 0x3d57
movq (%rbp), %rdi
leaq 0x678a(%rip), %rdx      # 0xa498
movl $0xc8, %esi
movl $0xa0, %ecx
callq 0x216e
movq %rax, %rbx
movq (%rbp), %rdi
callq 0x12d2
movq (%rax), %rax
movq %rbx, 0x1a0(%rax)
movq %rbx, %rdi
movl $0x1, %esi
callq 0x1130
testl %eax, %eax
je 0x3d4e
movq %rbx, %rdi
callq 0x1040
jmp 0x3d57
movq (%rbp), %rdi
callq 0x1b11
movl %r14d, %eax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq