// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_local.c
// Function: Usage
void
Usage(char *prog)
{
	fprintf(stderr, "%s\n", VERSION);
	fprintf(stderr, "=======================\n");
	fprintf(stderr,"Usage: %s [option] file.c\n", prog);
	fprintf(stderr,"\t-V\tversion information\n");
	fprintf(stderr,"\t-s\tsymbol table information\n");

	fprintf(stderr,"\t-CPP=...\tset preprocessor\n");
	fprintf(stderr,"\t-D...\tdefine macro name (preprocessor)\n");
	fprintf(stderr,"\t-U...\tundefine macro name (preprocessor)\n");
	fprintf(stderr,"\t-I...\tdirectory to search for include files\n");
	fprintf(stderr,"\t-W...\tset working directory to store .uno files\n");

	fprintf(stderr, "\t-localonly\tdo not generate intermediate .uno file\n");
	fprintf(stderr, "\t-master x\tprepend file x to source before parsing\n");
	fprintf(stderr, "\t-nopre \tignore #include directives\n");
	fprintf(stderr, "\t-nova \tdo not redefine va_start, va_arg, and va_end\n");

	fprintf(stderr, "\t-prop x\tapply user-defined property def in file x\n");
	fprintf(stderr, "\t-allerr\treport all error paths, not a selection\n");
	fprintf(stderr, "\t-fullpaths \tgive full error paths on property violations\n");
	fprintf(stderr, "\t-exit x\tadd x to list of fcts known to have no return\n");

	fprintf(stderr, "\t-picky\tmore picky and verbose, includes -use\n");
	fprintf(stderr, "\t-use\tcomplain about redundancies\n");
	fprintf(stderr, "\t-else\tcheck else chains\n");
	fprintf(stderr, "\t-rules\tcheck some coding-style rules\n");

	fprintf(stderr, "\t-extern\tlist all fcts declared non-static\n");
	fprintf(stderr, "\t-static\tlist all fcts declared static\n");
	fprintf(stderr, "\t-typedefs\tlist all user-defined type names\n");
	fprintf(stderr, "\t-shared\tlist all global variables imported or exported\n");
	fprintf(stderr, "\t-t\tvery weak attempt at finding type mismatches\n");

	fprintf(stderr, "\t-cfg\tgenerate control flow graph (from main) in dot format\n");
	fprintf(stderr, "\t-cfg fct\tgenerate control flow graph (from fct) in dot format\n");
	fprintf(stderr, "\t-cyclo\tcompute (edges - nodes + 2) for all functions\n");
	fprintf(stderr, "\t-local\tignored (for backward compatability)\n");
	fprintf(stderr, "\t-v\tverbose (multiple -v's add verbosity)\n");
	fprintf(stderr, "\t-w\tdo not remove temporary files (debugging)\n");
	exit(1);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x3391e(%rip), %r14     # 0x37ff8
movq (%r14), %rdi
leaq 0x2c868(%rip), %rsi     # 0x30f4c
leaq 0x1b559(%rip), %rdx     # 0x1fc44
xorl %eax, %eax
callq 0x3190
movq (%r14), %rcx
leaq 0x1a917(%rip), %rdi     # 0x1f013
movl $0x18, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rdi
leaq 0x1a917(%rip), %rsi     # 0x1f02c
movq %rbx, %rdx
xorl %eax, %eax
callq 0x3190
movq (%r14), %rcx
leaq 0x1a91e(%rip), %rdi     # 0x1f047
movl $0x18, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a91e(%rip), %rdi     # 0x1f060
movl $0x1d, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a923(%rip), %rdi     # 0x1f07e
movl $0x1b, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a926(%rip), %rdi     # 0x1f09a
movl $0x28, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a936(%rip), %rdi     # 0x1f0c3
movl $0x2a, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a948(%rip), %rdi     # 0x1f0ee
movl $0x2d, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a95d(%rip), %rdi     # 0x1f11c
movl $0x31, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a976(%rip), %rdi     # 0x1f14e
movl $0x33, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a991(%rip), %rdi     # 0x1f182
movl $0x33, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a9ac(%rip), %rdi     # 0x1f1b6
movl $0x24, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a9b8(%rip), %rdi     # 0x1f1db
movl $0x35, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a9d5(%rip), %rdi     # 0x1f211
movl $0x33, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1a9f0(%rip), %rdi     # 0x1f245
movl $0x31, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa09(%rip), %rdi     # 0x1f277
movl $0x3a, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa2b(%rip), %rdi     # 0x1f2b2
movl $0x37, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa4a(%rip), %rdi     # 0x1f2ea
movl $0x2e, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa60(%rip), %rdi     # 0x1f319
movl $0x22, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa6a(%rip), %rdi     # 0x1f33c
movl $0x19, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa6b(%rip), %rdi     # 0x1f356
movl $0x26, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa79(%rip), %rdi     # 0x1f37d
movl $0x2b, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa8c(%rip), %rdi     # 0x1f3a9
movl $0x27, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aa9b(%rip), %rdi     # 0x1f3d1
movl $0x2c, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aaaf(%rip), %rdi     # 0x1f3fe
movl $0x38, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aacf(%rip), %rdi     # 0x1f437
movl $0x31, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1aae8(%rip), %rdi     # 0x1f469
movl $0x3c, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1ab0c(%rip), %rdi     # 0x1f4a6
movl $0x3f, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1ab33(%rip), %rdi     # 0x1f4e6
movl $0x36, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1ab51(%rip), %rdi     # 0x1f51d
movl $0x2d, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1ab66(%rip), %rdi     # 0x1f54b
movl $0x2a, %esi
movl $0x1, %edx
callq 0x3260
movq (%r14), %rcx
leaq 0x1ab78(%rip), %rdi     # 0x1f576
movl $0x2e, %esi
movl $0x1, %edx
callq 0x3260
movl $0x1, %edi
callq 0x3250