// File: /workspace/github_cpp_makefile_star2_O1/porzell[P]PTest/examples/custom_main_test.cpp
// Function: CanAddToVector6()
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 0x2559
movl $0x3, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x2566
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3f0c
movq -0x38(%rbp), %r15
subq -0x40(%rbp), %r15
xorl %r14d, %r14d
cmpq $0x4, %r15
sete %r14b
callq 0x2da6
movq %rax, %rbx
leaq 0x2b76(%rip), %rdx      # 0x50fe
leaq 0x2b8d(%rip), %r8       # 0x511c
leaq -0x270(%rbp), %rdi
movl %r14d, %esi
movl $0x9, %ecx
xorl %r9d, %r9d
callq 0x3e44
leaq -0x270(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3d0a
leaq -0x270(%rbp), %rdi
callq 0x3abe
cmpq $0x4, %r15
jne 0x27fd
movl $0x5, -0x24(%rbp)
movq -0x38(%rbp), %rsi
cmpq -0x30(%rbp), %rsi
je 0x25ee
movl $0x5, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x25fb
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3f0c
movq -0x38(%rbp), %r15
subq -0x40(%rbp), %r15
xorl %r14d, %r14d
cmpq $0x8, %r15
sete %r14b
callq 0x2da6
movq %rax, %rbx
leaq 0x2ae1(%rip), %rdx      # 0x50fe
leaq 0x2b08(%rip), %r8       # 0x512c
leaq -0x200(%rbp), %rdi
movl %r14d, %esi
movl $0xb, %ecx
xorl %r9d, %r9d
callq 0x3e44
leaq -0x200(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3d0a
leaq -0x200(%rbp), %rdi
callq 0x3abe
cmpq $0x8, %r15
jne 0x27fd
movl $0x4, -0x24(%rbp)
movq -0x38(%rbp), %rsi
cmpq -0x30(%rbp), %rsi
je 0x2683
movl $0x4, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x2690
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3f0c
movq -0x38(%rbp), %r15
subq -0x40(%rbp), %r15
xorl %r14d, %r14d
cmpq $0xc, %r15
sete %r14b
callq 0x2da6
movq %rax, %rbx
leaq 0x2a4c(%rip), %rdx      # 0x50fe
leaq 0x2a83(%rip), %r8       # 0x513c
leaq -0x190(%rbp), %rdi
movl %r14d, %esi
movl $0xd, %ecx
xorl %r9d, %r9d
callq 0x3e44
leaq -0x190(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3d0a
leaq -0x190(%rbp), %rdi
callq 0x3abe
cmpq $0xc, %r15
jne 0x27fd
movq -0x40(%rbp), %r15
cmpq %r15, -0x38(%rbp)
je 0x2705
movq %r15, -0x38(%rbp)
movq -0x38(%rbp), %r12
xorl %r14d, %r14d
cmpq %r15, %r12
setne %r14b
callq 0x2da6
movq %rax, %rbx
leaq 0x29dc(%rip), %rdx      # 0x50fe
leaq 0x2a23(%rip), %r8       # 0x514c
leaq -0x120(%rbp), %rdi
movl %r14d, %esi
movl $0x10, %ecx
xorl %r9d, %r9d
callq 0x3e44
leaq -0x120(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3d0a
leaq -0x120(%rbp), %rdi
callq 0x3abe
cmpq %r15, %r12
je 0x27fd
leaq 0x2bc7(%rip), %rdi      # 0x5334
callq 0x21c0
movl $0x4, -0x24(%rbp)
movq -0x38(%rbp), %rsi
cmpq -0x30(%rbp), %rsi
je 0x2793
movl $0x4, (%rsi)
addq $0x4, %rsi
movq %rsi, -0x38(%rbp)
jmp 0x27a0
leaq -0x40(%rbp), %rdi
leaq -0x24(%rbp), %rdx
callq 0x3f0c
movq -0x38(%rbp), %rax
subq -0x40(%rbp), %rax
xorl %r14d, %r14d
cmpq $0xc, %rax
sete %r14b
callq 0x2da6
movq %rax, %rbx
leaq 0x293c(%rip), %rdx      # 0x50fe
leaq 0x2973(%rip), %r8       # 0x513c
leaq -0xb0(%rbp), %rdi
movl %r14d, %esi
movl $0x14, %ecx
xorl %r9d, %r9d
callq 0x3e44
leaq -0xb0(%rbp), %rsi
movq %rbx, %rdi
xorl %edx, %edx
callq 0x3d0a
leaq -0xb0(%rbp), %rdi
callq 0x3abe
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x280b
callq 0x2140
addq $0x250, %rsp            # imm = 0x250
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x286c
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
jmp 0x2865
jmp 0x286c
jmp 0x286c
movq %rax, %rbx
leaq -0x120(%rbp), %rdi
jmp 0x2865
jmp 0x286c
jmp 0x286c
movq %rax, %rbx
leaq -0x190(%rbp), %rdi
jmp 0x2865
jmp 0x286c
jmp 0x286c
movq %rax, %rbx
leaq -0x200(%rbp), %rdi
jmp 0x2865
jmp 0x286c
movq %rax, %rbx
leaq -0x270(%rbp), %rdi
callq 0x3abe
jmp 0x286f
movq %rax, %rbx
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x287d
callq 0x2140
movq %rbx, %rdi
callq 0x2200