// File: /workspace/github_cpp_makefile_star2_O1/MarkCBell[P]twister/./twister/kernel/parsing.cpp
// Function: check_valid_names(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&)
void check_valid_names(const std::vector<std::string> &arc_names)
{
	int size = int(arc_names.size());
	
	// Check for blank names.
	for (int i = 0; i < size; i++)
		if (arc_names[i] == "")
			output_error("Empty curve or macro name.");
	
	// Check for names that contain a non-valid character or start with a digit.
	for (int i = 0; i < size; i++)
		if ((arc_names[i].find_first_not_of(valid_arc_name_characters) != std::string::npos) || isdigit(arc_names[i][0]) || arc_names[i][0] == '_')
			output_error("Invalid curve or macro name.");
	
	for (int i = 0; i < size; i++)
		for (int j = i+1; j < size; j++)
			if (arc_names[i]== arc_names[j])
				output_error("Duplicated curve or macro name.");
	
	return;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rdi, %rbx
movq 0x8(%rdi), %rax
subq (%rdi), %rax
shrq $0x5, %rax
movq %rax, 0x8(%rsp)
testl %eax, %eax
jle 0xa4b9
movq 0x8(%rsp), %r13
andl $0x7fffffff, %r13d      # imm = 0x7FFFFFFF
xorl %ebp, %ebp
leaq 0xce9f(%rip), %r14      # 0x172f9
leaq 0x68(%rsp), %r15
movq (%rbx), %rdi
addq %rbp, %rdi
movq %r14, %rsi
callq 0x30c0
testl %eax, %eax
jne 0xa4b0
leaq 0x78(%rsp), %r12
movq %r12, 0x68(%rsp)
movq %r15, %rdi
leaq 0xce75(%rip), %rsi      # 0x172fa
leaq 0xce88(%rip), %rdx      # 0x17314
callq 0x86fe
movq %r15, %rdi
callq 0x4397
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
je 0xa4b0
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x3220
addq $0x20, %rbp
decq %r13
jne 0xa45f
cmpl $0x0, 0x8(%rsp)
jle 0xa561
leaq 0x58(%rsp), %rbp
movq 0x8(%rsp), %r13
andl $0x7fffffff, %r13d      # imm = 0x7FFFFFFF
xorl %r14d, %r14d
leaq 0xce52(%rip), %r15      # 0x17331
leaq 0x48(%rsp), %r12
movq (%rbx), %rdi
addq %r14, %rdi
movq 0x13fd7(%rip), %rsi     # 0x1e4c8
movq 0x13fd8(%rip), %rcx     # 0x1e4d0
xorl %edx, %edx
callq 0x33a0
cmpq $-0x1, %rax
jne 0xa522
movq (%rbx), %rax
movq (%rax,%r14), %rax
movsbl (%rax), %eax
cmpl $0x5f, %eax
setne %cl
addl $-0x30, %eax
cmpl $0xa, %eax
setae %al
testb %al, %cl
jne 0xa558
movq %rbp, 0x48(%rsp)
movq %r12, %rdi
leaq 0xcde4(%rip), %rsi      # 0x17315
movq %r15, %rdx
callq 0x86fe
movq %r12, %rdi
callq 0x4397
movq 0x48(%rsp), %rdi
cmpq %rbp, %rdi
je 0xa558
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3220
addq $0x20, %r14
decq %r13
jne 0xa4e4
movq 0x8(%rsp), %rax
testl %eax, %eax
jle 0xa640
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
leaq -0x1(%rax), %rcx
movq %rcx, 0x18(%rsp)
movl $0x28, %ecx
movq %rcx, 0x10(%rsp)
xorl %r15d, %r15d
movq %rax, 0x8(%rsp)
leaq 0x1(%r15), %rcx
movq %rcx, 0x20(%rsp)
cmpq %rax, %rcx
jae 0xa622
shlq $0x5, %r15
movq 0x18(%rsp), %r13
movq 0x10(%rsp), %r14
movq (%rbx), %rax
movq 0x8(%rax,%r15), %rdx
cmpq (%rax,%r14), %rdx
jne 0xa619
testq %rdx, %rdx
je 0xa5d5
movq -0x8(%rax,%r14), %rsi
addq %r15, %rax
movq (%rax), %rdi
callq 0x3230
testl %eax, %eax
jne 0xa619
leaq 0x38(%rsp), %rbp
movq %rbp, 0x28(%rsp)
leaq 0x28(%rsp), %r12
movq %r12, %rdi
leaq 0xcd44(%rip), %rsi      # 0x17332
leaq 0xcd5c(%rip), %rdx      # 0x17351
callq 0x86fe
movq %r12, %rdi
callq 0x4397
movq 0x28(%rsp), %rdi
cmpq %rbp, %rdi
je 0xa619
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x3220
addq $0x20, %r14
decq %r13
jne 0xa5ae
addq $0x20, 0x10(%rsp)
decq 0x18(%rsp)
movq 0x8(%rsp), %rax
movq 0x20(%rsp), %r15
cmpq %rax, %r15
jne 0xa58e
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r12, %rdi
movq %r12, %rbp
jne 0xa67b
jmp 0xa687
movq %rax, %rbx
movq 0x48(%rsp), %rdi
jmp 0xa676
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %rbp, %rdi
je 0xa687
movq (%rbp), %rsi
incq %rsi
callq 0x3220
movq %rbx, %rdi
callq 0x33e0