// File: dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::Clara::CommandLine<Catch::ConfigData>::argSynopsis(std::ostream&) const
void argSynopsis( std::ostream& os ) const {
            for( int i = 1; i <= m_highestSpecifiedArgPosition; ++i ) {
                if( i > 1 )
                    os << " ";
                typename std::map<int, Arg>::const_iterator it = m_positionalArgs.find( i );
                if( it != m_positionalArgs.end() )
                    os << "<" << it->second.placeholder << ">";
                else if( m_floatingArg.get() )
                    os << "<" << m_floatingArg->placeholder << ">";
                else
                    throw std::logic_error( "non consecutive positional arguments with no floating args" );
            }
            // !TBD No indication of mandatory args
            if( m_floatingArg.get() ) {
                if( m_highestSpecifiedArgPosition > 1 )
                    os << " ";
                os << "[<" << m_floatingArg->placeholder << "> ...]";
            }
        }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x40(%rbp)
movl $0x1, -0x14(%rbp)
movq -0x40(%rbp), %rcx
movl -0x14(%rbp), %eax
cmpl 0x58(%rcx), %eax
jg 0x439dd
cmpl $0x1, -0x14(%rbp)
jle 0x438a5
movq -0x10(%rbp), %rdi
leaq 0x3a133(%rip), %rsi     # 0x7d9d3
callq 0xe670
movq -0x40(%rbp), %rdi
addq $0x20, %rdi
leaq -0x14(%rbp), %rsi
callq 0x42ac0
movq -0x40(%rbp), %rdi
movq %rax, -0x20(%rbp)
addq $0x20, %rdi
callq 0x42b20
movq %rax, -0x28(%rbp)
leaq -0x20(%rbp), %rdi
leaq -0x28(%rbp), %rsi
callq 0x42af0
testb $0x1, %al
jne 0x438de
jmp 0x43923
movq -0x10(%rbp), %rdi
leaq 0x3ab5f(%rip), %rsi     # 0x7e448
callq 0xe670
movq %rax, -0x48(%rbp)
leaq -0x20(%rbp), %rdi
callq 0x42b50
movq -0x48(%rbp), %rdi
movq %rax, %rsi
addq $0x8, %rsi
addq $0x48, %rsi
callq 0xe5a0
movq %rax, %rdi
leaq 0x3a382(%rip), %rsi     # 0x7dc9b
callq 0xe670
jmp 0x439cd
movq -0x40(%rbp), %rdi
addq $0x50, %rdi
callq 0x3e750
cmpq $0x0, %rax
je 0x43978
movq -0x10(%rbp), %rdi
leaq 0x3ab07(%rip), %rsi     # 0x7e448
callq 0xe670
movq -0x40(%rbp), %rdi
movq %rax, -0x50(%rbp)
addq $0x50, %rdi
callq 0x42f90
movq -0x50(%rbp), %rdi
movq %rax, %rsi
addq $0x48, %rsi
callq 0xe5a0
movq %rax, %rdi
leaq 0x3a32a(%rip), %rsi     # 0x7dc9b
callq 0xe670
jmp 0x439cb
movl $0x10, %edi
callq 0xe310
movq %rax, %rdi
movq %rdi, %rax
movq %rax, -0x58(%rbp)
leaq 0x3ab55(%rip), %rsi     # 0x7e4e8
callq 0xe920
jmp 0x4399a
movq -0x58(%rbp), %rdi
movq 0x71623(%rip), %rsi     # 0xb4fc8
movq 0x715e4(%rip), %rdx     # 0xb4f90
callq 0xeb10
movq -0x58(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x30(%rbp)
movl %eax, -0x34(%rbp)
callq 0xe4c0
jmp 0x43a50
jmp 0x439cd
jmp 0x439cf
movl -0x14(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x14(%rbp)
jmp 0x4387f
movq -0x40(%rbp), %rdi
addq $0x50, %rdi
callq 0x3e750
cmpq $0x0, %rax
je 0x43a4a
movq -0x40(%rbp), %rax
cmpl $0x1, 0x58(%rax)
jle 0x43a0a
movq -0x10(%rbp), %rdi
leaq 0x39fce(%rip), %rsi     # 0x7d9d3
callq 0xe670
movq -0x10(%rbp), %rdi
leaq 0x3ab0e(%rip), %rsi     # 0x7e523
callq 0xe670
movq -0x40(%rbp), %rdi
movq %rax, -0x60(%rbp)
addq $0x50, %rdi
callq 0x42f90
movq -0x60(%rbp), %rdi
movq %rax, %rsi
addq $0x48, %rsi
callq 0xe5a0
movq %rax, %rdi
leaq 0x3aae1(%rip), %rsi     # 0x7e526
callq 0xe670
addq $0x60, %rsp
popq %rbp
retq
movq -0x30(%rbp), %rdi
callq 0xeb60
nopl (%rax)