// File: /workspace/github_cpp_makefile_star2_O2/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::CompactReporter::AssertionPrinter::print()
void print() {
                printSourceInfo();

                itMessage = messages.begin();

                switch( result.getResultType() ) {
                    case ResultWas::Ok:
                        printResultType( Colour::ResultSuccess, passedString() );
                        printOriginalExpression();
                        printReconstructedExpression();
                        if ( ! result.hasExpression() )
                            printRemainingMessages( Colour::None );
                        else
                            printRemainingMessages();
                        break;
                    case ResultWas::ExpressionFailed:
                        if( result.isOk() )
                            printResultType( Colour::ResultSuccess, failedString() + std::string( " - but was ok" ) );
                        else
                            printResultType( Colour::Error, failedString() );
                        printOriginalExpression();
                        printReconstructedExpression();
                        printRemainingMessages();
                        break;
                    case ResultWas::ThrewException:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "unexpected exception with message:" );
                        printMessage();
                        printExpressionWas();
                        printRemainingMessages();
                        break;
                    case ResultWas::FatalErrorCondition:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "fatal error condition with message:" );
                        printMessage();
                        printExpressionWas();
                        printRemainingMessages();
                        break;
                    case ResultWas::DidntThrowException:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "expected exception, got none" );
                        printExpressionWas();
                        printRemainingMessages();
                        break;
                    case ResultWas::Info:
                        printResultType( Colour::None, "info" );
                        printMessage();
                        printRemainingMessages();
                        break;
                    case ResultWas::Warning:
                        printResultType( Colour::None, "warning" );
                        printMessage();
                        printRemainingMessages();
                        break;
                    case ResultWas::ExplicitFailure:
                        printResultType( Colour::Error, failedString() );
                        printIssue( "explicitly" );
                        printRemainingMessages( Colour::None );
                        break;
                    // These cases are here to prevent compiler warnings
                    case ResultWas::Unknown:
                    case ResultWas::FailureBit:
                    case ResultWas::Exception:
                        printResultType( Colour::Error, "** internal error **" );
                        break;
                }
            }

// Assembly:
pushq %rbx
subq $0x1f0, %rsp            # imm = 0x1F0
movq %rdi, %rbx
callq 0x27770
movq 0x10(%rbx), %rcx
movq 0x18(%rbx), %rax
movq %rax, 0x30(%rbx)
movl 0xb0(%rcx), %eax
leal 0x1(%rax), %edx
cmpl $0x3, %edx
jbe 0x27344
cmpl $0x10, %eax
je 0x27354
cmpl $0x11, %eax
je 0x275bc
cmpl $0x12, %eax
je 0x27389
cmpl $0x110, %eax            # imm = 0x110
je 0x27354
cmpl $0x111, %eax            # imm = 0x111
je 0x274c7
cmpl $0x112, %eax            # imm = 0x112
je 0x27540
cmpl $0x210, %eax            # imm = 0x210
jne 0x2766c
leaq 0xf90f(%rip), %rsi      # 0x36beb
leaq 0x130(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
pushq $0x12
popq %rsi
leaq 0x130(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0x130(%rsp), %rdi
callq 0xc978
leaq 0xf92b(%rip), %rsi      # 0x36c40
leaq 0x110(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
leaq 0x110(%rsp), %rsi
movq %rbx, %rdi
callq 0x27af6
leaq 0x110(%rsp), %rdi
jmp 0x27531
leaq 0xe485(%rip), %rax      # 0x357d0
movslq (%rax,%rdx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
leaq 0xf7d3(%rip), %rsi      # 0x36b2e
leaq 0x30(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
pushq $0x12
popq %rsi
leaq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0x30(%rsp), %rdi
callq 0xc978
jmp 0x2766c
leaq 0xf85b(%rip), %rsi      # 0x36beb
leaq 0x70(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
pushq $0x12
popq %rsi
leaq 0x70(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0x70(%rsp), %rdi
callq 0xc978
leaq 0xf8c1(%rip), %rsi      # 0x36c81
leaq 0x50(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
leaq 0x50(%rsp), %rsi
movq %rbx, %rdi
callq 0x27af6
leaq 0x50(%rsp), %rdi
callq 0xc978
jmp 0x274bd
leaq 0xf6fe(%rip), %rsi      # 0x36af0
leaq 0xb0(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
leaq 0xb0(%rsp), %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x277f8
leaq 0xb0(%rsp), %rdi
jmp 0x27453
leaq 0xf6ce(%rip), %rsi      # 0x36af5
leaq 0x90(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
leaq 0x90(%rsp), %rdx
movq %rbx, %rdi
xorl %esi, %esi
callq 0x277f8
leaq 0x90(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0x27b16
jmp 0x27661
leaq 0xf76e(%rip), %rsi      # 0x36bda
leaq 0x1d0(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
pushq $0x13
popq %rsi
leaq 0x1d0(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0x1d0(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0x2786c
movq %rbx, %rdi
callq 0x278d6
movq 0x10(%rbx), %rax
cmpq $0x0, 0x50(%rax)
jne 0x27661
movq %rbx, %rdi
xorl %esi, %esi
jmp 0x27667
leaq 0xf71d(%rip), %rsi      # 0x36beb
leaq 0x170(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
pushq $0x12
popq %rsi
leaq 0x170(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0x170(%rsp), %rdi
callq 0xc978
leaq 0xf716(%rip), %rsi      # 0x36c1d
leaq 0x150(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
leaq 0x150(%rsp), %rsi
movq %rbx, %rdi
callq 0x27af6
leaq 0x150(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0x27b16
jmp 0x275af
leaq 0xf6a4(%rip), %rsi      # 0x36beb
leaq 0xf0(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
pushq $0x12
popq %rsi
leaq 0xf0(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0xf0(%rsp), %rdi
callq 0xc978
leaq 0xf6e4(%rip), %rsi      # 0x36c64
leaq 0xd0(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
leaq 0xd0(%rsp), %rsi
movq %rbx, %rdi
callq 0x27af6
leaq 0xd0(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0x27b5a
jmp 0x27661
testb $0x8, 0x68(%rcx)
jne 0x275f8
leaq 0xf622(%rip), %rsi      # 0x36beb
leaq 0x190(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x11b1a
pushq $0x12
popq %rsi
leaq 0x190(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0x190(%rsp), %rdi
jmp 0x2764c
leaq 0xf45d(%rip), %rsi      # 0x36a5c
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x11b1a
leaq 0xf5d6(%rip), %rsi      # 0x36beb
leaq 0x1b0(%rsp), %rdi
leaq 0x10(%rsp), %rdx
callq 0x1ed70
pushq $0x13
popq %rsi
leaq 0x1b0(%rsp), %rdx
movq %rbx, %rdi
callq 0x277f8
leaq 0x1b0(%rsp), %rdi
callq 0xc978
leaq 0x10(%rsp), %rdi
callq 0xc978
movq %rbx, %rdi
callq 0x2786c
movq %rbx, %rdi
callq 0x278d6
pushq $0x17
popq %rsi
movq %rbx, %rdi
callq 0x2796c
addq $0x1f0, %rsp            # imm = 0x1F0
popq %rbx
retq
movq %rax, %rbx
leaq 0x1b0(%rsp), %rdi
callq 0xc978
jmp 0x2768a
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x190(%rsp), %rdi
jmp 0x2775e
jmp 0x27765
jmp 0x27765
movq %rax, %rbx
leaq 0xd0(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x150(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x110(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
jmp 0x2775e
jmp 0x27765
jmp 0x27765
jmp 0x27765
jmp 0x27765
movq %rax, %rbx
leaq 0xf0(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x170(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x1d0(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x90(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x130(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0xb0(%rsp), %rdi
jmp 0x2775e
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
jmp 0x2775e
jmp 0x27765
jmp 0x27765
jmp 0x27765
jmp 0x27765
jmp 0x27765
jmp 0x27765
jmp 0x27765
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0xc978
jmp 0x27768
movq %rax, %rbx
movq %rbx, %rdi
callq 0xc840