// File: /workspace/github_cpp_makefile_star2_O1/xelia-it[P]mustache/third-party/catch2/single_include/catch2/catch.hpp
// Function: Catch::TagAliasRegistry::add(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::SourceLineInfo const&)
void TagAliasRegistry::add( std::string const& alias, std::string const& tag, SourceLineInfo const& lineInfo ) {
        CATCH_ENFORCE( startsWith(alias, "[@") && endsWith(alias, ']'),
                      "error: tag alias, '" << alias << "' is not of the form [@alias name].\n" << lineInfo );

        CATCH_ENFORCE( m_registry.insert(std::make_pair(alias, TagAlias(tag, lineInfo))).second,
                      "error: tag alias, '" << alias << "' already registered.\n"
                      << "\tFirst seen at: " << find(alias)->lineInfo << "\n"
                      << "\tRedefined at: " << lineInfo );
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rcx, -0x30(%rbp)
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %r15
leaq -0xa0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x4e8be(%rip), %rsi     # 0x7c6db
leaq 0x4e8b9(%rip), %rdx     # 0x7c6dd
leaq -0xb0(%rbp), %r13
movq %r13, %rdi
callq 0x43438
movq 0x8(%r14), %rbx
movq 0x8(%r13), %rdx
cmpq %rdx, %rbx
jb 0x2df2b
testq %rdx, %rdx
je 0x2de60
movq -0xb0(%rbp), %rdi
movq (%r14), %rsi
callq 0x1b570
testl %eax, %eax
jne 0x2df2b
testq %rbx, %rbx
je 0x2de72
movq (%r14), %rax
cmpb $0x5d, -0x1(%rax,%rbx)
setne %bl
jmp 0x2de74
movb $0x1, %bl
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x2de8c
callq 0x1b4d0
testb %bl, %bl
jne 0x2df43
movq -0x30(%rbp), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rcx
leaq -0x60(%rbp), %r13
movq %r13, %rdi
movq %r12, %rsi
callq 0x2d9cc
leaq -0xb0(%rbp), %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x4a196
leaq 0x8(%r15), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x5c826
movl %edx, %r12d
leaq -0x80(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2dee5
callq 0x1b4d0
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x2defd
callq 0x1b4d0
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2df0f
callq 0x1b4d0
testb $0x1, %r12b
je 0x2dfb6
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x2df43
callq 0x1b4d0
leaq -0x60(%rbp), %r15
movq %r15, %rdi
callq 0x2d4f4
movq 0x10(%r15), %rdi
leaq 0x4e784(%rip), %rsi     # 0x7c6de
movl $0x13, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq (%r14), %rsi
movq 0x8(%r14), %rdx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4e773(%rip), %rsi     # 0x7c6f2
movl $0x24, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x22e23
movq -0x50(%rbp), %rsi
addq $0x8, %rsi
leaq -0xb0(%rbp), %rdi
callq 0x1b7f0
leaq -0xb0(%rbp), %rdi
callq 0x1cf52
leaq -0x60(%rbp), %r12
movq %r12, %rdi
callq 0x2d4f4
movq 0x10(%r12), %rdi
leaq 0x4e710(%rip), %rsi     # 0x7c6de
movl $0x13, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq (%r14), %rsi
movq 0x8(%r14), %rdx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4e724(%rip), %rsi     # 0x7c717
movl $0x16, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4e726(%rip), %rsi     # 0x7c72e
movl $0x10, %edx
callq 0x1b5e0
movq (%r15), %rax
movq %r15, %rdi
movq %r14, %rsi
callq *0x10(%rax)
addq $0x20, %rax
movq -0x50(%rbp), %rdi
movq %rax, %rsi
callq 0x22e23
movq -0x50(%rbp), %rdi
leaq 0x56b49(%rip), %rsi     # 0x84b82
movl $0x1, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4e6f1(%rip), %rsi     # 0x7c73f
movl $0xf, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x22e23
movq -0x50(%rbp), %rsi
addq $0x8, %rsi
leaq -0xb0(%rbp), %rdi
callq 0x1b7f0
leaq -0xb0(%rbp), %rdi
callq 0x1cf52
jmp 0x2e087
movq %rax, %rbx
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x2e0d1
callq 0x1b4d0
jmp 0x2e0d1
jmp 0x2e0ce
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x3fef0
jmp 0x2e0ba
movq %rax, %rbx
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2e0da
callq 0x1b4d0
jmp 0x2e0da
movq %rax, %rbx
leaq -0x60(%rbp), %rdi
callq 0x2d53a
movq %rbx, %rdi
callq 0x1b910