// File: /workspace/github_cpp_makefile_star2_O1/dadocolussi[P]gdc-circular_queue/tests/catch.hpp
// Function: Catch::JunitReporter::writeSection(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::CumulativeReporterBase::SectionNode const&)
void writeSection(  std::string const& className,
                            std::string const& rootName,
                            SectionNode const& sectionNode ) {
            std::string name = trim( sectionNode.stats.sectionInfo.name );
            if( !rootName.empty() )
                name = rootName + "/" + name;

            if( !sectionNode.assertions.empty() ||
                !sectionNode.stdOut.empty() ||
                !sectionNode.stdErr.empty() ) {
                XmlWriter::ScopedElement e = xml.scopedElement( "testcase" );
                if( className.empty() ) {
                    xml.writeAttribute( "classname", name );
                    xml.writeAttribute( "name", "root" );
                }
                else {
                    xml.writeAttribute( "classname", className );
                    xml.writeAttribute( "name", name );
                }
                xml.writeAttribute( "time", Catch::toString( sectionNode.stats.durationInSeconds ) );

                writeAssertions( sectionNode );

                if( !sectionNode.stdOut.empty() )
                    xml.scopedElement( "system-out" ).writeText( trim( sectionNode.stdOut ), false );
                if( !sectionNode.stdErr.empty() )
                    xml.scopedElement( "system-err" ).writeText( trim( sectionNode.stdErr ), false );
            }
            for( SectionNode::ChildSections::const_iterator
                    it = sectionNode.childSections.begin(),
                    itEnd = sectionNode.childSections.end();
                    it != itEnd;
                    ++it )
                if( className.empty() )
                    writeSection( name, "", **it );
                else
                    writeSection( className, name, **it );
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rcx, %r15
movq %rdx, %r12
movq %rsi, 0x50(%rsp)
movq %rdi, 0x58(%rsp)
leaq 0x18(%rcx), %rsi
leaq 0x68(%rsp), %rdi
callq 0x10c29
movq 0x8(%r12), %rdx
testq %rdx, %rdx
je 0x2e43a
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%r12), %rsi
addq %rsi, %rdx
leaq 0x30(%rsp), %rdi
callq 0x32cee
leaq 0x185f2(%rip), %rsi     # 0x4698a
leaq 0x30(%rsp), %rdi
callq 0xc8b0
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
leaq 0x30(%rsp), %rdi
callq 0xc110
leaq 0x18(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x2e3dd
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
jmp 0x2e3e3
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %r12
movq %rdx, 0x8(%r12)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
callq 0xc590
movq (%r12), %rdi
cmpq %rbx, %rdi
je 0x2e423
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x2e43a
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0xc0(%r15), %rax
cmpq 0xc8(%r15), %rax
jne 0x2e462
cmpq $0x0, 0xe0(%r15)
jne 0x2e462
cmpq $0x0, 0x100(%r15)
je 0x2e795
leaq 0x18(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x194f6(%rip), %rsi     # 0x47968
leaq 0x194f7(%rip), %rdx     # 0x47970
leaq 0x8(%rsp), %rdi
callq 0x32d7e
movq 0x58(%rsp), %rax
leaq 0xc8(%rax), %r12
movq %r12, 0x60(%rsp)
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2d366
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e4b8
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x50(%rsp), %rax
cmpq $0x0, 0x8(%rax)
je 0x2e537
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1949e(%rip), %rsi     # 0x47971
leaq 0x194a0(%rip), %rdx     # 0x4797a
callq 0x32d7e
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
movq 0x50(%rsp), %rdx
callq 0x2d418
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e508
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x189f7(%rip), %rsi     # 0x46f0e
leaq 0x189f4(%rip), %rdx     # 0x46f12
callq 0x32d7e
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
movq %r12, %rdi
callq 0x2d418
jmp 0x2e5aa
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1942b(%rip), %rsi     # 0x47971
leaq 0x1942d(%rip), %rdx     # 0x4797a
callq 0x32d7e
leaq 0x8(%rsp), %rsi
leaq 0x68(%rsp), %rdx
movq %r12, %rdi
callq 0x2d418
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e57b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x18984(%rip), %rsi     # 0x46f0e
leaq 0x18981(%rip), %rdx     # 0x46f12
callq 0x32d7e
leaq 0x193de(%rip), %rdx     # 0x4797b
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2e96a
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e5c1
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x18d5a(%rip), %rsi     # 0x4732a
leaq 0x18d57(%rip), %rdx     # 0x4732e
callq 0x32d7e
movsd 0x98(%r15), %xmm0
leaq 0x30(%rsp), %rdi
movl $0xa, %esi
callq 0x1644b
leaq 0x8(%rsp), %rsi
leaq 0x30(%rsp), %rdx
movq %r12, %rdi
callq 0x2d418
leaq 0x40(%rsp), %rbp
movq -0x10(%rbp), %rdi
cmpq %rbp, %rdi
je 0x2e621
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e638
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq 0xc0(%r15), %r13
movq 0xc8(%r15), %rbx
cmpq %rbx, %r13
je 0x2e661
movq 0x58(%rsp), %rdi
movq %r13, %rsi
callq 0x2ea58
addq $0x108, %r13            # imm = 0x108
jmp 0x2e646
cmpq $0x0, 0xe0(%r15)
je 0x2e6f6
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x1926c(%rip), %rsi     # 0x478ea
leaq 0x1926f(%rip), %rdx     # 0x478f4
callq 0x32d7e
movq %r12, 0x28(%rsp)
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2d366
leaq 0xd8(%r15), %rsi
leaq 0x30(%rsp), %rdi
callq 0x10c29
movq 0x28(%rsp), %rdi
leaq 0x30(%rsp), %rsi
xorl %edx, %edx
callq 0x2d808
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2e6d5
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x28(%rsp), %rdi
callq 0x2d67a
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e6f6
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
cmpq $0x0, 0x100(%r15)
je 0x2e78b
leaq 0x8(%rsp), %rdi
movq %r14, (%rdi)
leaq 0x191e2(%rip), %rsi     # 0x478f5
leaq 0x191e5(%rip), %rdx     # 0x478ff
callq 0x32d7e
movq %r12, 0x28(%rsp)
leaq 0x8(%rsp), %rsi
movq %r12, %rdi
callq 0x2d366
leaq 0xf8(%r15), %rsi
leaq 0x30(%rsp), %rdi
callq 0x10c29
movq 0x28(%rsp), %rdi
leaq 0x30(%rsp), %rsi
xorl %edx, %edx
callq 0x2d808
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2e76a
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x28(%rsp), %rdi
callq 0x2d67a
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e78b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
leaq 0x60(%rsp), %rdi
callq 0x2d67a
movq 0xa8(%r15), %rbp
movq 0xb0(%r15), %rbx
cmpq %rbx, %rbp
movq 0x50(%rsp), %rsi
je 0x2e829
leaq 0x18(%rsp), %r14
leaq 0x19228(%rip), %r15     # 0x479e1
leaq 0x8(%rsp), %r12
leaq 0x68(%rsp), %r13
cmpq $0x0, 0x8(%rsi)
je 0x2e7dd
movq (%rbp), %rcx
movq 0x58(%rsp), %rdi
movq %r13, %rdx
callq 0x2e33a
jmp 0x2e81b
movq %r14, 0x8(%rsp)
movq %r12, %rdi
movq %r15, %rsi
movq %r15, %rdx
callq 0x32d7e
movq (%rbp), %rcx
movq 0x58(%rsp), %rdi
movq %r13, %rsi
movq %r12, %rdx
callq 0x2e33a
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e81b
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
addq $0x8, %rbp
cmpq %rbx, %rbp
movq 0x50(%rsp), %rsi
jne 0x2e7c3
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2e844
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xc4a0
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2e8cf
jmp 0x2e934
jmp 0x2e8cf
jmp 0x2e934
jmp 0x2e86a
jmp 0x2e88d
jmp 0x2e88d
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2e890
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x2e890
jmp 0x2e934
jmp 0x2e88d
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x2d67a
jmp 0x2e8d2
jmp 0x2e934
jmp 0x2e8cf
jmp 0x2e934
jmp 0x2e8cf
jmp 0x2e934
movq %rax, %rbx
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2e8d2
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x2e8d2
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e937
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x2e937
jmp 0x2e934
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x2d67a
jmp 0x2e91b
jmp 0x2e943
jmp 0x2e900
movq %rax, %rbx
movq 0x30(%rsp), %rdi
cmpq %r13, %rdi
je 0x2e946
movq 0x40(%rsp), %rsi
jmp 0x2e92a
jmp 0x2e943
jmp 0x2e943
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r14, %rdi
je 0x2e946
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xc4a0
jmp 0x2e946
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x2d67a
jmp 0x2e946
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2e961
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xc4a0
movq %rbx, %rdi
callq 0xc820
nop