// File: /workspace/github_cpp_makefile_star2_O3/halfflat[P]tinyopt/test/googletest/googletest/src/gtest-death-test.cc
// Function: testing::internal::DeathTestImpl::Passed(bool)
bool DeathTestImpl::Passed(bool status_ok) {
  if (!spawned()) return false;

  const std::string error_message = GetErrorLogs();

  bool success = false;
  Message buffer;

  buffer << "Death test: " << statement() << "\n";
  switch (outcome()) {
    case LIVED:
      buffer << "    Result: failed to die.\n"
             << " Error msg:\n"
             << FormatDeathTestOutput(error_message);
      break;
    case THREW:
      buffer << "    Result: threw an exception.\n"
             << " Error msg:\n"
             << FormatDeathTestOutput(error_message);
      break;
    case RETURNED:
      buffer << "    Result: illegal return in test statement.\n"
             << " Error msg:\n"
             << FormatDeathTestOutput(error_message);
      break;
    case DIED:
      if (status_ok) {
        if (matcher_.Matches(error_message)) {
          success = true;
        } else {
          std::ostringstream stream;
          matcher_.DescribeTo(&stream);
          buffer << "    Result: died but not with expected error.\n"
                 << "  Expected: " << stream.str() << "\n"
                 << "Actual msg:\n"
                 << FormatDeathTestOutput(error_message);
        }
      } else {
        buffer << "    Result: died but not with expected exit code:\n"
               << "            " << ExitSummary(status()) << "\n"
               << "Actual msg:\n"
               << FormatDeathTestOutput(error_message);
      }
      break;
    case IN_PROGRESS:
    default:
      GTEST_LOG_(FATAL)
          << "DeathTest::Passed somehow called before conclusion of test";
  }

  DeathTest::set_last_death_test_message(buffer.GetString());
  return success;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x1e0, %rsp            # imm = 0x1E0
cmpb $0x1, 0x28(%rdi)
jne 0x3faa1
movl %esi, %ebp
movq %rdi, %r15
movq (%rdi), %rax
leaq 0x28(%rsp), %rdi
movq %r15, %rsi
callq *0x30(%rax)
leaq 0x20(%rsp), %rdi
callq 0x4ca86
movq 0x20(%rsp), %rbx
leaq 0x10(%rbx), %r14
leaq 0x3160a(%rip), %rsi     # 0x71088
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
movq 0x8(%r15), %r12
testq %r12, %r12
je 0x3faa8
movq %r12, %rdi
callq 0xd210
movq %rax, %rdx
jmp 0x3fab4
xorl %ebp, %ebp
jmp 0x3ff42
movl $0x6, %edx
leaq 0x321f5(%rip), %r12     # 0x71ca9
movq %r14, %rdi
movq %r12, %rsi
callq 0xd600
leaq 0x2f5fe(%rip), %rsi     # 0x6f0c4
movl $0x1, %edx
movq %r14, %rdi
callq 0xd600
movl 0x30(%r15), %eax
decl %eax
cmpl $0x3, %eax
ja 0x3fd33
leaq 0x30227(%rip), %rcx     # 0x6fd10
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
testb %bpl, %bpl
je 0x3fd75
addq $0x10, %r15
leaq 0x68(%rsp), %rdx
movq $0x0, 0x8(%rdx)
leaq 0x54085(%rip), %rax     # 0x93b98
movq %rax, (%rdx)
leaq 0x28(%rsp), %rsi
movq %r15, %rdi
callq 0x68fee
movb $0x1, %bpl
testb %al, %al
jne 0x3fee0
leaq 0x68(%rsp), %rdi
callq 0xd7f0
leaq 0x68(%rsp), %rsi
movq %r15, %rdi
callq 0x61baa
leaq 0x315c2(%rip), %rsi     # 0x7110e
movl $0x2e, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x315dd(%rip), %rsi     # 0x7113d
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x70(%rsp), %rsi
movq %rsp, %rdi
callq 0xd990
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r14, %rdi
callq 0xd600
leaq 0x2f532(%rip), %rsi     # 0x6f0c4
movl $0x1, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x315a4(%rip), %rsi     # 0x7114a
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x48(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x400b1
movq 0x48(%rsp), %rsi
movq 0x50(%rsp), %rdx
movq %r14, %rdi
callq 0xd600
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3fbef
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3fc0a
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x54397(%rip), %rsi     # 0x93fa8
leaq 0x68(%rsp), %rdi
callq 0xd290
leaq 0xd8(%rsp), %rdi
callq 0xd1a0
jmp 0x3fede
leaq 0x314ab(%rip), %rsi     # 0x710df
movl $0x2e, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x31469(%rip), %rsi     # 0x710b1
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x68(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x400b1
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq %r14, %rdi
callq 0xd600
jmp 0x3fd0f
leaq 0x3143c(%rip), %rsi     # 0x710be
movl $0x20, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x3141b(%rip), %rsi     # 0x710b1
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x68(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x400b1
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq %r14, %rdi
callq 0xd600
jmp 0x3fd0f
leaq 0x313c8(%rip), %rsi     # 0x71095
movl $0x1b, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x313d0(%rip), %rsi     # 0x710b1
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x68(%rsp), %rdi
leaq 0x28(%rsp), %rsi
callq 0x400b1
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq %r14, %rdi
callq 0xd600
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3fede
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x3fede
leaq 0x3121c(%rip), %rdx     # 0x70f56
leaq 0x68(%rsp), %rdi
movl $0x3, %esi
movl $0x26e, %ecx            # imm = 0x26E
callq 0x47006
movq 0x5429b(%rip), %rdi     # 0x93ff0
leaq 0x3143b(%rip), %rsi     # 0x71197
movl $0x3a, %edx
callq 0xd600
leaq 0x68(%rsp), %rdi
callq 0x47148
jmp 0x3fede
leaq 0x313db(%rip), %rsi     # 0x71157
movl $0x32, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x313fa(%rip), %rsi     # 0x7118a
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
movl 0x2c(%r15), %ebx
movq %rsp, %rdi
callq 0x4ca86
movl %ebx, %ebp
andl $0x7f, %ebx
je 0x3fdea
movl %ebx, %eax
shll $0x18, %eax
addl $0x1000000, %eax        # imm = 0x1000000
movq (%rsp), %r12
cmpl $0x2000000, %eax        # imm = 0x2000000
jl 0x3fe14
leaq 0x10(%r12), %r15
leaq 0x32cdf(%rip), %rsi     # 0x72ab0
movl $0x15, %edx
movq %r15, %rdi
callq 0xd600
movq %r15, %rdi
movl %ebx, %esi
callq 0xda30
jmp 0x3fe14
movq (%rsp), %r12
leaq 0x10(%r12), %r15
leaq 0x32c9d(%rip), %rsi     # 0x72a97
movl $0x18, %edx
movq %r15, %rdi
callq 0xd600
movl %ebp, %eax
movzbl %ah, %esi
movq %r15, %rdi
callq 0xda30
testb %bpl, %bpl
jns 0x3fe2f
leaq 0x10(%r12), %rdi
leaq 0x32ca1(%rip), %rsi     # 0x72ac6
movl $0xe, %edx
callq 0xd600
leaq 0x68(%rsp), %rdi
movq %r12, %rsi
callq 0x4ccdd
testq %r12, %r12
je 0x3fe4b
movq (%r12), %rax
movq %r12, %rdi
callq *0x8(%rax)
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq %r14, %rdi
callq 0xd600
leaq 0x2f260(%rip), %rsi     # 0x6f0c4
movl $0x1, %edx
movq %r14, %rdi
callq 0xd600
leaq 0x312d2(%rip), %rsi     # 0x7114a
movl $0xc, %edx
movq %r14, %rdi
callq 0xd600
movq %rsp, %rdi
leaq 0x28(%rsp), %rsi
callq 0x400b1
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
movq %r14, %rdi
callq 0xd600
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3febe
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3fed9
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rbx
xorl %ebp, %ebp
leaq 0x68(%rsp), %rdi
movq %rbx, %rsi
callq 0x4ccdd
leaq 0x54984(%rip), %rdi     # 0x94878
leaq 0x68(%rsp), %rsi
callq 0xd2a0
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3ff19
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
testq %rbx, %rbx
je 0x3ff27
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x8(%rax)
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3ff42
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
movl %ebp, %eax
addq $0x1e0, %rsp            # imm = 0x1E0
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x4001b
jmp 0x4001b
movq %rax, %r14
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3ffbb
movq 0x58(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x3ffbb
jmp 0x3ffb8
jmp 0x3ffd8
jmp 0x4007d
movq %rax, %r14
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x40032
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x40032
jmp 0x4002f
movq %rax, %r14
jmp 0x4004d
movq %rax, %r14
leaq 0x10(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3ffdb
movq 0x10(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x3ffdb
movq %rax, %r14
movq 0x53fc6(%rip), %rsi     # 0x93fa8
leaq 0x68(%rsp), %rdi
callq 0xd290
leaq 0xd8(%rsp), %rdi
callq 0xd1a0
jmp 0x40080
jmp 0x40054
jmp 0x40054
jmp 0x40054
jmp 0x4007d
jmp 0x4007d
jmp 0x4007d
movq %rax, %r14
leaq 0x68(%rsp), %rdi
callq 0x47148
jmp 0x40080
jmp 0x4007d
movq %rax, %r14
testq %r12, %r12
je 0x4004d
movq (%r12), %rax
movq %r12, %rdi
callq *0x8(%rax)
jmp 0x4004d
movq %rax, %r14
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4004d
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x20(%rsp), %rbx
jmp 0x40080
movq %rax, %r14
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x40080
movq 0x78(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x40080
jmp 0x4007d
movq %rax, %r14
jmp 0x4008e
jmp 0x4007d
movq %rax, %r14
testq %rbx, %rbx
je 0x4008e
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x8(%rax)
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x400a9
movq 0x38(%rsp), %rsi
incq %rsi
callq 0xd530
movq %r14, %rdi
callq 0xda70