// File: 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
movq %rsp, %rbp
subq $0x690, %rsp            # imm = 0x690
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x5a8(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x5a0(%rbp)
leaq -0x41(%rbp), %rdi
movq %rdi, -0x598(%rbp)
callq 0xeb70
movq -0x5a0(%rbp), %rsi
movq -0x598(%rbp), %rdx
movb $0x0, -0xa2(%rbp)
movb $0x0, -0xa3(%rbp)
movb $0x0, -0xca(%rbp)
movb $0x0, -0xcb(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x18c80
jmp 0x169b6
leaq -0x79(%rbp), %rdi
movq %rdi, -0x5b0(%rbp)
callq 0xeb70
movq -0x5b0(%rbp), %rdx
leaq 0x67183(%rip), %rsi     # 0x7db57
leaq -0x78(%rbp), %rdi
callq 0x18c80
jmp 0x169df
leaq -0x40(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x12400
movb %al, -0x5b1(%rbp)
jmp 0x169f4
movb -0x5b1(%rbp), %cl
movb $0x1, %al
testb $0x1, %cl
movb %al, -0x5b2(%rbp)
jne 0x16a0c
jmp 0x16aba
movq -0x10(%rbp), %rax
movq %rax, -0x5c8(%rbp)
leaq -0xa1(%rbp), %rdi
movq %rdi, -0x5c0(%rbp)
callq 0xeb70
movq -0x5c8(%rbp), %rsi
movq -0x5c0(%rbp), %rdx
movb $0x1, -0xa2(%rbp)
leaq -0xa0(%rbp), %rdi
callq 0x18c80
jmp 0x16a4d
movb $0x1, -0xa3(%rbp)
leaq -0xc9(%rbp), %rdi
movq %rdi, -0x5d0(%rbp)
callq 0xeb70
movq -0x5d0(%rbp), %rdx
movb $0x1, -0xca(%rbp)
leaq 0x67aaf(%rip), %rsi     # 0x7e52b
leaq -0xc8(%rbp), %rdi
callq 0x18c80
jmp 0x16a8a
movb $0x1, -0xcb(%rbp)
leaq -0xa0(%rbp), %rdi
leaq -0xc8(%rbp), %rsi
callq 0x13820
movb %al, -0x5d1(%rbp)
jmp 0x16aac
movb -0x5d1(%rbp), %al
xorb $-0x1, %al
movb %al, -0x5b2(%rbp)
movb -0x5b2(%rbp), %al
movb %al, -0x5d2(%rbp)
testb $0x1, -0xcb(%rbp)
jne 0x16ad1
jmp 0x16add
leaq -0xc8(%rbp), %rdi
callq 0xecd8
testb $0x1, -0xca(%rbp)
jne 0x16ae8
jmp 0x16af4
leaq -0xc9(%rbp), %rdi
callq 0xe710
testb $0x1, -0xa3(%rbp)
jne 0x16aff
jmp 0x16b0b
leaq -0xa0(%rbp), %rdi
callq 0xecd8
testb $0x1, -0xa2(%rbp)
jne 0x16b16
jmp 0x16b22
leaq -0xa1(%rbp), %rdi
callq 0xe710
leaq -0x78(%rbp), %rdi
callq 0xecd8
leaq -0x79(%rbp), %rdi
callq 0xe710
leaq -0x40(%rbp), %rdi
callq 0xecd8
leaq -0x41(%rbp), %rdi
callq 0xe710
movb -0x5d2(%rbp), %al
testb $0x1, %al
jne 0x16b55
jmp 0x16d7f
leaq -0x248(%rbp), %rdi
movq %rdi, -0x5e8(%rbp)
callq 0xe8d0
movq -0x5e8(%rbp), %rdi
leaq 0x66fe4(%rip), %rsi     # 0x7db5a
callq 0xe670
movq %rax, -0x5e0(%rbp)
jmp 0x16b84
movq -0x5e0(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0xe670
movq %rax, -0x5f0(%rbp)
jmp 0x16b9d
movq -0x5f0(%rbp), %rdi
leaq 0x66fc3(%rip), %rsi     # 0x7db6e
callq 0xe670
movq %rax, -0x5f8(%rbp)
jmp 0x16bb9
movq -0x5f8(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x10b20
jmp 0x16bcb
movb $0x1, -0x269(%rbp)
movl $0x10, %edi
callq 0xe310
movq %rax, -0x600(%rbp)
leaq -0x268(%rbp), %rdi
leaq -0x248(%rbp), %rsi
callq 0xe6b0
jmp 0x16bf8
leaq -0x268(%rbp), %rdi
callq 0xe260
movq -0x600(%rbp), %rdi
movq %rax, %rsi
callq 0xe410
jmp 0x16c15
movq -0x600(%rbp), %rdi
movb $0x0, -0x269(%rbp)
movq 0x9e316(%rip), %rsi     # 0xb4f40
movq 0x9e33f(%rip), %rdx     # 0xb4f70
callq 0xeb10
jmp 0x171f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x16d13
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x16d01
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x16cf8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x16cdf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x16caf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
testb $0x1, -0xcb(%rbp)
jne 0x16ca1
jmp 0x16cad
leaq -0xc8(%rbp), %rdi
callq 0xecd8
jmp 0x16caf
testb $0x1, -0xca(%rbp)
jne 0x16cba
jmp 0x16cc6
leaq -0xc9(%rbp), %rdi
callq 0xe710
testb $0x1, -0xa3(%rbp)
jne 0x16cd1
jmp 0x16cdd
leaq -0xa0(%rbp), %rdi
callq 0xecd8
jmp 0x16cdf
testb $0x1, -0xa2(%rbp)
jne 0x16cea
jmp 0x16cf6
leaq -0xa1(%rbp), %rdi
callq 0xe710
jmp 0x16cf8
leaq -0x78(%rbp), %rdi
callq 0xecd8
leaq -0x79(%rbp), %rdi
callq 0xe710
leaq -0x40(%rbp), %rdi
callq 0xecd8
leaq -0x41(%rbp), %rdi
callq 0xe710
jmp 0x171e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x16d6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x16d55
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x268(%rbp), %rdi
callq 0xecd8
testb $0x1, -0x269(%rbp)
jne 0x16d60
jmp 0x16d6c
movq -0x600(%rbp), %rdi
callq 0xe4c0
jmp 0x16d6e
leaq -0x248(%rbp), %rdi
callq 0xe130
jmp 0x171e8
movq -0x5a8(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x618(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x610(%rbp)
leaq -0x339(%rbp), %rdi
movq %rdi, -0x608(%rbp)
callq 0xeb70
movq -0x610(%rbp), %rsi
movq -0x608(%rbp), %rdx
leaq -0x338(%rbp), %rdi
callq 0x18c80
jmp 0x16dcb
movq -0x20(%rbp), %rsi
leaq -0x368(%rbp), %rdi
callq 0x13de0
jmp 0x16ddd
leaq -0x318(%rbp), %rdi
leaq -0x338(%rbp), %rsi
leaq -0x368(%rbp), %rdx
callq 0x1c610
jmp 0x16df9
leaq -0x2d0(%rbp), %rdi
leaq -0x10(%rbp), %rsi
leaq -0x318(%rbp), %rdx
callq 0x1c5d0
jmp 0x16e12
movq -0x618(%rbp), %rdi
leaq -0x2d0(%rbp), %rsi
callq 0x1c590
movb %dl, -0x621(%rbp)
movq %rax, -0x620(%rbp)
jmp 0x16e34
movb -0x621(%rbp), %al
movq -0x620(%rbp), %rcx
movq %rcx, -0x378(%rbp)
movb %al, -0x370(%rbp)
movq -0x378(%rbp), %rax
movq %rax, -0x280(%rbp)
movb -0x370(%rbp), %al
movb %al, -0x278(%rbp)
movb -0x278(%rbp), %al
xorb $-0x1, %al
movb %al, -0x622(%rbp)
leaq -0x2d0(%rbp), %rdi
callq 0x1c670
leaq -0x318(%rbp), %rdi
callq 0x1c690
leaq -0x368(%rbp), %rdi
callq 0x1a870
leaq -0x338(%rbp), %rdi
callq 0xecd8
leaq -0x339(%rbp), %rdi
callq 0xe710
movb -0x622(%rbp), %al
testb $0x1, %al
jne 0x16ec1
jmp 0x171df
leaq -0x4f0(%rbp), %rdi
movq %rdi, -0x638(%rbp)
callq 0xe8d0
movq -0x638(%rbp), %rdi
leaq 0x66c78(%rip), %rsi     # 0x7db5a
callq 0xe670
movq %rax, -0x630(%rbp)
jmp 0x16ef0
movq -0x630(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0xe670
movq %rax, -0x640(%rbp)
jmp 0x16f09
movq -0x640(%rbp), %rdi
leaq 0x66c7c(%rip), %rsi     # 0x7db93
callq 0xe670
movq %rax, -0x648(%rbp)
jmp 0x16f25
movq -0x648(%rbp), %rdi
leaq 0x66a45(%rip), %rsi     # 0x7d978
callq 0xe670
movq %rax, -0x650(%rbp)
jmp 0x16f41
movq -0x10(%rbp), %rax
movq %rax, -0x660(%rbp)
leaq -0x561(%rbp), %rdi
movq %rdi, -0x658(%rbp)
callq 0xeb70
movq -0x660(%rbp), %rsi
movq -0x658(%rbp), %rdx
leaq -0x560(%rbp), %rdi
callq 0x18c80
jmp 0x16f7b
movq -0x5a8(%rbp), %rsi
movq (%rsi), %rax
movq 0x10(%rax), %rax
leaq -0x540(%rbp), %rdi
leaq -0x560(%rbp), %rdx
callq *%rax
jmp 0x16f9b
leaq -0x540(%rbp), %rdi
callq 0x1c6c0
movq %rax, -0x668(%rbp)
jmp 0x16fb0
movq -0x650(%rbp), %rdi
movq -0x668(%rbp), %rsi
addq $0x20, %rsi
callq 0x10b20
movq %rax, -0x670(%rbp)
jmp 0x16fd0
movq -0x670(%rbp), %rdi
leaq 0x67a4b(%rip), %rsi     # 0x7ea29
callq 0xe670
movq %rax, -0x678(%rbp)
jmp 0x16fec
movq -0x678(%rbp), %rdi
leaq 0x6698e(%rip), %rsi     # 0x7d988
callq 0xe670
movq %rax, -0x680(%rbp)
jmp 0x17008
movq -0x680(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x10b20
jmp 0x1701a
leaq -0x540(%rbp), %rdi
callq 0x1c6e0
leaq -0x560(%rbp), %rdi
callq 0xecd8
leaq -0x561(%rbp), %rdi
callq 0xe710
movb $0x1, -0x589(%rbp)
movl $0x10, %edi
callq 0xe310
movq %rax, -0x688(%rbp)
leaq -0x588(%rbp), %rdi
leaq -0x4f0(%rbp), %rsi
callq 0xe6b0
jmp 0x1706b
leaq -0x588(%rbp), %rdi
callq 0xe260
movq -0x688(%rbp), %rdi
movq %rax, %rsi
callq 0xe410
jmp 0x17088
movq -0x688(%rbp), %rdi
movb $0x0, -0x589(%rbp)
movq 0x9dea3(%rip), %rsi     # 0xb4f40
movq 0x9decc(%rip), %rdx     # 0xb4f70
callq 0xeb10
jmp 0x171f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x17122
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x17116
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x1710a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x170fe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x2d0(%rbp), %rdi
callq 0x1c670
leaq -0x318(%rbp), %rdi
callq 0x1c690
leaq -0x368(%rbp), %rdi
callq 0x1a870
leaq -0x338(%rbp), %rdi
callq 0xecd8
leaq -0x339(%rbp), %rdi
callq 0xe710
jmp 0x171e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x171d1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x17184
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x17178
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x540(%rbp), %rdi
callq 0x1c6e0
leaq -0x560(%rbp), %rdi
callq 0xecd8
leaq -0x561(%rbp), %rdi
callq 0xe710
jmp 0x171d1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x171b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x588(%rbp), %rdi
callq 0xecd8
testb $0x1, -0x589(%rbp)
jne 0x171c3
jmp 0x171cf
movq -0x688(%rbp), %rdi
callq 0xe4c0
jmp 0x171d1
leaq -0x4f0(%rbp), %rdi
callq 0xe130
jmp 0x171e8
addq $0x690, %rsp            # imm = 0x690
popq %rbp
retq
movq -0x50(%rbp), %rdi
callq 0xeb60
nopw %cs:(%rax,%rax)