// File: /workspace/github_c_makefile_star2_O0/deplinenoise[P]tundra/unittest/googletest/googletest/src/gtest.cc
// Function: testing::ValidateTestPropertyName(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>> const&)
bool ValidateTestPropertyName(const std::string& property_name,
                              const std::vector<std::string>& reserved_names) {
  if (std::find(reserved_names.begin(), reserved_names.end(), property_name) !=
          reserved_names.end()) {
    ADD_FAILURE() << "Reserved key used in RecordProperty(): " << property_name
                  << " (" << FormatWordList(reserved_names)
                  << " are reserved by " << GTEST_NAME_ << ")";
    return false;
  }
  return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xc0, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x18(%rbp), %rdi
callq 0x338e0
movq %rax, -0x28(%rbp)
movq -0x18(%rbp), %rdi
callq 0x33910
movq %rax, -0x30(%rbp)
movq -0x10(%rbp), %rdx
movq -0x28(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x33890
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rdi
callq 0x33910
movq %rax, -0x38(%rbp)
leaq -0x20(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x33850
testb $0x1, %al
jne 0x1c165
jmp 0x1c2d7
leaq -0x40(%rbp), %rdi
movq %rdi, -0x88(%rbp)
callq 0x16d70
movq -0x88(%rbp), %rdi
leaq 0x6e62a(%rip), %rsi     # 0x8a7ad
callq 0x33940
movq %rax, -0x80(%rbp)
jmp 0x1c18e
movq -0x80(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0x30b60
movq %rax, -0x90(%rbp)
jmp 0x1c1a4
movq -0x90(%rbp), %rdi
leaq 0x6e584(%rip), %rsi     # 0x8a736
callq 0x320c0
movq %rax, -0x98(%rbp)
jmp 0x1c1c0
movq -0x18(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x1c300
jmp 0x1c1cf
movq -0x98(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x30b60
movq %rax, -0xa0(%rbp)
jmp 0x1c1e8
movq -0xa0(%rbp), %rdi
leaq 0x6e5df(%rip), %rsi     # 0x8a7d5
callq 0x33980
movq %rax, -0xa8(%rbp)
jmp 0x1c204
movq -0xa8(%rbp), %rdi
leaq 0x6e5d5(%rip), %rsi     # 0x8a7e7
callq 0x32080
movq %rax, -0xb0(%rbp)
jmp 0x1c220
movq -0xb0(%rbp), %rdi
leaq 0x72768(%rip), %rsi     # 0x8e996
callq 0x30ba0
movq %rax, -0xb8(%rbp)
jmp 0x1c23c
leaq 0x6e2c6(%rip), %rdx     # 0x8a509
leaq 0x6e5a9(%rip), %r8      # 0x8a7f3
leaq -0x78(%rbp), %rdi
movl $0x1, %esi
movl $0x860, %ecx            # imm = 0x860
callq 0x13fa0
jmp 0x1c25f
movq -0xb8(%rbp), %rsi
leaq -0x78(%rbp), %rdi
callq 0x14060
jmp 0x1c271
leaq -0x78(%rbp), %rdi
callq 0x14020
leaq -0x70(%rbp), %rdi
callq 0xf058
leaq -0x40(%rbp), %rdi
callq 0x31070
movb $0x0, -0x1(%rbp)
jmp 0x1c2db
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1c2cc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1c2c3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x78(%rbp), %rdi
callq 0x14020
leaq -0x70(%rbp), %rdi
callq 0xf058
leaq -0x40(%rbp), %rdi
callq 0x31070
jmp 0x1c2e9
movb $0x1, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0xc0, %rsp
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0xee80
nopw %cs:(%rax,%rax)