// File: 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
movq %rsp, %rbp
subq $0x5d0, %rsp            # imm = 0x5D0
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
movq (%rdi), %rax
movq 0x68(%rax), %rax
callq *%rax
movq %rax, %rsi
leaq -0x20(%rbp), %rdi
callq 0x19650
movq -0x8(%rbp), %rdi
movq (%rdi), %rax
movq 0x68(%rax), %rax
callq *%rax
movq %rax, -0x528(%rbp)
jmp 0x45f2e
movq -0x528(%rbp), %rdi
callq 0x19680
testb $0x1, %al
jne 0x45f40
jmp 0x45f6c
callq 0x11b50
movq %rax, %rdi
leaq 0x3863f(%rip), %rsi     # 0x7e58e
callq 0xe670
jmp 0x45f56
jmp 0x46074
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x46805
callq 0x11b50
movq %rax, %rdi
leaq 0x38632(%rip), %rsi     # 0x7e5ad
callq 0xe670
jmp 0x45f82
callq 0x10370
movq %rax, %rsi
leaq -0xb8(%rbp), %rdi
callq 0x196a0
jmp 0x45f98
leaq -0xd9(%rbp), %rdi
movq %rdi, -0x530(%rbp)
callq 0xeb70
movq -0x530(%rbp), %rdx
leaq 0x38bc0(%rip), %rsi     # 0x7eb79
leaq -0xd8(%rbp), %rdi
callq 0x18c80
jmp 0x45fc7
leaq -0xb8(%rbp), %rdi
leaq -0xd8(%rbp), %rsi
callq 0x196f0
movq %rax, -0x538(%rbp)
jmp 0x45fe3
movq -0x538(%rbp), %rsi
leaq -0x48(%rbp), %rdi
callq 0x197d0
jmp 0x45ff5
leaq -0x20(%rbp), %rdi
leaq -0x48(%rbp), %rsi
callq 0x19820
leaq -0x48(%rbp), %rdi
callq 0x19850
leaq -0xd8(%rbp), %rdi
callq 0xecd8
leaq -0xd9(%rbp), %rdi
callq 0xe710
leaq -0xb8(%rbp), %rdi
callq 0x19870
jmp 0x46074
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x46057
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0xd8(%rbp), %rdi
callq 0xecd8
leaq -0xd9(%rbp), %rdi
callq 0xe710
leaq -0xb8(%rbp), %rdi
callq 0x19870
jmp 0x46805
leaq -0x110(%rbp), %rdi
callq 0x46d20
movq -0x8(%rbp), %rdi
callq 0x10380
movq %rax, -0x540(%rbp)
jmp 0x46092
movq -0x540(%rbp), %rsi
movq -0x8(%rbp), %rcx
leaq -0x128(%rbp), %rdi
leaq -0x20(%rbp), %rdx
callq 0x10b90
jmp 0x460af
leaq -0x128(%rbp), %rdi
callq 0x46bc0
movq %rax, -0x138(%rbp)
leaq -0x130(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x46bf0
leaq -0x128(%rbp), %rdi
callq 0x46c30
movq %rax, -0x148(%rbp)
leaq -0x140(%rbp), %rdi
leaq -0x148(%rbp), %rsi
callq 0x46bf0
leaq -0x130(%rbp), %rdi
leaq -0x140(%rbp), %rsi
callq 0x19930
testb $0x1, %al
jne 0x46117
jmp 0x463a3
leaq -0x130(%rbp), %rdi
callq 0x1a3b0
movq %rax, %rdi
callq 0x10b80
movq %rax, %rdi
addq $0x60, %rdi
callq 0x1b240
movq %rax, -0x150(%rbp)
leaq -0x130(%rbp), %rdi
callq 0x1a3b0
movq %rax, %rdi
callq 0x10b80
movq %rax, %rdi
addq $0x60, %rdi
callq 0x1b270
movq %rax, -0x158(%rbp)
leaq -0x150(%rbp), %rdi
leaq -0x158(%rbp), %rsi
callq 0x1b2a0
testb $0x1, %al
jne 0x46181
jmp 0x46390
leaq -0x150(%rbp), %rdi
callq 0x1b2d0
movq %rax, %rsi
leaq -0x178(%rbp), %rdi
callq 0xe280
jmp 0x4619e
leaq -0x198(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0x124a0
jmp 0x461b3
leaq -0x110(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x46d40
movq %rax, -0x548(%rbp)
jmp 0x461cf
movq -0x548(%rbp), %rax
movq %rax, -0x1a0(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x46da0
movq %rax, -0x1a8(%rbp)
leaq -0x1a0(%rbp), %rdi
leaq -0x1a8(%rbp), %rsi
callq 0x46d70
testb $0x1, %al
jne 0x4620c
jmp 0x46329
leaq -0x248(%rbp), %rdi
callq 0x46e50
jmp 0x4621a
leaq -0x210(%rbp), %rdi
leaq -0x198(%rbp), %rsi
leaq -0x248(%rbp), %rdx
callq 0x46e10
jmp 0x46236
leaq -0x110(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0x46dd0
movb %dl, -0x551(%rbp)
movq %rax, -0x550(%rbp)
jmp 0x46258
movb -0x551(%rbp), %al
movq -0x550(%rbp), %rcx
movq %rcx, -0x258(%rbp)
movb %al, -0x250(%rbp)
movq -0x258(%rbp), %rax
movq %rax, -0x1b8(%rbp)
movb -0x250(%rbp), %al
movb %al, -0x1b0(%rbp)
movq -0x1b8(%rbp), %rax
movq %rax, -0x1a0(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x46e80
leaq -0x248(%rbp), %rdi
callq 0x46eb0
jmp 0x46329
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x467f9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x467ed
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x4637f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x46373
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x4631b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x46e80
leaq -0x248(%rbp), %rdi
callq 0x46eb0
jmp 0x46373
leaq -0x1a0(%rbp), %rdi
callq 0x46ed0
movq %rax, %rdi
addq $0x20, %rdi
leaq -0x178(%rbp), %rsi
callq 0x46ef0
jmp 0x4634a
leaq -0x198(%rbp), %rdi
callq 0xecd8
leaq -0x178(%rbp), %rdi
callq 0xecd8
leaq -0x150(%rbp), %rdi
callq 0x1b2f0
jmp 0x46165
leaq -0x198(%rbp), %rdi
callq 0xecd8
leaq -0x178(%rbp), %rdi
callq 0xecd8
jmp 0x467ed
jmp 0x46392
leaq -0x130(%rbp), %rdi
callq 0x19dd0
jmp 0x460fb
leaq -0x110(%rbp), %rdi
callq 0x46f30
movq %rax, -0x268(%rbp)
leaq -0x260(%rbp), %rdi
leaq -0x268(%rbp), %rsi
callq 0x46f60
leaq -0x110(%rbp), %rdi
callq 0x46da0
movq %rax, -0x278(%rbp)
leaq -0x270(%rbp), %rdi
leaq -0x278(%rbp), %rsi
callq 0x46f60
leaq -0x260(%rbp), %rdi
leaq -0x270(%rbp), %rsi
callq 0x46f80
testb $0x1, %al
jne 0x4640b
jmp 0x46682
leaq -0x3f0(%rbp), %rdi
callq 0xe8d0
jmp 0x46419
leaq 0x380a4(%rip), %rsi     # 0x7e4c4
leaq -0x3f0(%rbp), %rdi
callq 0xe670
movq %rax, -0x560(%rbp)
jmp 0x46435
movl $0x2, %edi
callq 0x1bc90
movq -0x560(%rbp), %rdi
movl %eax, -0x3f4(%rbp)
movl -0x3f4(%rbp), %esi
callq 0xe790
movq %rax, -0x568(%rbp)
jmp 0x46460
leaq -0x260(%rbp), %rdi
callq 0x46fb0
movq -0x568(%rbp), %rdi
movq 0x50(%rax), %rsi
callq 0xe120
movq %rax, -0x570(%rbp)
jmp 0x46485
movq -0x570(%rbp), %rdi
leaq 0x38031(%rip), %rsi     # 0x7e4c4
callq 0xe670
jmp 0x4649a
leaq -0x260(%rbp), %rdi
callq 0x46fb0
movq %rax, %rsi
addq $0x20, %rsi
leaq -0x470(%rbp), %rdi
callq 0x46fd0
jmp 0x464bb
leaq -0x490(%rbp), %rdi
callq 0x3fcc0
jmp 0x464c9
xorl %eax, %eax
movl %eax, %esi
leaq -0x490(%rbp), %rdi
callq 0x46ba0
movq %rax, -0x578(%rbp)
leaq -0x4b0(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0xe6b0
jmp 0x464f5
leaq -0x4b0(%rbp), %rdi
callq 0xe480
movq -0x578(%rbp), %rdi
movq %rax, %rsi
callq 0x3fcf0
movq %rax, %rdi
movl $0x46, %esi
callq 0x47110
movq %rax, -0x580(%rbp)
jmp 0x46526
movq -0x580(%rbp), %rdx
leaq -0x450(%rbp), %rdi
leaq -0x470(%rbp), %rsi
callq 0x3fd10
jmp 0x46542
leaq -0x4b0(%rbp), %rdi
callq 0xecd8
leaq -0x470(%rbp), %rdi
callq 0xecd8
callq 0x11b50
movq %rax, -0x588(%rbp)
leaq -0x4d0(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0xe6b0
jmp 0x4657b
movq -0x588(%rbp), %rdi
leaq -0x4d0(%rbp), %rsi
callq 0xe5a0
movq %rax, -0x590(%rbp)
jmp 0x46597
movq -0x590(%rbp), %rdi
leaq -0x450(%rbp), %rsi
callq 0x3fc20
movq %rax, -0x598(%rbp)
jmp 0x465b3
movq -0x598(%rbp), %rdi
leaq 0x38468(%rip), %rsi     # 0x7ea29
callq 0xe670
jmp 0x465c8
leaq -0x4d0(%rbp), %rdi
callq 0xecd8
leaq -0x450(%rbp), %rdi
callq 0x40350
leaq -0x3f0(%rbp), %rdi
callq 0xe130
leaq -0x260(%rbp), %rdi
callq 0x47130
jmp 0x463ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x46671
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x46631
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x4b0(%rbp), %rdi
callq 0xecd8
leaq -0x470(%rbp), %rdi
callq 0xecd8
jmp 0x46671
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x46665
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x4d0(%rbp), %rdi
callq 0xecd8
leaq -0x450(%rbp), %rdi
callq 0x40350
leaq -0x3f0(%rbp), %rdi
callq 0xe130
jmp 0x467ed
callq 0x11b50
movq %rax, -0x5b0(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x47160
movq %rax, -0x5a8(%rbp)
leaq -0x519(%rbp), %rdi
movq %rdi, -0x5a0(%rbp)
callq 0xeb70
movq -0x5a0(%rbp), %rdx
leaq 0x37f00(%rip), %rsi     # 0x7e5c2
leaq -0x518(%rbp), %rdi
callq 0x18c80
jmp 0x466d0
movq -0x5a8(%rbp), %rsi
leaq -0x4f8(%rbp), %rdi
leaq -0x518(%rbp), %rdx
callq 0x13c80
jmp 0x466ec
movq -0x5b0(%rbp), %rdi
leaq -0x4f8(%rbp), %rsi
callq 0x13cc0
movq %rax, -0x5b8(%rbp)
jmp 0x46708
movq -0x5b8(%rbp), %rdi
leaq 0x38313(%rip), %rsi     # 0x7ea29
callq 0xe670
movq %rax, -0x5c0(%rbp)
jmp 0x46724
movq -0x5c0(%rbp), %rdi
movq 0x6e806(%rip), %rsi     # 0xb4f38
callq 0xe6f0
jmp 0x46739
leaq -0x4f8(%rbp), %rdi
callq 0x46c80
leaq -0x518(%rbp), %rdi
callq 0xecd8
leaq -0x519(%rbp), %rdi
callq 0xe710
leaq -0x110(%rbp), %rdi
callq 0x47160
movq %rax, -0x5c8(%rbp)
leaq -0x128(%rbp), %rdi
callq 0x1a5d0
leaq -0x110(%rbp), %rdi
callq 0x47180
leaq -0x20(%rbp), %rdi
callq 0x19850
movq -0x5c8(%rbp), %rax
addq $0x5d0, %rsp            # imm = 0x5D0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x467e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
jmp 0x467d5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
leaq -0x4f8(%rbp), %rdi
callq 0x46c80
leaq -0x518(%rbp), %rdi
callq 0xecd8
leaq -0x519(%rbp), %rdi
callq 0xe710
leaq -0x128(%rbp), %rdi
callq 0x1a5d0
leaq -0x110(%rbp), %rdi
callq 0x47180
leaq -0x20(%rbp), %rdi
callq 0x19850
movq -0x28(%rbp), %rdi
callq 0xeb60
nopw (%rax,%rax)