// File: /workspace/github_cpp_makefile_star2_O1/tomfunkhouser[P]gaps/pkgs/RNBasics/json.cpp
// Function: Json::CharReaderBuilder::validate(Json::Value*) const
bool CharReaderBuilder::validate(Json::Value* invalid) const
{
  Json::Value my_invalid;
  if (!invalid) invalid = &my_invalid;  // so we do not need to test for NULL
  Json::Value& inv = *invalid;
  std::set<std::string> valid_keys;
  getValidReaderKeys(&valid_keys);
  Value::Members keys = settings_.getMemberNames();
  size_t n = keys.size();
  for (size_t i = 0; i < n; ++i) {
    std::string const& key = keys[i];
    if (valid_keys.find(key) == valid_keys.end()) {
      inv[key] = settings_[key];
    }
  }
  return 0u == inv.size();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
leaq 0x90(%rsp), %rax
andw $0xfe00, 0x8(%rax)      # imm = 0xFE00
movq %rdi, %r14
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
xorl %ecx, %ecx
movq %rcx, 0x20(%rax)
movq %rcx, (%rax)
testq %rsi, %rsi
cmoveq %rax, %rsi
movq %rsi, 0x28(%rsp)
leaq 0x38(%rsp), %rax
movl $0x0, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq 0x30(%rsp), %r15
movq %r15, %rdi
callq 0x8a7fa
leaq 0x10(%rsp), %r12
movq %r12, -0x10(%r12)
movabsq $0x437463656c6c6f63, %rax # imm = 0x437463656C6C6F63
movq %rax, (%r12)
movabsq $0x73746e656d6d6f43, %rbx # imm = 0x73746E656D6D6F43
movq %rbx, 0x7(%r12)
movq $0xf, -0x8(%r12)
movb $0x0, 0xf(%r12)
movq %rsp, %rsi
movq %r15, %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x807e3
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rsi
movq %r12, (%rsi)
movabsq $0x6d6f43776f6c6c61, %rax # imm = 0x6D6F43776F6C6C61
movq %rax, 0x10(%rsi)
movq %rbx, 0x15(%rsi)
movq $0xd, 0x8(%rsi)
movb $0x0, 0x1d(%rsi)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x80827
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rsi
movq %r12, (%rsi)
movabsq $0x6f52746369727473, %rax # imm = 0x6F52746369727473
movq %rax, 0x10(%rsi)
movw $0x746f, 0x18(%rsi)     # imm = 0x746F
movq $0xa, 0x8(%rsi)
movb $0x0, 0x1a(%rsi)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x8086d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x20(%rsp), %rsi
movq $0x1c, (%rsi)
xorl %edx, %edx
callq 0x11aa0
movq %rsp, %rsi
movq %rax, (%rsi)
movq 0x20(%rsp), %rcx
movq %rcx, 0x10(%rsi)
movups 0x40b63(%rip), %xmm0    # 0xc13ff
movups %xmm0, 0xc(%rax)
movups 0x40b4c(%rip), %xmm0    # 0xc13f3
movups %xmm0, (%rax)
movq %rcx, 0x8(%rsi)
movq (%rsi), %rax
movb $0x0, (%rax,%rcx)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x808d5
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x20(%rsp), %rsi
movq $0x10, (%rsi)
xorl %edx, %edx
callq 0x11aa0
movq %rsp, %rsi
movq %rax, (%rsi)
movq 0x20(%rsp), %rcx
movq %rcx, 0x10(%rsi)
movups 0x40b0c(%rip), %xmm0    # 0xc1410
movups %xmm0, (%rax)
movq %rcx, 0x8(%rsi)
movq (%rsi), %rax
movb $0x0, (%rax,%rcx)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x80932
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x20(%rsp), %rsi
movq $0x11, (%rsi)
xorl %edx, %edx
callq 0x11aa0
movq %rsp, %rsi
movq %rax, (%rsi)
movq 0x20(%rsp), %rcx
movq %rcx, 0x10(%rsi)
movups 0x40ac0(%rip), %xmm0    # 0xc1421
movups %xmm0, (%rax)
movb $0x73, 0x10(%rax)
movq %rcx, 0x8(%rsi)
movq (%rsi), %rax
movb $0x0, (%rax,%rcx)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x80993
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rsi
movq %r12, (%rsi)
movabsq $0x6d694c6b63617473, %rax # imm = 0x6D694C6B63617473
movq %rax, 0x10(%rsi)
movw $0x7469, 0x18(%rsi)     # imm = 0x7469
movq $0xa, 0x8(%rsi)
movb $0x0, 0x1a(%rsi)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x809d9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rsi
movq %r12, (%rsi)
movabsq $0x784566496c696166, %rax # imm = 0x784566496C696166
movq %rax, 0x10(%rsi)
movl $0x61727478, 0x17(%rsi) # imm = 0x61727478
movq $0xb, 0x8(%rsi)
movb $0x0, 0x1b(%rsi)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x80a20
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rsi
movq %r12, (%rsi)
movabsq $0x75447463656a6572, %rax # imm = 0x75447463656A6572
movq %rax, 0x10(%rsi)
movabsq $0x7379654b70754474, %rax # imm = 0x7379654B70754474
movq %rax, 0x15(%rsi)
movq $0xd, 0x8(%rsi)
movb $0x0, 0x1d(%rsi)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x80a6e
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
movq %rsp, %rdi
movq %r12, (%rdi)
leaq 0x20(%rsp), %rsi
movq $0x12, (%rsi)
xorl %edx, %edx
callq 0x11aa0
movq %rsp, %rsi
movq %rax, (%rsi)
movq 0x20(%rsp), %rcx
movq %rcx, 0x10(%rsi)
movups 0x409bb(%rip), %xmm0    # 0xc1458
movups %xmm0, (%rax)
movw $0x7374, 0x10(%rax)     # imm = 0x7374
movq %rcx, 0x8(%rsi)
movq (%rsi), %rax
movb $0x0, (%rax,%rcx)
leaq 0x30(%rsp), %rdi
callq 0x8a88c
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x80ad1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
addq $0x8, %r14
movq %rsp, %rdi
movq %r14, 0x88(%rsp)
movq %r14, %rsi
callq 0x80cd4
movq 0x8(%rsp), %rbp
subq (%rsp), %rbp
je 0x80c1d
sarq $0x5, %rbp
cmpq $0x1, %rbp
adcq $0x0, %rbp
xorl %r14d, %r14d
leaq 0x30(%rsp), %r15
movl $0xff00, %ebx           # imm = 0xFF00
movl $0x100, %r13d           # imm = 0x100
movq (%rsp), %r12
leaq (%r12,%r14), %rsi
movq %r15, %rdi
callq 0x8c0da
leaq 0x38(%rsp), %rcx
cmpq %rcx, %rax
jne 0x80c10
movq (%r12,%r14), %rsi
movq 0x8(%r12,%r14), %rdx
addq %rsi, %rdx
movq 0x88(%rsp), %rdi
callq 0x841d8
testq %rax, %rax
leaq 0x403e9(%rip), %rcx     # 0xc0f40
cmoveq %rcx, %rax
leaq 0x60(%rsp), %rdi
movq %rax, %rsi
callq 0x82336
movq (%r12,%r14), %rsi
movq 0x8(%r12,%r14), %rdx
addq %rsi, %rdx
movq 0x28(%rsp), %rdi
callq 0x83ef4
movzwl 0x8(%rax), %ecx
movl %ecx, %edx
movl $0xff, %r8d
andl %r8d, %edx
movzwl 0x68(%rsp), %esi
movl %esi, %edi
andl %r8d, %edi
movl %ecx, %r8d
andl %ebx, %r8d
orl %edi, %r8d
movw %r8w, 0x8(%rax)
movl %esi, %edi
andl %ebx, %edi
orl %edx, %edi
movw %di, 0x68(%rsp)
movq (%rax), %rdx
movq 0x60(%rsp), %r9
movq %r9, (%rax)
movq %rdx, 0x60(%rsp)
andl %r13d, %esi
andl $0xfeff, %r8d           # imm = 0xFEFF
orl %esi, %r8d
movw %r8w, 0x8(%rax)
andl %r13d, %ecx
andl $0xfffffeff, %edi       # imm = 0xFFFFFEFF
orl %ecx, %edi
movw %di, 0x68(%rsp)
movq 0x10(%rax), %rcx
movq 0x70(%rsp), %rdx
movq %rdx, 0x10(%rax)
movq %rcx, 0x70(%rsp)
movups 0x78(%rsp), %xmm0
movups 0x18(%rax), %xmm1
movups %xmm0, 0x18(%rax)
movups %xmm1, 0x78(%rsp)
leaq 0x60(%rsp), %rdi
callq 0x82500
addq $0x20, %r14
decq %rbp
jne 0x80b16
movq 0x28(%rsp), %rdi
callq 0x80e7c
testl %eax, %eax
sete %bl
movq %rsp, %rdi
callq 0x89d42
leaq 0x30(%rsp), %rdi
callq 0x8aa1e
leaq 0x90(%rsp), %rdi
callq 0x82500
movl %ebx, %eax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x80c75
jmp 0x80c7e
jmp 0x80c75
jmp 0x80c7e
jmp 0x80c7e
jmp 0x80c7e
jmp 0x80c7e
jmp 0x80c75
jmp 0x80c7e
jmp 0x80c75
jmp 0x80c7e
movq %rax, %rbx
jmp 0x80cb5
jmp 0x80c7e
jmp 0x80c7e
movq %rax, %rbx
movq (%rsp), %rdi
cmpq %r12, %rdi
je 0x80cb5
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x115c0
jmp 0x80cb5
movq %rax, %rbx
leaq 0x60(%rsp), %rdi
callq 0x82500
jmp 0x80cad
jmp 0x80caa
movq %rax, %rbx
movq %rsp, %rdi
callq 0x89d42
leaq 0x30(%rsp), %rdi
callq 0x8aa1e
leaq 0x90(%rsp), %rdi
callq 0x82500
movq %rbx, %rdi
callq 0x11a70