// File: /workspace/github_cpp_makefile_star2_O1/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::listTags(Catch::Config const&)
inline std::size_t listTags( Config const& config ) {
        TestSpec testSpec = config.testSpec();
        if( config.testSpec().hasFilters() )
            Catch::cout() << "Tags for matching test cases:\n";
        else {
            Catch::cout() << "All available tags:\n";
            testSpec = TestSpecParser( ITagAliasRegistry::get() ).parse( "*" ).testSpec();
        }

        std::map<std::string, TagInfo> tagCounts;

        std::vector<TestCase> matchedTestCases = filterTests( getAllTestCasesSorted( config ), testSpec, config );
        for( std::vector<TestCase>::const_iterator it = matchedTestCases.begin(), itEnd = matchedTestCases.end();
                it != itEnd;
                ++it ) {
            for( std::set<std::string>::const_iterator  tagIt = it->getTestCaseInfo().tags.begin(),
                                                        tagItEnd = it->getTestCaseInfo().tags.end();
                    tagIt != tagItEnd;
                    ++tagIt ) {
                std::string tagName = *tagIt;
                std::string lcaseTagName = toLower( tagName );
                std::map<std::string, TagInfo>::iterator countIt = tagCounts.find( lcaseTagName );
                if( countIt == tagCounts.end() )
                    countIt = tagCounts.insert( std::make_pair( lcaseTagName, TagInfo() ) ).first;
                countIt->second.add( tagName );
            }
        }

        for( std::map<std::string, TagInfo>::const_iterator countIt = tagCounts.begin(),
                                                            countItEnd = tagCounts.end();
                countIt != countItEnd;
                ++countIt ) {
            std::ostringstream oss;
            oss << "  " << std::setw(2) << countIt->second.count << "  ";
            Text wrapper( countIt->second.all(), TextAttributes()
                                                    .setInitialIndent( 0 )
                                                    .setIndent( oss.str().size() )
                                                    .setWidth( CATCH_CONFIG_CONSOLE_WIDTH-10 ) );
            Catch::cout() << oss.str() << wrapper << "\n";
        }
        Catch::cout() << pluralise( tagCounts.size(), "tag" ) << "\n" << std::endl;
        return tagCounts.size();
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x2a8, %rsp            # imm = 0x2A8
movq %rdi, %rbx
movq (%rdi), %rax
callq *0x68(%rax)
leaq 0x98(%rsp), %rdi
movq %rax, %rsi
callq 0x1d3ec
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x68(%rax)
movq (%rax), %rcx
cmpq 0x8(%rax), %rcx
je 0x2950a
movq 0x38ab4(%rip), %rdi     # 0x61fa8
leaq 0x1e04a(%rip), %rsi     # 0x47545
movl $0x1e, %edx
callq 0xc530
jmp 0x2965c
movq 0x38a97(%rip), %rdi     # 0x61fa8
leaq 0x1e04c(%rip), %rsi     # 0x47564
movl $0x14, %edx
callq 0xc530
callq 0x13f96
leaq 0x158(%rsp), %r12
movq %r12, -0x10(%r12)
movq $0x0, -0x8(%r12)
movb $0x0, (%r12)
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r12)
movups %xmm0, 0x20(%r12)
movups %xmm0, 0x30(%r12)
leaq 0x3909a(%rip), %rax     # 0x625f8
movq %rax, 0x40(%r12)
leaq 0x30(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x1e5bd(%rip), %rsi     # 0x47b30
leaq 0x1e5b7(%rip), %rdx     # 0x47b31
leaq 0x20(%rsp), %rdi
callq 0x32d7e
leaq 0x130(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x1530c
movq %rax, %r14
movq %rax, %rdi
callq 0x1da1e
addq $0x50, %r14
movq %rsp, %rdi
movq %r14, %rsi
callq 0x1d3ec
leaq 0x168(%rsp), %r14
xorps %xmm0, %xmm0
leaq 0xe0(%rsp), %rdi
movaps %xmm0, (%rdi)
movups 0x98(%rsp), %xmm0
movq 0xa8(%rsp), %rax
movq %rsp, %r15
movups (%r15), %xmm1
movups %xmm1, 0x98(%rsp)
movq 0x10(%r15), %rcx
movq %rcx, 0xa8(%rsp)
movaps (%rdi), %xmm1
movaps %xmm0, (%rdi)
movq %rax, 0x10(%rdi)
movups %xmm1, (%r15)
movq $0x0, 0x10(%r15)
callq 0x1e398
movq %r15, %rdi
callq 0x1e398
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x2962b
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x180(%rsp), %r15
movq %r15, %rdi
callq 0x1e398
movq %r14, %rdi
callq 0x1d688
movq -0x38(%r15), %rdi
cmpq %r12, %rdi
je 0x2965c
movq 0x158(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0xe8(%rsp), %rcx
movl $0x0, (%rcx)
xorl %eax, %eax
movq %rax, 0x8(%rcx)
movq %rcx, 0x10(%rcx)
movq %rcx, 0x18(%rcx)
movq %rax, 0x20(%rcx)
callq 0xd3ca
movq (%rax), %rcx
movq %rax, %rdi
callq *0x18(%rcx)
movq (%rax), %rcx
movq %rax, %rdi
movq %rbx, %rsi
callq *0x18(%rcx)
leaq 0x118(%rsp), %rdi
leaq 0x98(%rsp), %rdx
movq %rax, %rsi
movq %rbx, %rcx
callq 0xe40a
movq 0x118(%rsp), %rax
movq 0x120(%rsp), %rcx
movq %rcx, 0xb0(%rsp)
cmpq %rcx, %rax
je 0x29912
leaq 0x10(%rsp), %r13
movq %rsp, %r14
leaq 0x78(%rsp), %r15
movq 0x78(%rax), %rbx
movq %rax, 0xb8(%rsp)
leaq 0x68(%rax), %r12
cmpq %r12, %rbx
je 0x298f6
movq %r13, (%rsp)
movq 0x20(%rbx), %rsi
movq 0x28(%rbx), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x32cee
movq %r15, %rdi
movq %r14, %rsi
callq 0xf9fe
leaq 0xe0(%rsp), %rdi
movq %r15, %rsi
callq 0x2a2aa
movq %rax, %rbp
leaq 0xe8(%rsp), %rax
cmpq %rax, %rbp
jne 0x29897
movl $0x0, 0x28(%rsp)
movq $0x0, 0x30(%rsp)
leaq 0x28(%rsp), %rax
movq %rax, 0x38(%rsp)
movq %rax, 0x40(%rsp)
leaq 0x48(%rsp), %rax
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
leaq 0x140(%rsp), %rax
movq %rax, 0x130(%rsp)
movq 0x78(%rsp), %rsi
movq 0x80(%rsp), %rdx
addq %rsi, %rdx
leaq 0x130(%rsp), %rdi
callq 0x32cee
movq 0x30(%rsp), %rax
testq %rax, %rax
je 0x297f8
movl 0x28(%rsp), %ecx
movl %ecx, 0x158(%rsp)
movq %rax, 0x160(%rsp)
movups 0x38(%rsp), %xmm0
movups %xmm0, 0x168(%rsp)
leaq 0x158(%rsp), %rcx
movq %rcx, 0x8(%rax)
movq 0x48(%rsp), %rax
movq %rax, 0x178(%rsp)
movq $0x0, 0x30(%rsp)
leaq 0x28(%rsp), %rax
movq %rax, 0x38(%rsp)
movq %rax, 0x40(%rsp)
leaq 0x48(%rsp), %rax
jmp 0x2982f
movl $0x0, 0x158(%rsp)
movq $0x0, 0x160(%rsp)
leaq 0x158(%rsp), %rax
movq %rax, 0x168(%rsp)
movq %rax, 0x170(%rsp)
leaq 0x178(%rsp), %rax
movq $0x0, (%rax)
movq 0x50(%rsp), %rax
movq %rax, 0x180(%rsp)
leaq 0xe0(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x2a334
movq %rax, %rbp
leaq 0x150(%rsp), %rdi
callq 0x1efc0
movq 0x130(%rsp), %rdi
leaq 0x140(%rsp), %rax
cmpq %rax, %rdi
je 0x2988d
movq 0x140(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x20(%rsp), %rdi
callq 0x1efc0
incq 0x70(%rbp)
addq $0x40, %rbp
movq %rbp, %rdi
movq %r14, %rsi
callq 0x33016
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x298cc
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x298e2
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %rbx, %rdi
callq 0xc540
movq %rax, %rbx
cmpq %r12, %rax
jne 0x296f8
movq 0xb8(%rsp), %rax
addq $0x118, %rax            # imm = 0x118
cmpq 0xb0(%rsp), %rax
jne 0x296df
movq 0xf8(%rsp), %rbx
leaq 0xe8(%rsp), %rax
cmpq %rax, %rbx
je 0x29b44
leaq 0x138(%rsp), %r15
leaq 0x130(%rsp), %r14
leaq 0x1db39(%rip), %r12     # 0x4747b
movq %rsp, %r13
movq %r14, %rdi
callq 0xc5f0
movl $0x2, %edx
movq %r14, %rdi
movq %r12, %rsi
callq 0xc530
movq 0x130(%rsp), %rax
movq -0x18(%rax), %rax
movq $0x2, 0x140(%rsp,%rax)
movq 0x70(%rbx), %rsi
movq %r14, %rdi
callq 0xc300
movl $0x2, %edx
movq %rax, %rdi
movq %r12, %rsi
callq 0xc530
leaq 0x40(%rbx), %rsi
movq %r13, %rdi
callq 0x2a130
movq $0x4f, 0x88(%rsp)
movb $0x9, 0x90(%rsp)
xorps %xmm0, %xmm0
movups %xmm0, 0x78(%rsp)
leaq 0xc0(%rsp), %rdi
movq %r15, %rsi
callq 0xc6f0
movq 0xc8(%rsp), %rax
movq %rax, 0x80(%rsp)
movq $0x46, 0x88(%rsp)
leaq 0x20(%rsp), %rdi
movq %r13, %rsi
leaq 0x78(%rsp), %rdx
callq 0x259ec
movq 0xc0(%rsp), %rdi
leaq 0xd0(%rsp), %rax
cmpq %rax, %rdi
je 0x29a1c
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x29a37
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %r13, %rdi
movq %r15, %rsi
callq 0xc6f0
movq %r12, %r13
movq %rbx, %r12
movq %r14, %rbx
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq 0x3854d(%rip), %rdi     # 0x61fa8
callq 0xc530
movq %rax, %r14
movq 0x60(%rsp), %rbp
movq 0x68(%rsp), %r15
cmpq %r15, %rbp
je 0x29aa3
cmpq 0x60(%rsp), %rbp
je 0x29a8d
movl $0x1, %edx
movq %r14, %rdi
leaq 0x1df58(%rip), %rsi     # 0x479e0
callq 0xc530
movq (%rbp), %rsi
movq 0x8(%rbp), %rdx
movq %r14, %rdi
callq 0xc530
addq $0x20, %rbp
jmp 0x29a6d
movl $0x1, %edx
movq %r14, %rdi
leaq 0x1df2e(%rip), %rsi     # 0x479e0
callq 0xc530
leaq 0x138(%rsp), %r15
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
movq %rbx, %r14
movq %r12, %rbx
movq %r13, %r12
movq %rsp, %r13
je 0x29ae6
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x60(%rsp), %rdi
callq 0x14e2c
movq 0x20(%rsp), %rdi
leaq 0x30(%rsp), %rax
cmpq %rax, %rdi
je 0x29b0c
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %r14, %rdi
movq 0x38472(%rip), %rsi     # 0x61f88
callq 0xc220
leaq 0x1a0(%rsp), %rdi
callq 0xc120
movq %rbx, %rdi
callq 0xc540
movq %rax, %rbx
leaq 0xe8(%rsp), %rax
cmpq %rax, %rbx
jne 0x29945
movq 0x108(%rsp), %rbx
leaq 0x30(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1da1d(%rip), %rsi     # 0x47579
leaq 0x1da19(%rip), %rdx     # 0x4757c
leaq 0x20(%rsp), %rdi
callq 0x32d7e
leaq 0x138(%rsp), %rdi
movq %rbx, -0x8(%rdi)
leaq 0x148(%rsp), %r15
movq %r15, -0x10(%r15)
movq 0x20(%rsp), %rsi
movq 0x28(%rsp), %rdx
addq %rsi, %rdx
callq 0x32cee
movq 0x3840a(%rip), %rdi     # 0x61fa8
leaq 0x130(%rsp), %rsi
callq 0x10f8f
movq 0x383f6(%rip), %rbx     # 0x61fa8
leaq 0x1de27(%rip), %rsi     # 0x479e0
movl $0x1, %edx
movq %rbx, %rdi
callq 0xc530
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0xc460
movsbl %al, %esi
movq 0x383c4(%rip), %rdi     # 0x61fa8
callq 0xc030
movq %rax, %rdi
callq 0xc310
movq 0x138(%rsp), %rdi
cmpq %r15, %rdi
je 0x29c0e
movq 0x148(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x29c25
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0xe0(%rsp), %rbx
movq 0x28(%rbx), %r14
leaq 0x118(%rsp), %rdi
callq 0x15b86
movq %rbx, %rdi
callq 0x2a5da
leaq 0x98(%rsp), %rdi
callq 0x1e398
movq %r14, %rax
addq $0x2a8, %rsp            # imm = 0x2A8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
jmp 0x29c91
movq %rax, %rbx
jmp 0x29cd3
jmp 0x29d66
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r13, %rdi
je 0x29c91
movq 0x30(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x130(%rsp), %rdi
callq 0x153ae
jmp 0x29e13
movq %rax, %rbx
jmp 0x29e13
movq %rax, %rbx
jmp 0x29e06
movq %rax, %rbx
movq 0x138(%rsp), %rdi
cmpq %r15, %rdi
je 0x29cd3
movq 0x148(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x29df9
movq 0x30(%rsp), %rsi
jmp 0x29df1
jmp 0x29d66
jmp 0x29d40
movq %rax, %rbx
jmp 0x29d1c
movq %rax, %rbx
movq 0xc0(%rsp), %rdi
leaq 0xd0(%rsp), %rax
cmpq %rax, %rdi
je 0x29d1c
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x29d9b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x29d9b
movq %rax, %rbx
jmp 0x29d91
jmp 0x29d73
movq %rax, %rbx
jmp 0x29d9b
movq %rax, %rbx
leaq 0x130(%rsp), %rdi
callq 0x2a108
jmp 0x29d5a
movq %rax, %rbx
leaq 0x20(%rsp), %rdi
callq 0x1efc0
jmp 0x29dc1
movq %rax, %rbx
jmp 0x29df9
movq %rax, %rbx
jmp 0x29de3
movq %rax, %rbx
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x29d91
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x20(%rsp), %rdi
callq 0x25f7a
movq 0x381e6(%rip), %rsi     # 0x61f88
leaq 0x130(%rsp), %rdi
callq 0xc220
leaq 0x1a0(%rsp), %rdi
callq 0xc120
jmp 0x29df9
movq %rax, %rbx
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x29de3
movq 0x88(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x29df9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x118(%rsp), %rdi
callq 0x15b86
leaq 0xe0(%rsp), %rdi
callq 0x2a5da
leaq 0x98(%rsp), %rdi
callq 0x1e398
movq %rbx, %rdi
callq 0xc820