// File: /workspace/github_cpp_makefile_star2_O1/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 %rbx
subq $0x1e8, %rsp            # imm = 0x1E8
cmpb $0x1, 0x28(%rdi)
jne 0x411fd
movl %esi, %ebp
movq %rdi, %r14
movq (%rdi), %rax
leaq 0x30(%rsp), %rdi
movq %r14, %rsi
callq *0x30(%rax)
leaq 0x28(%rsp), %rdi
callq 0x4e2e8
movq 0x28(%rsp), %rbx
addq $0x10, %rbx
leaq 0x31e9e(%rip), %rsi     # 0x73078
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
movq 0x8(%r14), %r15
testq %r15, %r15
je 0x41204
movq %r15, %rdi
callq 0xd210
movq %rax, %rdx
jmp 0x41210
xorl %ebp, %ebp
jmp 0x416a5
movl $0x6, %edx
leaq 0x32a89(%rip), %r15     # 0x73c99
movq %rbx, %rdi
movq %r15, %rsi
callq 0xd600
leaq 0x2fec5(%rip), %rsi     # 0x710e7
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
movl 0x30(%r14), %eax
decl %eax
cmpl $0x3, %eax
ja 0x41476
leaq 0x30aeb(%rip), %rcx     # 0x71d30
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
testb %bpl, %bpl
je 0x414b8
addq $0x10, %r14
leaq 0x70(%rsp), %rdx
movq $0x0, 0x8(%rdx)
leaq 0x54909(%rip), %rax     # 0x95b78
movq %rax, (%rdx)
leaq 0x30(%rsp), %rsi
movq %r14, %rdi
callq 0x6a862
movb $0x1, %bpl
testb %al, %al
jne 0x41638
leaq 0x70(%rsp), %rdi
callq 0xd7f0
leaq 0x70(%rsp), %rsi
movq %r14, %rdi
callq 0x634ee
leaq 0x31e56(%rip), %rsi     # 0x730fe
movl $0x2e, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x31e71(%rip), %rsi     # 0x7312d
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x78(%rsp), %rsi
leaq 0x8(%rsp), %rdi
callq 0xd990
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x2fdf6(%rip), %rsi     # 0x710e7
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x31e35(%rip), %rsi     # 0x7313a
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x50(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x417fb
movq 0x50(%rsp), %rsi
movq 0x58(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4134e
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x41369
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
movq 0x54c38(%rip), %rsi     # 0x95fa8
leaq 0x70(%rsp), %rdi
callq 0xd290
leaq 0xe0(%rsp), %rdi
callq 0xd1a0
jmp 0x41636
leaq 0x31d3c(%rip), %rsi     # 0x730cf
movl $0x2e, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x31cfa(%rip), %rsi     # 0x730a1
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x417fb
movq 0x70(%rsp), %rsi
movq 0x78(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
jmp 0x41615
leaq 0x31ccd(%rip), %rsi     # 0x730ae
movl $0x20, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x31cac(%rip), %rsi     # 0x730a1
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x417fb
movq 0x70(%rsp), %rsi
movq 0x78(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
jmp 0x41615
leaq 0x31c56(%rip), %rsi     # 0x73085
movl $0x1b, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x31c5e(%rip), %rsi     # 0x730a1
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x70(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x417fb
movq 0x70(%rsp), %rsi
movq 0x78(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
jmp 0x41615
leaq 0x31ac9(%rip), %rdx     # 0x72f46
leaq 0x70(%rsp), %rdi
movl $0x3, %esi
movl $0x26e, %ecx            # imm = 0x26E
callq 0x48796
movq 0x54b58(%rip), %rdi     # 0x95ff0
leaq 0x31ce8(%rip), %rsi     # 0x73187
movl $0x3a, %edx
callq 0xd600
leaq 0x70(%rsp), %rdi
callq 0x488d8
jmp 0x41636
leaq 0x31c88(%rip), %rsi     # 0x73147
movl $0x32, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x31ca7(%rip), %rsi     # 0x7317a
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
movl 0x2c(%r14), %r14d
leaq 0x8(%rsp), %rdi
callq 0x4e2e8
movl %r14d, %ebp
andl $0x7f, %r14d
je 0x41536
movl %r14d, %eax
shll $0x18, %eax
addl $0x1000000, %eax        # imm = 0x1000000
cmpl $0x2000000, %eax        # imm = 0x2000000
jl 0x41560
movl %r14d, %r15d
movq 0x8(%rsp), %r14
addq $0x10, %r14
leaq 0x33584(%rip), %rsi     # 0x74aa0
movl $0x15, %edx
movq %r14, %rdi
callq 0xd600
movq %r14, %rdi
movl %r15d, %esi
callq 0xda30
jmp 0x41560
movq 0x8(%rsp), %r14
addq $0x10, %r14
leaq 0x33541(%rip), %rsi     # 0x74a87
movl $0x18, %edx
movq %r14, %rdi
callq 0xd600
movl %ebp, %eax
movzbl %ah, %esi
movq %r14, %rdi
callq 0xda30
testb %bpl, %bpl
jns 0x4157f
movq 0x8(%rsp), %rdi
addq $0x10, %rdi
leaq 0x33541(%rip), %rsi     # 0x74ab6
movl $0xe, %edx
callq 0xd600
movq 0x8(%rsp), %r14
leaq 0x70(%rsp), %rdi
movq %r14, %rsi
callq 0x4e54b
testq %r14, %r14
je 0x4159f
movq (%r14), %rax
movq %r14, %rdi
callq *0x8(%rax)
movq 0x70(%rsp), %rsi
movq 0x78(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x2fb2f(%rip), %rsi     # 0x710e7
movl $0x1, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x31b6e(%rip), %rsi     # 0x7313a
movl $0xc, %edx
movq %rbx, %rdi
callq 0xd600
leaq 0x8(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x417fb
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rbx, %rdi
callq 0xd600
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x41615
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
leaq 0x80(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x41636
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xd530
xorl %ebp, %ebp
movq 0x28(%rsp), %rbx
leaq 0x70(%rsp), %rdi
movq %rbx, %rsi
callq 0x4e54b
leaq 0x55227(%rip), %rdi     # 0x96878
leaq 0x70(%rsp), %rsi
callq 0xd2a0
leaq 0x80(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4167c
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xd530
testq %rbx, %rbx
je 0x4168a
movq (%rbx), %rax
movq %rbx, %rdi
callq *0x8(%rax)
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x416a5
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xd530
movl %ebp, %eax
addq $0x1e8, %rsp            # imm = 0x1E8
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x41776
jmp 0x41776
movq %rax, %rbx
leaq 0x60(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x41719
movq 0x60(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x41719
jmp 0x41716
jmp 0x41736
jmp 0x417bc
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x41790
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x41790
jmp 0x4178d
jmp 0x417bc
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x41739
movq 0x18(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x41739
movq %rax, %rbx
movq 0x54868(%rip), %rsi     # 0x95fa8
leaq 0x70(%rsp), %rdi
callq 0xd290
leaq 0xe0(%rsp), %rdi
callq 0xd1a0
jmp 0x417bf
jmp 0x4178d
jmp 0x4178d
jmp 0x4178d
jmp 0x417bc
jmp 0x417bc
jmp 0x417bc
movq %rax, %rbx
leaq 0x70(%rsp), %rdi
callq 0x488d8
jmp 0x417bf
jmp 0x417bc
movq %rax, %rbx
movq 0x8(%rsp), %rdi
testq %rdi, %rdi
je 0x417bf
movq (%rdi), %rax
callq *0x8(%rax)
jmp 0x417bf
jmp 0x4178d
movq %rax, %rbx
leaq 0x80(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x417bf
movq 0x80(%rsp), %rsi
incq %rsi
callq 0xd530
jmp 0x417bf
jmp 0x417bc
movq %rax, %rbx
jmp 0x417d8
jmp 0x417bc
movq %rax, %rbx
movq 0x28(%rsp), %rdi
testq %rdi, %rdi
je 0x417cf
movq (%rdi), %rax
callq *0x8(%rax)
movq $0x0, 0x28(%rsp)
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x417f3
movq 0x40(%rsp), %rsi
incq %rsi
callq 0xd530
movq %rbx, %rdi
callq 0xda70