// File: /workspace/github_cpp_makefile_star2_O1/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 0x54d3b(%rip), %r15     # 0x82d58
movl $0x0, (%r15)
leaq 0x53af5(%rip), %rcx     # 0x81b20
addq $0x10, %rcx
movq %rcx, -0x38(%rbp)
movq %rax, -0x30(%rbp)
callq 0x1f367
movq 0x56825(%rip), %rdx     # 0x84868
leaq 0x56816(%rip), %rdi     # 0x84860
leaq 0x35967(%rip), %rcx     # 0x639b8
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
leaq 0x2d7d1(%rip), %r13     # 0x5b833
movq %r13, 0x567df(%rip)     # 0x84848
leaq 0x2d7d7(%rip), %r12     # 0x5b847
movq %r12, 0x567d9(%rip)     # 0x84850
movq $0x1b3, 0x567d6(%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 0x3a12c
leaq -0x58(%rbp), %rdi
movb %al, (%rdi)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
leaq 0x2da37(%rip), %rax     # 0x5baf8
leaq -0x110(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x2da31(%rip), %rax     # 0x5bb03
movq %rax, 0x8(%rcx)
leaq -0xa0(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x538b8(%rip), %rax     # 0x819a0
addq $0x10, %rax
movq %rax, (%rsi)
leaq 0x548c2(%rip), %rax     # 0x829b8
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 0x1b92f
addq $0x10, %rsp
leaq -0x48(%rbp), %rdi
callq 0x3dd4c
movq -0xe0(%rbp), %rax
testq %rax, %rax
je 0x2e151
leaq -0xf0(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x3a35e
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 0x3a3fc
movq %rbx, %rdi
callq 0x3a3fc
leaq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x3a35e
movq (%rbx), %rax
movq $0x0, (%rbx)
movq -0x68(%rbp), %rcx
leaq -0xa0(%rbp), %rdi
movq %rcx, (%rdi)
movq %rax, -0x68(%rbp)
callq 0x3a3fc
movq %rbx, %rdi
callq 0x3a3fc
leaq -0x58(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x3a35e
movq (%rbx), %rax
movq $0x0, (%rbx)
movq -0x60(%rbp), %rcx
leaq -0xa0(%rbp), %rdi
movq %rcx, (%rdi)
movq %rax, -0x60(%rbp)
callq 0x3a3fc
movq %rbx, %rdi
callq 0x3a3fc
callq 0x1f367
movq 0x56665(%rip), %rdx     # 0x84868
leaq 0x56656(%rip), %rdi     # 0x84860
leaq 0x357a7(%rip), %rcx     # 0x639b8
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
movq %r13, 0x56626(%rip)     # 0x84848
movq %r12, 0x56627(%rip)     # 0x84850
movq $0x1b9, 0x56624(%rip) # imm = 0x1B9
xorl %eax, %eax
leaq -0x110(%rbp), %rsi
movb %al, 0x8(%rsi)
leaq 0x53799(%rip), %r14     # 0x819e0
addq $0x10, %r14
movq %r14, (%rsi)
leaq 0x54763(%rip), %r9      # 0x829b8
movq %r9, 0x10(%rsi)
leaq 0x2cc51(%rip), %rcx     # 0x5aeb1
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 0x537ae(%rip), %rbx     # 0x81a60
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 0x2d836(%rip), %r12     # 0x5bb18
leaq 0x2d846(%rip), %r11     # 0x5bb2f
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 0x1b92f
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x3dd4c
leaq -0x38(%rbp), %rdi
callq 0x3a5b2
callq 0x1f367
movq 0x5652d(%rip), %rdx     # 0x84868
leaq 0x5651e(%rip), %rdi     # 0x84860
leaq 0x3566f(%rip), %rcx     # 0x639b8
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
movq %r13, 0x564ee(%rip)     # 0x84848
leaq 0x2d4e6(%rip), %r8      # 0x5b847
movq %r8, 0x564e8(%rip)      # 0x84850
movq $0x1bc, 0x564e5(%rip) # imm = 0x1BC
xorl %eax, %eax
leaq -0x110(%rbp), %rsi
movb %al, 0x8(%rsi)
movq %r14, (%rsi)
movq %r13, %r9
leaq 0x5462c(%rip), %r13     # 0x829b8
movq %r13, 0x10(%rsi)
leaq 0x2cb1a(%rip), %rcx     # 0x5aeb1
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 0x2d6f1(%rip), %r10     # 0x5bb18
pushq %r10
leaq -0xa0(%rbp), %r10
pushq %r10
leaq 0x2d6f6(%rip), %r10     # 0x5bb2f
pushq %r10
pushq $0x2
callq 0x1b92f
addq $0x30, %rsp
leaq -0xa8(%rbp), %r12
movq %r12, %rdi
callq 0x3dd4c
leaq -0x60(%rbp), %rdi
callq 0x3a3fc
leaq -0x68(%rbp), %rdi
callq 0x3a3fc
leaq -0x70(%rbp), %rdi
callq 0x3a3fc
callq 0x1f367
movq 0x563ec(%rip), %rdx     # 0x84868
leaq 0x563dd(%rip), %rdi     # 0x84860
leaq 0x3552e(%rip), %rcx     # 0x639b8
xorl %r15d, %r15d
xorl %esi, %esi
xorl %r8d, %r8d
callq 0xf760
leaq 0x2d395(%rip), %r8      # 0x5b833
movq %r8, 0x563a3(%rip)      # 0x84848
leaq 0x2d39b(%rip), %rax     # 0x5b847
movq %rax, 0x5639d(%rip)     # 0x84850
movq $0x1bf, 0x5639a(%rip) # imm = 0x1BF
leaq -0x110(%rbp), %rsi
movb %r15b, 0x8(%rsi)
movq %r14, (%rsi)
leaq 0x54885(%rip), %rdi     # 0x82d58
cmpl $0x0, (%rdi)
movq %r13, 0x10(%rsi)
sete -0x10(%r12)
leaq 0x2c9ca(%rip), %rcx     # 0x5aeb1
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 0x3201d(%rip), %r10     # 0x60571
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 0x2d5a9(%rip), %r10     # 0x5bb2f
pushq %r10
pushq $0x2
callq 0x1b92f
addq $0x30, %rsp
leaq -0xa8(%rbp), %rdi
callq 0x3dd4c
addq $0xf8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2e61f
movq %rax, %rbx
leaq -0xa8(%rbp), %rdi
callq 0x3dd4c
jmp 0x2e653
movq %rax, %rbx
leaq -0xa8(%rbp), %rdi
callq 0x3dd4c
jmp 0x2e638
movq %rax, %rbx
leaq -0xa8(%rbp), %rdi
callq 0x3dd4c
jmp 0x2e62f
jmp 0x2e62c
jmp 0x2e62c
jmp 0x2e62c
movq %rax, %rbx
leaq -0x48(%rbp), %rdi
callq 0x3dd4c
jmp 0x2e600
movq %rax, %rbx
movq -0xe0(%rbp), %rax
testq %rax, %rax
je 0x2e62f
leaq -0xf0(%rbp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x2e62f
movq %rax, %rdi
callq 0x3347e
movq %rax, %rbx
jmp 0x2e638
movq %rax, %rbx
leaq -0x38(%rbp), %rdi
callq 0x3a5b2
leaq -0x60(%rbp), %rdi
callq 0x3a3fc
leaq -0x68(%rbp), %rdi
callq 0x3a3fc
leaq -0x70(%rbp), %rdi
callq 0x3a3fc
movq %rbx, %rdi
callq 0xf880