// File: /workspace/github_cpp_makefile_star2_O3/f18m[P]boost-intrusive-pool/tests/unit_tests.cpp
// Function: pool_die_before_object()
void pool_die_before_object()
{
    {
        boost::intrusive_ptr<dummy_one> d1;
        boost::intrusive_ptr<dummy_one> d2;
        boost::intrusive_ptr<dummy_one> d3;

        dummy_one::m_count = 0;

        {
            boost_intrusive_pool<dummy_one> pool;

            BOOST_REQUIRE(pool.init());

            d1 = pool.allocate();
            d2 = pool.allocate();
            d3 = pool.allocate();

            BOOST_REQUIRE_EQUAL(dummy_one::m_count, BOOST_INTRUSIVE_POOL_DEFAULT_POOL_SIZE);
        }

        BOOST_REQUIRE_EQUAL(dummy_one::m_count, BOOST_INTRUSIVE_POOL_DEFAULT_POOL_SIZE);
    }

    BOOST_REQUIRE_EQUAL(dummy_one::m_count, 0);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xf8, %rsp
xorl %eax, %eax
movq %rax, -0x70(%rbp)
movq %rax, -0x68(%rbp)
movq %rax, -0x60(%rbp)
leaq 0x53288(%rip), %r15     # 0x80d58
movl $0x0, (%r15)
leaq 0x5203a(%rip), %rcx     # 0x7fb18
addq $0x10, %rcx
movq %rcx, -0x38(%rbp)
movq %rax, -0x30(%rbp)
callq 0x1f031
movq 0x54d72(%rip), %rdx     # 0x82868
leaq 0x54d63(%rip), %rdi     # 0x82860
leaq 0x34eb4(%rip), %rcx     # 0x629b8
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
leaq 0x2cd1e(%rip), %r13     # 0x5a833
movq %r13, 0x54d2c(%rip)     # 0x82848
leaq 0x2cd24(%rip), %r12     # 0x5a847
movq %r12, 0x54d26(%rip)     # 0x82850
movq $0x1b3, 0x54d23(%rip) # imm = 0x1B3
xorps %xmm0, %xmm0
leaq -0xf0(%rbp), %r9
movaps %xmm0, (%r9)
movaps %xmm0, 0x10(%r9)
leaq -0x38(%rbp), %rdi
movl $0x40, %esi
movl $0x40, %edx
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x3995a
leaq -0x58(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2cf84(%rip), %rax     # 0x5aaf8
leaq -0x110(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x2cf7e(%rip), %rax     # 0x5ab03
movq %rax, 0x8(%rcx)
leaq -0xa0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x51dfd(%rip), %rax     # 0x7f998
addq $0x10, %rax
movq %rax, (%rsi)
leaq 0x52e0f(%rip), %rax     # 0x809b8
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x120(%rbp), %rdx
movq %r13, (%rdx)
movq %r12, 0x8(%rdx)
subq $0x8, %rsp
movl $0x1b3, %ecx            # imm = 0x1B3
movl $0x2, %r8d
xorl %r9d, %r9d
xorl %eax, %eax
pushq $0x0
callq 0x1b705
addq $0x10, %rsp
leaq -0x48(%rbp), %rdi
callq 0x3d55a
movq -0xe0(%rbp), %rax
testq %rax, %rax
je 0x2dc04
leaq -0xf0(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x39b8c
leaq -0x58(%rbp), %rbx
movq (%rbx), %rax
movq $0x0, (%rbx)
movq -0x70(%rbp), %rcx
leaq -0xa0(%rbp), %rdi
movq %rcx, (%rdi)
movq %rax, -0x70(%rbp)
callq 0x39c2a
movq %rbx, %rdi
callq 0x39c2a
leaq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x39b8c
movq (%rbx), %rax
movq $0x0, (%rbx)
movq -0x68(%rbp), %rcx
leaq -0xa0(%rbp), %rdi
movq %rcx, (%rdi)
movq %rax, -0x68(%rbp)
callq 0x39c2a
movq %rbx, %rdi
callq 0x39c2a
leaq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x39b8c
movq (%rbx), %rax
movq $0x0, (%rbx)
movq -0x60(%rbp), %rcx
leaq -0xa0(%rbp), %rdi
movq %rcx, (%rdi)
movq %rax, -0x60(%rbp)
callq 0x39c2a
movq %rbx, %rdi
callq 0x39c2a
callq 0x1f031
movq 0x54bb2(%rip), %rdx     # 0x82868
leaq 0x54ba3(%rip), %rdi     # 0x82860
leaq 0x34cf4(%rip), %rcx     # 0x629b8
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
movq %r13, 0x54b73(%rip)     # 0x82848
movq %r12, 0x54b74(%rip)     # 0x82850
movq $0x1b9, 0x54b71(%rip) # imm = 0x1B9
xorl %eax, %eax
leaq -0x110(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x51cde(%rip), %r14     # 0x7f9d8
addq $0x10, %r14
movq %r14, (%rsi)
leaq 0x52cb0(%rip), %r9      # 0x809b8
movq %r9, 0x10(%rsi)
leaq 0x2c19e(%rip), %rcx     # 0x59eb1
movq %rcx, 0x18(%rsi)
leaq -0xbc(%rbp), %rcx
cmpl $0x40, (%r15)
leaq -0xb8(%rbp), %rdi
sete (%rdi)
movl $0x40, (%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq -0xd0(%rbp), %rdx
movq %r13, (%rdx)
movq %r12, 0x8(%rdx)
leaq -0x78(%rbp), %r10
movq %rcx, (%r10)
leaq -0x80(%rbp), %rcx
movq %r15, (%rcx)
movb %al, -0x98(%rbp)
movb %al, -0x50(%rbp)
leaq 0x51cf3(%rip), %rbx     # 0x7fa58
addq $0x10, %rbx
movq %rbx, -0xa0(%rbp)
movq %r9, -0x90(%rbp)
movq %rcx, -0x88(%rbp)
movq %rbx, -0x58(%rbp)
movq %r9, -0x48(%rbp)
movq %r10, -0x40(%rbp)
subq $0x8, %rsp
leaq 0x2cd83(%rip), %r12     # 0x5ab18
leaq 0x2cd93(%rip), %r11     # 0x5ab2f
movl $0x1b9, %ecx            # imm = 0x1B9
movl $0x2, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x58(%rbp), %r10
pushq %r10
pushq %r12
leaq -0xa0(%rbp), %r10
pushq %r10
pushq %r11
pushq $0x2
callq 0x1b705
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x3d55a
leaq -0x38(%rbp), %rdi
callq 0x39de0
callq 0x1f031
movq 0x54a7a(%rip), %rdx     # 0x82868
leaq 0x54a6b(%rip), %rdi     # 0x82860
leaq 0x34bbc(%rip), %rcx     # 0x629b8
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
movq %r13, 0x54a3b(%rip)     # 0x82848
leaq 0x2ca33(%rip), %r8      # 0x5a847
movq %r8, 0x54a35(%rip)      # 0x82850
movq $0x1bc, 0x54a32(%rip) # imm = 0x1BC
xorl %eax, %eax
leaq -0x110(%rbp), %rsi
movb %al, 0x8(%rsi)
movq %r14, (%rsi)
movq %r13, %r9
leaq 0x52b79(%rip), %r13     # 0x809b8
movq %r13, 0x10(%rsi)
leaq 0x2c067(%rip), %rcx     # 0x59eb1
movq %rcx, 0x18(%rsi)
cmpl $0x40, (%r15)
leaq -0xb8(%rbp), %rdi
sete (%rdi)
movl $0x40, -0x78(%rbp)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
movb %al, -0x98(%rbp)
movb %al, -0x50(%rbp)
leaq -0xd0(%rbp), %rdx
movq %r9, (%rdx)
movq %r8, 0x8(%rdx)
movq %r15, -0x38(%rbp)
movq %rbx, -0xa0(%rbp)
movq %r13, -0x90(%rbp)
leaq -0x38(%rbp), %rax
movq %rax, -0x88(%rbp)
leaq -0x78(%rbp), %rax
movq %rax, -0x80(%rbp)
movq %rbx, -0x58(%rbp)
movq %r13, -0x48(%rbp)
leaq -0x80(%rbp), %rax
movq %rax, -0x40(%rbp)
subq $0x8, %rsp
movl $0x1bc, %ecx            # imm = 0x1BC
movl $0x2, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x58(%rbp), %r10
pushq %r10
leaq 0x2cc3e(%rip), %r10     # 0x5ab18
pushq %r10
leaq -0xa0(%rbp), %r10
pushq %r10
leaq 0x2cc43(%rip), %r10     # 0x5ab2f
pushq %r10
pushq $0x2
callq 0x1b705
addq $0x30, %rsp
leaq -0xa8(%rbp), %r12
movq %r12, %rdi
callq 0x3d55a
leaq -0x60(%rbp), %rdi
callq 0x39c2a
leaq -0x68(%rbp), %rdi
callq 0x39c2a
leaq -0x70(%rbp), %rdi
callq 0x39c2a
callq 0x1f031
movq 0x54939(%rip), %rdx     # 0x82868
leaq 0x5492a(%rip), %rdi     # 0x82860
leaq 0x34a7b(%rip), %rcx     # 0x629b8
xorl %r15d, %r15d
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
leaq 0x2c8e2(%rip), %r8      # 0x5a833
movq %r8, 0x548f0(%rip)      # 0x82848
leaq 0x2c8e8(%rip), %rax     # 0x5a847
movq %rax, 0x548ea(%rip)     # 0x82850
movq $0x1bf, 0x548e7(%rip) # imm = 0x1BF
leaq -0x110(%rbp), %rsi
movb %r15b, 0x8(%rsi)
movq %r14, (%rsi)
leaq 0x52dd2(%rip), %rdi     # 0x80d58
cmpl $0x0, (%rdi)
movq %r13, 0x10(%rsi)
sete -0x10(%r12)
leaq 0x2bf17(%rip), %rcx     # 0x59eb1
movq %rcx, 0x18(%rsi)
movl $0x0, -0x78(%rbp)
xorps %xmm0, %xmm0
movups %xmm0, -0x8(%r12)
leaq -0xd0(%rbp), %rdx
movq %r8, (%rdx)
movq %rax, 0x8(%rdx)
movq %rdi, -0x38(%rbp)
movb %r15b, -0x98(%rbp)
movq %rbx, -0xa0(%rbp)
movq %r13, -0x90(%rbp)
leaq -0x38(%rbp), %rax
movq %rax, -0x88(%rbp)
leaq -0x78(%rbp), %rax
movq %rax, -0x80(%rbp)
movb %r15b, -0x50(%rbp)
movq %rbx, -0x58(%rbp)
movq %r13, -0x48(%rbp)
leaq -0x80(%rbp), %rax
movq %rax, -0x40(%rbp)
subq $0x8, %rsp
leaq 0x3156a(%rip), %r10     # 0x5f571
leaq -0xb8(%rbp), %rdi
movl $0x1bf, %ecx            # imm = 0x1BF
movl $0x2, %r8d
movl $0x2, %r9d
xorl %eax, %eax
leaq -0x58(%rbp), %r11
pushq %r11
pushq %r10
leaq -0xa0(%rbp), %r10
pushq %r10
leaq 0x2caf6(%rip), %r10     # 0x5ab2f
pushq %r10
pushq $0x2
callq 0x1b705
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x3d55a
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2e0d2
movq %rax, %rbx
leaq -0xa8(%rbp), %rdi
callq 0x3d55a
jmp 0x2e106
movq %rax, %rbx
leaq -0xa8(%rbp), %rdi
callq 0x3d55a
jmp 0x2e0eb
movq %rax, %rbx
leaq -0xa8(%rbp), %rdi
callq 0x3d55a
jmp 0x2e0e2
jmp 0x2e0df
jmp 0x2e0df
jmp 0x2e0df
movq %rax, %rbx
leaq -0x48(%rbp), %rdi
callq 0x3d55a
jmp 0x2e0b3
movq %rax, %rbx
movq -0xe0(%rbp), %rax
testq %rax, %rax
je 0x2e0e2
leaq -0xf0(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x2e0e2
movq %rax, %rdi
callq 0x32d2e
movq %rax, %rbx
jmp 0x2e0eb
movq %rax, %rbx
leaq -0x38(%rbp), %rdi
callq 0x39de0
leaq -0x60(%rbp), %rdi
callq 0x39c2a
leaq -0x68(%rbp), %rdi
callq 0x39c2a
leaq -0x70(%rbp), %rdi
callq 0x39c2a
movq %rbx, %rdi
callq 0xf880