// File: /workspace/github_c_makefile_star2_O2/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 %r14
pushq %rbx
subq $0x68, %rsp
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x18(%rsp), %rax
movq %rax, -0x10(%rax)
andq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0x28(%rsp), %rdi
movq %r14, %rsi
callq 0x22c0
leaq 0x48(%rsp), %rdi
leaq 0x28(%rsp), %rsi
leaq 0x8(%rsp), %rdx
callq 0x4ec3
leaq 0x48(%rsp), %rdi
callq 0x20c0
leaq 0x28(%rsp), %rdi
callq 0x20c0
leaq 0x182b(%rip), %rsi      # 0x605d
leaq 0x8(%rsp), %rdi
callq 0x4623
testb %al, %al
je 0x48a5
leaq 0x1878(%rip), %rsi      # 0x60bf
leaq 0x8(%rsp), %rdi
callq 0x4623
testb %al, %al
je 0x48a5
leaq 0x1831(%rip), %rsi      # 0x608d
leaq 0x8(%rsp), %rdi
callq 0x4623
testb %al, %al
je 0x48a5
movq 0x477f(%rip), %rdi      # 0x8ff0
leaq 0x204f(%rip), %rsi      # 0x68c7
callq 0x21b0
movq %rax, %rdi
movq %r14, %rsi
callq 0x2180
movq %rax, %rdi
callq 0x20e0
movq 0x8(%rsp), %rdx
leaq 0x1826(%rip), %rsi      # 0x60c2
xorl %edi, %edi
xorl %eax, %eax
callq 0x4a10
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x49da
testb %al, %al
jne 0x49a4
movq 0x472f(%rip), %rdi      # 0x8ff0
callq 0x20e0
movq 0x4723(%rip), %rdi      # 0x8ff0
leaq 0x1ff9(%rip), %rsi      # 0x68cd
callq 0x21b0
movq %rax, %rdi
movq %r14, %rsi
callq 0x2180
movq 0x4705(%rip), %rdi      # 0x8ff0
leaq 0x200b(%rip), %rsi      # 0x68fd
callq 0x21b0
movq 0x46f2(%rip), %rdi      # 0x8ff0
leaq 0x2033(%rip), %rsi      # 0x6938
callq 0x21b0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x2180
leaq 0x202d(%rip), %rsi      # 0x6949
movq %rax, %rdi
callq 0x21b0
movq 0x46c5(%rip), %rdi      # 0x8ff0
leaq 0x8(%rsp), %rsi
callq 0x2180
leaq 0x2028(%rip), %rsi      # 0x6964
movq %rax, %rdi
callq 0x21b0
movq %rax, %rdi
callq 0x20e0
movq 0x469d(%rip), %rdi      # 0x8ff0
leaq 0x200d(%rip), %rsi      # 0x6967
callq 0x21b0
movq %rax, %rdi
movq %rbx, %rsi
callq 0x2180
movq 0x467f(%rip), %rdi      # 0x8ff0
leaq 0x2009(%rip), %rsi      # 0x6981
callq 0x21b0
movq 0x466c(%rip), %rdi      # 0x8ff0
leaq 0x2036(%rip), %rsi      # 0x69c1
callq 0x21b0
movq %rax, %rdi
callq 0x20e0
movq 0x4651(%rip), %rdi      # 0x8ff0
callq 0x20e0
leaq 0x8(%rsp), %rdi
callq 0x20c0
addq $0x68, %rsp
popq %rbx
popq %r14
retq
movq %rax, %rbx
leaq 0x28(%rsp), %rdi
callq 0x20c0
jmp 0x49c8
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x20c0
movq %rbx, %rdi
callq 0x2350