// File: /workspace/github_cpp_makefile_star2_O1/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::XmlReporter::sectionEnded(Catch::SectionStats const&)
virtual void sectionEnded( SectionStats const& sectionStats ) CATCH_OVERRIDE {
            StreamingReporterBase::sectionEnded( sectionStats );
            if( --m_sectionDepth > 0 ) {
                XmlWriter::ScopedElement e = m_xml.scopedElement( "OverallResults" );
                e.writeAttribute( "successes", sectionStats.assertions.passed );
                e.writeAttribute( "failures", sectionStats.assertions.failed );
                e.writeAttribute( "expectedFailures", sectionStats.assertions.failedButOk );

                if ( m_config->showDurations() == ShowDurations::Always )
                    e.writeAttribute( "durationInSeconds", sectionStats.durationInSeconds );

                m_xml.endElement();
            }
        }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %rbx
movq %rdi, %r15
addq $0x1b0, %rdi            # imm = 0x1B0
movq 0x1b8(%r15), %rsi
addq $-0x68, %rsi
movq %rsi, 0x1b8(%r15)
callq 0x2bec2
movl 0x220(%r15), %eax
leal -0x1(%rax), %ecx
movl %ecx, 0x220(%r15)
cmpl $0x2, %eax
jl 0x1a11a
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x2d8cb(%rip), %rsi     # 0x4786d
leaq 0x2d8d2(%rip), %rdx     # 0x4787b
leaq 0x8(%rsp), %rdi
callq 0x32d7e
leaq 0x1d8(%r15), %r14
movq %r14, (%rsp)
leaq 0x8(%rsp), %rsi
movq %r14, %rdi
callq 0x2d366
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x19fe2
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x2d88b(%rip), %rsi     # 0x4787c
leaq 0x2d88d(%rip), %rdx     # 0x47885
callq 0x32d7e
leaq 0x70(%rbx), %rdx
movq (%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x2d724
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a026
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x2cf27(%rip), %rsi     # 0x46f5c
leaq 0x2cf28(%rip), %rdx     # 0x46f64
callq 0x32d7e
leaq 0x78(%rbx), %rdx
movq (%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x2d724
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a06a
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x2d80d(%rip), %rsi     # 0x47886
leaq 0x2d816(%rip), %rdx     # 0x47896
callq 0x32d7e
leaq 0x80(%rbx), %rdx
movq (%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0x2d724
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a0b1
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x10(%r15), %rdi
movq (%rdi), %rax
callq *0x60(%rax)
cmpl $0x1, %eax
jne 0x1a10a
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x2d7c8(%rip), %rsi     # 0x47897
leaq 0x2d7d2(%rip), %rdx     # 0x478a8
callq 0x32d7e
addq $0x88, %rbx
movq (%rsp), %rdi
leaq 0x8(%rsp), %rsi
movq %rbx, %rdx
callq 0x2d8e8
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a10a
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %r14, %rdi
callq 0x21494
movq %rsp, %rdi
callq 0x2d67a
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
jmp 0x1a132
jmp 0x1a179
jmp 0x1a132
jmp 0x1a179
jmp 0x1a132
jmp 0x1a179
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a17c
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x1a17c
jmp 0x1a179
movq %rax, %rbx
movq %rsp, %rdi
callq 0x2d67a
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x1a184
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x1a184
movq %rax, %rbx
jmp 0x1a184
movq %rax, %rbx
movq %rsp, %rdi
callq 0x2d67a
movq %rbx, %rdi
callq 0xc820