// File: /workspace/github_cpp_makefile_star2_O3/ahupowerdns[P]mcounter/./ext/doctest.h
// Function: doctest::(anonymous namespace)::JUnitReporter::log_assert(doctest::AssertData const&)
void log_assert(const AssertData& rb) override {
            if(!rb.m_failed) // report only failures & ignore the `success` option
                return;

            std::lock_guard<std::mutex> lock(mutex);

            std::ostringstream os;
            os << skipPathFromFilename(rb.m_file) << (opt.gnu_file_line ? ":" : "(")
              << line(rb.m_line) << (opt.gnu_file_line ? ":" : "):") << std::endl;

            fulltext_log_assert_to_stream(os, rb);
            log_contexts(os);
            testCaseData.addFailure(rb.m_decomp.c_str(), assertString(rb.m_at), os.str());
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1f8, %rsp            # imm = 0x1F8
cmpb $0x1, 0x28(%rsi)
jne 0x12eb9
movq %rsi, %r12
movq %rdi, %r15
leaq 0x50(%rdi), %rbx
movq %rbx, %rdi
callq 0x5520
testl %eax, %eax
jne 0x12ecb
leaq 0x80(%rsp), %rdi
movq %rbx, 0x8(%rsp)
callq 0x54c0
movq 0x10(%r12), %rdi
callq 0x6d92
testq %rax, %rax
je 0x12b48
movq %rax, %rbx
movq %rax, %rdi
callq 0x5170
leaq 0x80(%rsp), %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x5410
jmp 0x12b6a
movq 0x80(%rsp), %rax
movq -0x18(%rax), %rax
leaq (%rsp,%rax), %rdi
addq $0x80, %rdi
movl 0x20(%rdi), %esi
orl $0x1, %esi
callq 0x55c0
movq 0xc0(%r15), %rax
leaq 0x9591(%rip), %r14      # 0x1c109
leaq 0x9587(%rip), %rsi      # 0x1c106
cmpb $0x0, 0x7b(%rax)
cmovneq %r14, %rsi
leaq 0x80(%rsp), %rdi
movl $0x1, %edx
callq 0x5410
movl 0x18(%r12), %eax
movq 0xc0(%r15), %rcx
xorl %esi, %esi
cmpb $0x0, 0x7d(%rcx)
cmoveq %rax, %rsi
leaq 0x80(%rsp), %rdi
callq 0x5250
movq %rax, %rbx
movq 0xc0(%r15), %rax
movzbl 0x7b(%rax), %eax
leaq 0x9537(%rip), %rsi      # 0x1c108
testq %rax, %rax
cmovneq %r14, %rsi
movl $0x2, %edx
subq %rax, %rdx
movq %rbx, %rdi
callq 0x5410
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x5390
movsbl %al, %esi
movq %rbx, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x5260
leaq 0x80(%rsp), %rdi
movq %r12, %rsi
callq 0x137c0
callq 0x1615c
movq %r12, 0x18(%rsp)
movq %r15, 0x10(%rsp)
movq %fs:-0x28, %rbx
subq %fs:-0x30, %rbx
shrq $0x3, %rbx
testl %ebx, %ebx
je 0x12ce7
callq 0xc132
movq %rax, %r12
leaq 0x9596(%rip), %rsi      # 0x1c1f1
leaq 0x80(%rsp), %r13
movl $0xa, %edx
movq %r13, %rdi
callq 0x5410
testl %ebx, %ebx
jle 0x12ce7
andl $0x7fffffff, %ebx       # imm = 0x7FFFFFFF
xorl %r14d, %r14d
leaq 0x8994(%rip), %rbp      # 0x1b618
leaq 0x9802(%rip), %r15      # 0x1c48d
testq %r14, %r14
movq %r15, %rsi
cmoveq %rbp, %rsi
movl $0xa, %edx
cmoveq %r14, %rdx
movq %r13, %rdi
callq 0x5410
movq (%r12,%r14,8), %rdi
movq (%rdi), %rax
movq %r13, %rsi
callq *0x10(%rax)
movq 0x80(%rsp), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x5390
movsbl %al, %esi
movq %r13, %rdi
callq 0x5040
movq %rax, %rdi
callq 0x5260
incq %r14
cmpq %r14, %rbx
jne 0x12c8b
movq 0x18(%rsp), %r14
cmpb $0x0, 0x5f(%r14)
jns 0x12cf9
movq 0x48(%r14), %rsi
jmp 0x12cfd
leaq 0x48(%r14), %rsi
leaq 0x60(%rsp), %rdi
leaq 0x7(%rsp), %rdx
callq 0x16a26
movq 0x10(%rsp), %rbx
movl 0x8(%r14), %edi
callq 0x6986
leaq 0x40(%rsp), %rdi
leaq 0x6(%rsp), %rdx
movq %rax, %rsi
callq 0x16a26
leaq 0x88(%rsp), %rsi
leaq 0x20(%rsp), %rdi
callq 0x5560
movq 0xa0(%rbx), %r14
movq -0x28(%r14), %rbp
cmpq -0x20(%r14), %rbp
je 0x12d70
leaq 0x60(%rsp), %rsi
leaq 0x40(%rsp), %rdx
leaq 0x20(%rsp), %rcx
movq %rbp, %rdi
callq 0x13da0
addq $0x60, -0x28(%r14)
jmp 0x12e2f
movq -0x30(%r14), %r12
movq %rbp, %rbx
subq %r12, %rbx
movabsq $0x7fffffffffffffe0, %rax # imm = 0x7FFFFFFFFFFFFFE0
cmpq %rax, %rbx
je 0x12ed2
movq %rbx, %rax
sarq $0x5, %rax
movabsq $-0x5555555555555555, %rcx # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rcx
cmpq %r12, %rbp
movl $0x1, %eax
cmovneq %rcx, %rax
leaq (%rax,%rcx), %r15
movabsq $0x155555555555555, %rdx # imm = 0x155555555555555
cmpq %rdx, %r15
cmovaeq %rdx, %r15
addq %rcx, %rax
cmovbq %rdx, %r15
movq %r15, %rdi
callq 0x13620
movq %rax, %r13
addq %rax, %rbx
leaq 0x60(%rsp), %rsi
leaq 0x40(%rsp), %rdx
leaq 0x20(%rsp), %rcx
movq %rbx, %rdi
callq 0x13da0
movq %r12, %rdi
movq %rbp, %rsi
movq %r13, %rdx
callq 0x1364a
movq %rax, %rbx
addq $0x60, %rbx
testq %r12, %r12
je 0x12e18
movq -0x20(%r14), %rsi
subq %r12, %rsi
movq %r12, %rdi
callq 0x53d0
movq %r13, -0x30(%r14)
movq %rbx, -0x28(%r14)
leaq (%r15,%r15,2), %rax
shlq $0x5, %rax
addq %rax, %r13
movq %r13, -0x20(%r14)
movq 0x10(%rsp), %rax
incl 0xbc(%rax)
leaq 0x30(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
movq 0x8(%rsp), %rbx
je 0x12e5a
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x53d0
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x12e75
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x53d0
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x12e90
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x53d0
movq 0x13121(%rip), %rsi     # 0x25fb8
leaq 0x80(%rsp), %rdi
callq 0x51e0
leaq 0xf0(%rsp), %rdi
callq 0x5120
movq %rbx, %rdi
callq 0x52d0
addq $0x1f8, %rsp            # imm = 0x1F8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl %eax, %edi
callq 0x5230
leaq 0x8d40(%rip), %rdi      # 0x1bc19
callq 0x51d0
movq %rax, %rdi
callq 0x5160
testq %r13, %r13
jne 0x12ef5
movq %rbx, %rdi
callq 0x13772
jmp 0x12f05
shlq $0x5, %r15
leaq (%r15,%r15,2), %rsi
movq %r13, %rdi
callq 0x53d0
callq 0x5510
movq %rax, %r14
callq 0x55a0
jmp 0x12f30
movq %rax, %rdi
callq 0x16173
movq %rax, %r14
jmp 0x12f4b
movq %rax, %r14
jmp 0x12f66
jmp 0x12f85
movq %rax, %r14
jmp 0x12fa9
movq %rax, %r14
leaq 0x30(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x12f4b
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x53d0
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x12f66
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x53d0
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x12f88
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x53d0
jmp 0x12f88
jmp 0x12f85
movq %rax, %r14
movq 0x13029(%rip), %rsi     # 0x25fb8
leaq 0x80(%rsp), %rdi
callq 0x51e0
leaq 0xf0(%rsp), %rdi
callq 0x5120
movq 0x8(%rsp), %rdi
callq 0x52d0
movq %r14, %rdi
callq 0x5620
nop