// File: /workspace/github_c_makefile_star2_O1/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 0x3f04
leaq 0x48(%rsp), %rdi
leaq 0x28(%rsp), %rsi
leaq 0x8(%rsp), %rdx
callq 0x5fd2
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5801
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x21d0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x5818
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21d0
leaq 0x183e(%rip), %rsi      # 0x705d
leaq 0x8(%rsp), %rdi
callq 0x2060
testl %eax, %eax
je 0x58c5
leaq 0x1887(%rip), %rsi      # 0x70bf
leaq 0x8(%rsp), %rdi
callq 0x2060
testl %eax, %eax
je 0x58c5
leaq 0x1840(%rip), %rsi      # 0x708d
leaq 0x8(%rsp), %rdi
callq 0x2060
testl %eax, %eax
je 0x58c5
movq 0x478e(%rip), %rdi      # 0x9ff0
leaq 0x205e(%rip), %rsi      # 0x78c7
movl $0x5, %edx
callq 0x2210
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq 0x476f(%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 0x1806(%rip), %rsi      # 0x70c2
xorl %edi, %edi
xorl %eax, %eax
callq 0x5b0c
movq 0x8(%rbx), %rdx
cmpq 0x10(%rsp), %rdx
jne 0x58ee
testq %rdx, %rdx
je 0x5aaa
movq 0x8(%rsp), %rsi
movq (%rbx), %rdi
callq 0x21e0
testl %eax, %eax
je 0x5aaa
movq 0x46fb(%rip), %rdi      # 0x9ff0
movq (%rdi), %rax
addq -0x18(%rax), %rdi
movl $0xa, %esi
callq 0x2190
movsbl %al, %esi
movq 0x46e0(%rip), %rdi      # 0x9ff0
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x46cc(%rip), %rdi      # 0x9ff0
leaq 0x1fa2(%rip), %rsi      # 0x78cd
movl $0x2f, %edx
callq 0x2210
movq (%r14), %rsi
movq 0x8(%r14), %rdx
movq 0x46ad(%rip), %rdi      # 0x9ff0
callq 0x2210
movq 0x46a1(%rip), %rdi      # 0x9ff0
leaq 0x1fa7(%rip), %rsi      # 0x78fd
movl $0x3a, %edx
callq 0x2210
movq 0x4689(%rip), %rdi      # 0x9ff0
leaq 0x1fca(%rip), %rsi      # 0x7938
movl $0x10, %edx
callq 0x2210
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq 0x466a(%rip), %rdi      # 0x9ff0
callq 0x2210
leaq 0x1fb7(%rip), %rsi      # 0x7949
movl $0x1a, %edx
movq %rax, %rdi
callq 0x2210
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0x4640(%rip), %rdi      # 0x9ff0
callq 0x2210
movq %rax, %r14
leaq 0x1fa5(%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 0x45f6(%rip), %rdi      # 0x9ff0
leaq 0x1f66(%rip), %rsi      # 0x7967
movl $0x19, %edx
callq 0x2210
movq (%rbx), %rsi
movq 0x8(%rbx), %rdx
movq 0x45d7(%rip), %rdi      # 0x9ff0
callq 0x2210
movq 0x45cb(%rip), %rdi      # 0x9ff0
leaq 0x1f55(%rip), %rsi      # 0x7981
movl $0x3f, %edx
callq 0x2210
movq 0x45b3(%rip), %rbx      # 0x9ff0
leaq 0x1f7d(%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 0x4581(%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 0x4553(%rip), %rdi      # 0x9ff0
callq 0x2030
movq %rax, %rdi
callq 0x20f0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5ac1
movq 0x18(%rsp), %rsi
incq %rsi
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 0x5aec
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x21d0
jmp 0x5aec
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x5b03
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x21d0
movq %rbx, %rdi
callq 0x2340
nop