// File: /workspace/github_cpp_makefile_star2_O2/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 $0x258, %rsp            # imm = 0x258
movq %rcx, %rbx
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %r15
leaq 0xe0(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x11b1a
leaq 0x24d63(%rip), %rsi     # 0x35b1f
leaq 0x28(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x11b1a
leaq 0xe0(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0xe8e2
testb %al, %al
je 0x10f09
leaq 0x8(%rsp), %rdi
leaq 0x5(%rsp), %rdx
movq %r14, %rsi
callq 0x11b1a
leaq 0x256f5(%rip), %rsi     # 0x364f3
leaq 0x78(%rsp), %rdi
leaq 0x4(%rsp), %rdx
callq 0x11b1a
leaq 0x8(%rsp), %rdi
leaq 0x78(%rsp), %rsi
callq 0xf3cb
movl %eax, %ebp
leaq 0x78(%rsp), %rdi
callq 0xc978
leaq 0x8(%rsp), %rdi
callq 0xc978
leaq 0x28(%rsp), %rdi
callq 0xc978
leaq 0xe0(%rsp), %rdi
callq 0xc978
testb %bpl, %bpl
je 0x10f20
leaq 0x98(%rsp), %rdi
leaq 0x8(%rsp), %rdx
movq %r12, %rsi
callq 0x11b1a
leaq 0xb8(%rsp), %rdi
movq %rbx, %rsi
callq 0xf68e
leaq 0x28(%rsp), %rdi
leaq 0x98(%rsp), %rsi
leaq 0xb8(%rsp), %rdx
callq 0x12f10
leaq 0x8(%r15), %r13
leaq 0xe8(%rsp), %r12
movq %r14, -0x8(%r12)
leaq 0x28(%rsp), %rsi
movq %r12, %rdi
callq 0x1ac52
leaq 0xe0(%rsp), %rsi
movq %r13, %rdi
callq 0x28e8a
movl %edx, %ebp
movq %r12, %rdi
callq 0x12f46
leaq 0x28(%rsp), %rdi
callq 0x12f46
leaq 0xb8(%rsp), %rdi
callq 0xc978
leaq 0x98(%rsp), %rdi
callq 0xc978
testb $0x1, %bpl
je 0x10fae
addq $0x258, %rsp            # imm = 0x258
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x28(%rsp), %rdi
callq 0xc978
leaq 0xe0(%rsp), %rdi
callq 0xc978
leaq 0xe0(%rsp), %r15
movq %r15, %rdi
callq 0xc640
leaq 0x24beb(%rip), %rsi     # 0x35b22
movq %r15, %rdi
callq 0xc4d0
movq %rax, %rdi
movq %r14, %rsi
callq 0xc4d0
leaq 0x24be5(%rip), %rsi     # 0x35b36
movq %rax, %rdi
callq 0xc4d0
movq %rax, %rdi
movq %rbx, %rsi
callq 0xdb57
pushq $0x10
popq %rdi
callq 0xc230
movq %rax, %r14
leaq 0xe8(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0xc720
movb $0x1, %bpl
movq 0x28(%rsp), %rsi
movq %r14, %rdi
callq 0xc2e0
xorl %ebp, %ebp
movq 0x42fc6(%rip), %rsi     # 0x53f60
movq 0x42fdf(%rip), %rdx     # 0x53f80
movq %r14, %rdi
callq 0xc800
jmp 0x110b1
leaq 0xe0(%rsp), %r12
movq %r12, %rdi
callq 0xc640
leaq 0x24b5d(%rip), %rsi     # 0x35b22
movq %r12, %rdi
callq 0xc4d0
movq %rax, %rdi
movq %r14, %rsi
callq 0xc4d0
leaq 0x24b7c(%rip), %rsi     # 0x35b5b
movq %rax, %rdi
callq 0xc4d0
leaq 0x24952(%rip), %rsi     # 0x35940
movq %rax, %rdi
callq 0xc4d0
movq %rax, %r12
leaq 0x8(%rsp), %rdi
leaq 0x78(%rsp), %rdx
movq %r14, %rsi
callq 0x11b1a
movq (%r15), %rax
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rdx
movq %r15, %rsi
callq *0x10(%rax)
movq 0x28(%rsp), %rsi
addq $0x20, %rsi
movq %r12, %rdi
callq 0xdb57
leaq 0x259bb(%rip), %rsi     # 0x369f1
movq %r12, %rdi
callq 0xc4d0
leaq 0x2490b(%rip), %rsi     # 0x35950
movq %rax, %rdi
callq 0xc4d0
movq %rax, %rdi
movq %rbx, %rsi
callq 0xdb57
leaq 0x28(%rsp), %rdi
callq 0x28e72
leaq 0x8(%rsp), %rdi
callq 0xc978
pushq $0x10
popq %rdi
callq 0xc230
movq %rax, %r14
leaq 0xe8(%rsp), %rsi
leaq 0x28(%rsp), %rdi
callq 0xc720
movb $0x1, %bpl
movq 0x28(%rsp), %rsi
movq %r14, %rdi
callq 0xc2e0
xorl %ebp, %ebp
movq 0x42ebe(%rip), %rsi     # 0x53f60
movq 0x42ed7(%rip), %rdx     # 0x53f80
movq %r14, %rdi
callq 0xc800
jmp 0x110db
jmp 0x110f2
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x28e72
jmp 0x110c7
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc978
jmp 0x11185
jmp 0x11182
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0xc978
testb %bpl, %bpl
jne 0x110f5
jmp 0x11185
movq %rax, %rbx
movq %r14, %rdi
callq 0xc390
jmp 0x11185
jmp 0x11182
movq %rax, %rbx
movq %r12, %rdi
callq 0x12f46
leaq 0x28(%rsp), %rdi
callq 0x12f46
jmp 0x1111e
movq %rax, %rbx
leaq 0xb8(%rsp), %rdi
callq 0xc978
jmp 0x11130
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
jmp 0x11176
jmp 0x1117d
movq %rax, %rbx
leaq 0x78(%rsp), %rdi
callq 0xc978
jmp 0x1114e
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0xc978
jmp 0x1115f
jmp 0x1115c
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0xc978
jmp 0x1116e
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0xc978
jmp 0x11192
movq %rax, %rbx
jmp 0x11192
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0xc0e0
movq %rbx, %rdi
callq 0xc840