// File: /workspace/github_cpp_makefile_star2_O1/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::TagAliasRegistry::add(char const*, char const*, Catch::SourceLineInfo const&)
void TagAliasRegistry::add( char const* alias, char const* tag, SourceLineInfo const& lineInfo ) {

        if( !startsWith( alias, "[@" ) || !endsWith( alias, "]" ) ) {
            std::ostringstream oss;
            oss << "error: tag alias, \"" << alias << "\" is not of the form [@alias name].\n" << lineInfo;
            throw std::domain_error( oss.str().c_str() );
        }
        if( !m_registry.insert( std::make_pair( alias, TagAlias( tag, lineInfo ) ) ).second ) {
            std::ostringstream oss;
            oss << "error: tag alias, \"" << alias << "\" already registered.\n"
                << "\tFirst seen at " << find(alias)->lineInfo << "\n"
                << "\tRedefined at " << lineInfo;
            throw std::domain_error( oss.str().c_str() );
        }
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x288, %rsp            # imm = 0x288
movq %rcx, %rbx
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, 0x58(%rsp)
leaq 0x110(%rsp), %rdi
leaq 0x68(%rsp), %rdx
callq 0x14db2
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
leaq 0x33200(%rip), %rsi     # 0x46b13
leaq 0x331fb(%rip), %rdx     # 0x46b15
leaq 0x8(%rsp), %rdi
callq 0x32d7e
leaq 0x110(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xf96e
movl %eax, %r13d
movb $0x1, %bpl
testb %al, %al
je 0x13997
leaq 0xc8(%rsp), %rdi
leaq 0x7(%rsp), %rdx
movq %r14, %rsi
callq 0x14db2
leaq 0x98(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x33b7a(%rip), %rsi     # 0x474e2
leaq 0x33b74(%rip), %rdx     # 0x474e3
leaq 0x88(%rsp), %rdi
callq 0x32d7e
leaq 0xc8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x10b55
movl %eax, %ebp
xorb $0x1, %bpl
testb %r13b, %r13b
je 0x139de
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x139bd
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x139de
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x139fa
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x120(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13a1b
movq 0x120(%rsp), %rsi
incq %rsi
callq 0xc4a0
testb %bpl, %bpl
jne 0x13c18
leaq 0xa8(%rsp), %rdi
leaq 0x68(%rsp), %rdx
movq %r12, %rsi
callq 0x14db2
leaq 0x18(%rsp), %rbp
leaq 0xf8(%rsp), %r12
movq %r12, -0x10(%r12)
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
addq %rsi, %rdx
leaq 0xe8(%rsp), %rdi
callq 0x32cee
movq 0x20(%rbx), %rax
leaq 0xe8(%rsp), %rdx
movq %rax, 0x20(%rdx)
leaq 0x8(%rsp), %rdi
leaq 0xa8(%rsp), %rsi
callq 0x16812
leaq 0x128(%rsp), %r13
movq %r14, -0x18(%r13)
movq %r13, -0x10(%r13)
movq 0x8(%rsp), %rax
cmpq %rbp, %rax
movq %rbx, 0x60(%rsp)
je 0x13aba
movq %rax, 0x118(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x128(%rsp)
jmp 0x13ac3
movups (%rbp), %xmm0
movups %xmm0, (%r13)
movq 0x58(%rsp), %rax
leaq 0x8(%rax), %rdi
leaq 0x38(%rsp), %r15
movq -0x28(%r15), %rcx
movq -0x10(%r15), %rax
leaq 0x148(%rsp), %rbx
movq %rcx, -0x28(%rbx)
movq %rbp, -0x30(%r15)
movq $0x0, -0x28(%r15)
movb $0x0, -0x20(%r15)
movq %rbx, -0x10(%rbx)
cmpq %r15, %rax
je 0x13b16
movq %rax, 0x138(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x148(%rsp)
jmp 0x13b1d
movups (%r15), %xmm0
movups %xmm0, (%rbx)
movq 0x30(%rsp), %rax
movq 0x48(%rsp), %rcx
leaq 0x110(%rsp), %rsi
movq %rax, 0x30(%rsi)
movq %r15, 0x28(%rsp)
movq $0x0, 0x30(%rsp)
movb $0x0, 0x38(%rsp)
movq %rcx, 0x48(%rsi)
callq 0x33bf4
movl %edx, %ebp
movq 0x138(%rsp), %rdi
cmpq %rbx, %rdi
je 0x13b6e
movq 0x148(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x118(%rsp), %rdi
cmpq %r13, %rdi
je 0x13b8b
movq 0x128(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x13ba2
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x13bbe
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0xe8(%rsp), %rdi
cmpq %r12, %rdi
je 0x13bdb
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13bfc
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0xc4a0
testb $0x1, %bpl
je 0x13cba
addq $0x288, %rsp            # imm = 0x288
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x110(%rsp), %r15
movq %r15, %rdi
callq 0xc5f0
leaq 0x32ee7(%rip), %rsi     # 0x46b16
movl $0x13, %edx
movq %r15, %rdi
callq 0xc530
leaq 0x110(%rsp), %rdi
movq %r14, %rsi
callq 0xc470
movq %rax, %r14
leaq 0x32ed4(%rip), %rsi     # 0x46b2a
movl $0x24, %edx
movq %rax, %rdi
callq 0xc530
movq %r14, %rdi
movq %rbx, %rsi
callq 0xe3bb
movl $0x10, %edi
callq 0xc1f0
movq %rax, %r14
leaq 0x118(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0xc6f0
movb $0x1, %bpl
movq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0xc2a0
xorl %ebp, %ebp
movq 0x4e2a2(%rip), %rsi     # 0x61f48
movq 0x4e2cb(%rip), %rdx     # 0x61f78
movq %r14, %rdi
callq 0xc7d0
jmp 0x13df2
leaq 0x110(%rsp), %r12
movq %r12, %rdi
callq 0xc5f0
leaq 0x32e45(%rip), %rsi     # 0x46b16
movl $0x13, %edx
movq %r12, %rdi
callq 0xc530
leaq 0x110(%rsp), %rdi
movq %r14, %rsi
callq 0xc470
movq %rax, %r12
leaq 0x32e57(%rip), %rsi     # 0x46b4f
movl $0x16, %edx
movq %rax, %rdi
callq 0xc530
leaq 0x32c28(%rip), %rsi     # 0x46934
movl $0xf, %edx
movq %r12, %rdi
callq 0xc530
leaq 0x68(%rsp), %rdi
leaq 0x6(%rsp), %rdx
movq %r14, %rsi
callq 0x14db2
movq 0x58(%rsp), %rsi
movq (%rsi), %rax
leaq 0x8(%rsp), %rdi
leaq 0x68(%rsp), %rdx
callq *0x10(%rax)
movq 0x8(%rsp), %rsi
addq $0x20, %rsi
movq %r12, %rdi
callq 0xe3bb
leaq 0x33c88(%rip), %rsi     # 0x479e0
movl $0x1, %edx
movq %r12, %rdi
callq 0xc530
leaq 0x32bd8(%rip), %rsi     # 0x46944
movl $0xe, %edx
movq %r12, %rdi
callq 0xc530
movq %r12, %rdi
movq 0x60(%rsp), %rsi
callq 0xe3bb
leaq 0x8(%rsp), %rdi
callq 0x33ba6
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13dab
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xc4a0
movl $0x10, %edi
callq 0xc1f0
movq %rax, %r14
leaq 0x118(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0xc6f0
movb $0x1, %bpl
movq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0xc2a0
xorl %ebp, %ebp
movq 0x4e165(%rip), %rsi     # 0x61f48
movq 0x4e18e(%rip), %rdx     # 0x61f78
movq %r14, %rdi
callq 0xc7d0
jmp 0x13e31
jmp 0x13e52
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x33ba6
jmp 0x13e08
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13ec0
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x13ec0
jmp 0x13ebd
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x13e58
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x13e58
movq %rax, %rbx
movb $0x1, %bpl
testb %bpl, %bpl
je 0x13ec0
movq %r14, %rdi
callq 0xc360
jmp 0x13ec0
movq %rax, %rbx
movq 0x88(%rsp), %rdi
cmpq %r15, %rdi
je 0x13e8c
movq 0x98(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x13e8c
movq %rax, %rbx
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13f47
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x13f47
jmp 0x13f44
jmp 0x13ebd
movq %rax, %rbx
movq 0x4e0c1(%rip), %rsi     # 0x61f88
leaq 0x110(%rsp), %rdi
callq 0xc220
leaq 0x180(%rsp), %rdi
callq 0xc120
jmp 0x13f8e
movq %rax, %rbx
leaq 0x110(%rsp), %rdi
callq 0x1687e
leaq 0x8(%rsp), %rdi
callq 0x168b6
jmp 0x13f05
movq %rax, %rbx
movq 0xe8(%rsp), %rdi
cmpq %r12, %rdi
je 0x13f27
movq 0xf8(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x13f27
movq %rax, %rbx
leaq 0xb8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13f8e
movq 0xb8(%rsp), %rsi
jmp 0x13f81
jmp 0x13f8b
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x13f68
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x13f68
movq %rax, %rbx
leaq 0x120(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x13f8e
movq 0x120(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x13f8e
movq %rax, %rbx
movq %rbx, %rdi
callq 0xc820