// File: /workspace/github_c_makefile_star2_O3/info-telecom-strasbourg[P]code-generator/src/safety.cpp
// Function: extension_safety(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
void extension_safety ( string path, string extension ) {
	string path_extension;

	parse_extension (path, path_extension);

	if ( path_extension != "c" && path_extension != "cc" 
		&& path_extension != "cpp") {
		cerr << "\nIn: " << path << endl;
		interupt(0, "\033[1;31merror\033[0m: Unrecognized extension \'%s\'",
			path_extension.c_str());
	}

	if ( extension == path_extension )
		return;

	cerr << endl;
	cerr << "\033[1;35mimportant warning\033[0m: The extension of " << path;
	cerr << " does not match the extension defined in the configuration";
	cerr << " file (which is " << extension << ", while the path's one is ";
	cerr << path_extension << ")." << endl;
	cerr << "\nThe chosen extension is " << extension;
	cerr << " so the nature of the file might not match the extension of its";
	cerr << " path." << endl;
	cerr << endl;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x18(%rsp), %r12
movq %r12, -0x10(%r12)
movq $0x0, -0x8(%r12)
movb $0x0, (%r12)
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rdi), %rsi
movq 0x8(%rdi), %rdx
addq %rsi, %rdx
leaq 0x28(%rsp), %rdi
callq 0x3f06
leaq 0x48(%rsp), %rdi
leaq 0x28(%rsp), %rsi
leaq 0x8(%rsp), %rdx
callq 0x5f8d
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x57c9
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x21d0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x57e0
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21d0
leaq 0x1876(%rip), %rsi      # 0x705d
leaq 0x8(%rsp), %rdi
callq 0x2060
testl %eax, %eax
je 0x588d
leaq 0x18bf(%rip), %rsi      # 0x70bf
leaq 0x8(%rsp), %rdi
callq 0x2060
testl %eax, %eax
je 0x588d
leaq 0x1878(%rip), %rsi      # 0x708d
leaq 0x8(%rsp), %rdi
callq 0x2060
testl %eax, %eax
je 0x588d
movq 0x47c6(%rip), %rdi      # 0x9ff0
leaq 0x2096(%rip), %rsi      # 0x78c7
movl $0x5, %edx
callq 0x2210
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq 0x47a7(%rip), %rdi      # 0x9ff0
callq 0x2210
movq %rax, %r15
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r15, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq %r15, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x8(%rsp), %rdx
leaq 0x183e(%rip), %rsi      # 0x70c2
xorl %edi, %edi
xorl %eax, %eax
callq 0x5adc
movq 0x8(%rbx), %rdx
cmpq 0x10(%rsp), %rdx
jne 0x58b9
movq 0x8(%rsp), %r15
testq %rdx, %rdx
je 0x5a7a
movq (%rbx), %rdi
movq %r15, %rsi
callq 0x21e0
testl %eax, %eax
je 0x5a7a
movq 0x4730(%rip), %rdi      # 0x9ff0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq 0x4715(%rip), %rdi      # 0x9ff0
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x4701(%rip), %rdi      # 0x9ff0
leaq 0x1fd7(%rip), %rsi      # 0x78cd
movl $0x2f, %edx
callq 0x2210
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq 0x46e2(%rip), %rdi      # 0x9ff0
callq 0x2210
movq 0x46d6(%rip), %rdi      # 0x9ff0
leaq 0x1fdc(%rip), %rsi      # 0x78fd
movl $0x3a, %edx
callq 0x2210
movq 0x46be(%rip), %rdi      # 0x9ff0
leaq 0x1fff(%rip), %rsi      # 0x7938
movl $0x10, %edx
callq 0x2210
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq 0x469f(%rip), %rdi      # 0x9ff0
callq 0x2210
leaq 0x1fec(%rip), %rsi      # 0x7949
movl $0x1a, %edx
movq %rax, %rdi
callq 0x2210
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0x4675(%rip), %rdi      # 0x9ff0
callq 0x2210
movq %rax, %r14
leaq 0x1fda(%rip), %rsi      # 0x7964
movl $0x2, %edx
movq %rax, %rdi
callq 0x2210
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x462b(%rip), %rdi      # 0x9ff0
leaq 0x1f9b(%rip), %rsi      # 0x7967
movl $0x19, %edx
callq 0x2210
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq 0x460c(%rip), %rdi      # 0x9ff0
callq 0x2210
movq 0x4600(%rip), %rdi      # 0x9ff0
leaq 0x1f8a(%rip), %rsi      # 0x7981
movl $0x3f, %edx
callq 0x2210
movq 0x45e8(%rip), %rbx      # 0x9ff0
leaq 0x1fb2(%rip), %rsi      # 0x79c1
movl $0x6, %edx
movq %rbx, %rdi
callq 0x2210
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq 0x45b6(%rip), %rbx      # 0x9ff0
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq 0x4588(%rip), %rdi      # 0x9ff0
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x8(%rsp), %r15
cmpq %r12, %r15
je 0x5a8f
movq 0x18(%rsp), %rsi
incq %rsi
movq %r15, %rdi
callq 0x21d0
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rax, %rbx
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x5aba
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21d0
jmp 0x5aba
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5ad1
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21d0
movq %rbx, %rdi
callq 0x2340
nopl (%rax)