// File: /workspace/github_cpp_makefile_star2_O1/porzell[P]PTest/examples/unit_test.cpp
// Function: CanAddToVector5()
P_TEST(CanAddToVector) {
    std::vector<int> vec;
    vec.push_back(3);
    P_ASSERT(vec.size() == 1);
    vec.push_back(5);
    P_ASSERT(vec.size() == 2);
    vec.push_back(4);
    P_ASSERT(vec.size() == 3);
    vec.clear();
    // Assertion will fail.
    P_ASSERT(vec.size() != 0);
    // This will not run.
    printf("You shouldn't see me!\n");
    vec.push_back(4);
    P_ASSERT(vec.size() == 3);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x250, %rsp            # imm = 0x250
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
movl $0x3, -0x24(%rbp)
movq -0x38(%rbp), %rsi
testq %rsi, %rsi
je 0x2539
movl $0x3, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x2546
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3dc4
movq -0x38(%rbp), %r15
subq -0x40(%rbp), %r15
xorl %r14d, %r14d
cmpq $0x4, %r15
sete %r14b
callq 0x2c5e
movq %rax, %rbx
leaq 0x2b8b(%rip), %rdx      # 0x50f3
leaq 0x2b9b(%rip), %r8       # 0x510a
leaq -0x270(%rbp), %rdi
movl %r14d, %esi
movl $0x8, %ecx
xorl %r9d, %r9d
callq 0x3cfc
leaq -0x270(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3bc2
leaq -0x270(%rbp), %rdi
callq 0x3976
cmpq $0x4, %r15
jne 0x27dd
movl $0x5, -0x24(%rbp)
movq -0x38(%rbp), %rsi
cmpq -0x30(%rbp), %rsi
je 0x25ce
movl $0x5, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x25db
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3dc4
movq -0x38(%rbp), %r15
subq -0x40(%rbp), %r15
xorl %r14d, %r14d
cmpq $0x8, %r15
sete %r14b
callq 0x2c5e
movq %rax, %rbx
leaq 0x2af6(%rip), %rdx      # 0x50f3
leaq 0x2b16(%rip), %r8       # 0x511a
leaq -0x200(%rbp), %rdi
movl %r14d, %esi
movl $0xa, %ecx
xorl %r9d, %r9d
callq 0x3cfc
leaq -0x200(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3bc2
leaq -0x200(%rbp), %rdi
callq 0x3976
cmpq $0x8, %r15
jne 0x27dd
movl $0x4, -0x24(%rbp)
movq -0x38(%rbp), %rsi
cmpq -0x30(%rbp), %rsi
je 0x2663
movl $0x4, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x2670
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3dc4
movq -0x38(%rbp), %r15
subq -0x40(%rbp), %r15
xorl %r14d, %r14d
cmpq $0xc, %r15
sete %r14b
callq 0x2c5e
movq %rax, %rbx
leaq 0x2a61(%rip), %rdx      # 0x50f3
leaq 0x2a91(%rip), %r8       # 0x512a
leaq -0x190(%rbp), %rdi
movl %r14d, %esi
movl $0xc, %ecx
xorl %r9d, %r9d
callq 0x3cfc
leaq -0x190(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3bc2
leaq -0x190(%rbp), %rdi
callq 0x3976
cmpq $0xc, %r15
jne 0x27dd
movq -0x40(%rbp), %r15
cmpq %r15, -0x38(%rbp)
je 0x26e5
movq %r15, -0x38(%rbp)
movq -0x38(%rbp), %r12
xorl %r14d, %r14d
cmpq %r15, %r12
setne %r14b
callq 0x2c5e
movq %rax, %rbx
leaq 0x29f1(%rip), %rdx      # 0x50f3
leaq 0x2a31(%rip), %r8       # 0x513a
leaq -0x120(%rbp), %rdi
movl %r14d, %esi
movl $0xf, %ecx
xorl %r9d, %r9d
callq 0x3cfc
leaq -0x120(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3bc2
leaq -0x120(%rbp), %rdi
callq 0x3976
cmpq %r15, %r12
je 0x27dd
leaq 0x2bbc(%rip), %rdi      # 0x5309
callq 0x21c0
movl $0x4, -0x24(%rbp)
movq -0x38(%rbp), %rsi
cmpq -0x30(%rbp), %rsi
je 0x2773
movl $0x4, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x2780
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3dc4
movq -0x38(%rbp), %rax
subq -0x40(%rbp), %rax
xorl %r14d, %r14d
cmpq $0xc, %rax
sete %r14b
callq 0x2c5e
movq %rax, %rbx
leaq 0x2951(%rip), %rdx      # 0x50f3
leaq 0x2981(%rip), %r8       # 0x512a
leaq -0xb0(%rbp), %rdi
movl %r14d, %esi
movl $0x13, %ecx
xorl %r9d, %r9d
callq 0x3cfc
leaq -0xb0(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3bc2
leaq -0xb0(%rbp), %rdi
callq 0x3976
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x27eb
callq 0x2140
addq $0x250, %rsp            # imm = 0x250
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x284c
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
jmp 0x2845
jmp 0x284c
jmp 0x284c
movq %rax, %rbx
leaq -0x120(%rbp), %rdi
jmp 0x2845
jmp 0x284c
jmp 0x284c
movq %rax, %rbx
leaq -0x190(%rbp), %rdi
jmp 0x2845
jmp 0x284c
jmp 0x284c
movq %rax, %rbx
leaq -0x200(%rbp), %rdi
jmp 0x2845
jmp 0x284c
movq %rax, %rbx
leaq -0x270(%rbp), %rdi
callq 0x3976
jmp 0x284f
movq %rax, %rbx
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x285d
callq 0x2140
movq %rbx, %rdi
callq 0x2200