// File: /workspace/github_c_makefile_star2_O2/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 %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
movq 0x33c37(%rip), %rbp     # 0x36ff8
movq (%rbp), %rdi
leaq 0x2bb8c(%rip), %rsi     # 0x2ef58
leaq 0x1a853(%rip), %rdx     # 0x1dc26
xorl %eax, %eax
callq 0x31a0
movq (%rbp), %rcx
leaq 0x19c2e(%rip), %rdi     # 0x1d013
pushq $0x18
popq %r15
pushq $0x1
popq %rbx
movq %r15, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rdi
leaq 0x19c2a(%rip), %rsi     # 0x1d02c
movq %r14, %rdx
xorl %eax, %eax
callq 0x31a0
movq (%rbp), %rcx
leaq 0x19c30(%rip), %rdi     # 0x1d047
movq %r15, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19c33(%rip), %rdi     # 0x1d060
pushq $0x1d
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19c3b(%rip), %rdi     # 0x1d07e
pushq $0x1b
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19c41(%rip), %rdi     # 0x1d09a
pushq $0x28
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19c54(%rip), %rdi     # 0x1d0c3
pushq $0x2a
popq %r14
movq %r14, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19c65(%rip), %rdi     # 0x1d0ee
pushq $0x2d
popq %r15
movq %r15, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19c79(%rip), %rdi     # 0x1d11c
pushq $0x31
popq %r12
movq %r12, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19c91(%rip), %rdi     # 0x1d14e
pushq $0x33
popq %r13
movq %r13, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19cab(%rip), %rdi     # 0x1d182
movq %r13, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19cc9(%rip), %rdi     # 0x1d1b6
pushq $0x24
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19cd8(%rip), %rdi     # 0x1d1db
pushq $0x35
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19cf8(%rip), %rdi     # 0x1d211
movq %r13, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19d16(%rip), %rdi     # 0x1d245
movq %r12, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19d32(%rip), %rdi     # 0x1d277
pushq $0x3a
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19d57(%rip), %rdi     # 0x1d2b2
pushq $0x37
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19d79(%rip), %rdi     # 0x1d2ea
pushq $0x2e
popq %r13
movq %r13, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19d8e(%rip), %rdi     # 0x1d319
pushq $0x22
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19d9b(%rip), %rdi     # 0x1d33c
pushq $0x19
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19d9f(%rip), %rdi     # 0x1d356
pushq $0x26
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19db0(%rip), %rdi     # 0x1d37d
pushq $0x2b
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19dc6(%rip), %rdi     # 0x1d3a9
pushq $0x27
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19dd8(%rip), %rdi     # 0x1d3d1
pushq $0x2c
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19def(%rip), %rdi     # 0x1d3fe
pushq $0x38
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19e12(%rip), %rdi     # 0x1d437
movq %r12, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19e2e(%rip), %rdi     # 0x1d469
pushq $0x3c
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19e55(%rip), %rdi     # 0x1d4a6
pushq $0x3f
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19e7f(%rip), %rdi     # 0x1d4e6
pushq $0x36
popq %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19ea0(%rip), %rdi     # 0x1d51d
movq %r15, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19eb8(%rip), %rdi     # 0x1d54b
movq %r14, %rsi
movq %rbx, %rdx
callq 0x3280
movq (%rbp), %rcx
leaq 0x19ecd(%rip), %rdi     # 0x1d576
movq %r13, %rsi
movq %rbx, %rdx
callq 0x3280
pushq $0x1
popq %rdi
callq 0x3270