// File: /workspace/github_c_makefile_star2_O3/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 0x33afe(%rip), %r14     # 0x37ff8
movq (%r14), %rdi
leaq 0x2ca20(%rip), %rsi     # 0x30f24
leaq 0x1b71b(%rip), %rdx     # 0x1fc26
xorl %eax, %eax
callq 0x31a0
movq (%r14), %rcx
leaq 0x1aaf7(%rip), %rdi     # 0x1f013
movl $0x18, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rdi
leaq 0x1aaf7(%rip), %rsi     # 0x1f02c
movq %rbx, %rdx
xorl %eax, %eax
callq 0x31a0
movq (%r14), %rcx
leaq 0x1aafe(%rip), %rdi     # 0x1f047
movl $0x18, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1aafe(%rip), %rdi     # 0x1f060
movl $0x1d, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab03(%rip), %rdi     # 0x1f07e
movl $0x1b, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab06(%rip), %rdi     # 0x1f09a
movl $0x28, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab16(%rip), %rdi     # 0x1f0c3
movl $0x2a, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab28(%rip), %rdi     # 0x1f0ee
movl $0x2d, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab3d(%rip), %rdi     # 0x1f11c
movl $0x31, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab56(%rip), %rdi     # 0x1f14e
movl $0x33, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab71(%rip), %rdi     # 0x1f182
movl $0x33, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab8c(%rip), %rdi     # 0x1f1b6
movl $0x24, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ab98(%rip), %rdi     # 0x1f1db
movl $0x35, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1abb5(%rip), %rdi     # 0x1f211
movl $0x33, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1abd0(%rip), %rdi     # 0x1f245
movl $0x31, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1abe9(%rip), %rdi     # 0x1f277
movl $0x3a, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac0b(%rip), %rdi     # 0x1f2b2
movl $0x37, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac2a(%rip), %rdi     # 0x1f2ea
movl $0x2e, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac40(%rip), %rdi     # 0x1f319
movl $0x22, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac4a(%rip), %rdi     # 0x1f33c
movl $0x19, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac4b(%rip), %rdi     # 0x1f356
movl $0x26, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac59(%rip), %rdi     # 0x1f37d
movl $0x2b, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac6c(%rip), %rdi     # 0x1f3a9
movl $0x27, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac7b(%rip), %rdi     # 0x1f3d1
movl $0x2c, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ac8f(%rip), %rdi     # 0x1f3fe
movl $0x38, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1acaf(%rip), %rdi     # 0x1f437
movl $0x31, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1acc8(%rip), %rdi     # 0x1f469
movl $0x3c, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1acec(%rip), %rdi     # 0x1f4a6
movl $0x3f, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ad13(%rip), %rdi     # 0x1f4e6
movl $0x36, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ad31(%rip), %rdi     # 0x1f51d
movl $0x2d, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ad46(%rip), %rdi     # 0x1f54b
movl $0x2a, %esi
movl $0x1, %edx
callq 0x3270
movq (%r14), %rcx
leaq 0x1ad58(%rip), %rdi     # 0x1f576
movl $0x2e, %esi
movl $0x1, %edx
callq 0x3270
movl $0x1, %edi
callq 0x3260