// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_bounds.c
// Function: bound_stats
void
bound_stats(void)
{
	if (!Verbose) return;

	if (size_zero_resolved)
	printf("%4d\tstatic initializers resolved\n", size_zero_resolved);

	if (size_zero)
	printf("%4d\tarrays declared without size\n", size_zero);

	if (size_seen)
	printf("%4d\tarray indices seen\n", size_seen);

	if (size_notfound)
	printf("%4d\tcould not determine array bound (%d distinct vars)\n",
		size_notfound, size_other);

	if (size_deref)
	printf("%4d\tptr derefs in index (not handled yet)\n", size_deref);

	if (size_outofscope)
	printf("%4d\tnon-checked indices (out of scope)\n", size_outofscope);

	if (size_dunno)
	printf("%4d\tarray indices could not be evaluated\n", size_dunno);

	if (simple_checked > simple_known)
	printf("%4d\tarray indices had no known bound\n", simple_checked-simple_known);

	if (size_ok + size_nok)
	printf("%4d\tarray indices checked (%d violations reported)\n",
			size_ok + size_nok, size_nok);

	if (size_is_simple + simple_checked)
	printf("%4d\tsimple indices - %d of which could be and %d were checked)\n",
		size_is_simple, simple_checked, simple_known);

	if (simple_checked > simple_known)
	printf("	(%d had no known bound)\n", simple_checked-simple_known);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
leaq 0x227dd(%rip), %rax     # 0x4e378
cmpl $0x0, (%rax)
jne 0x2bba5
jmp 0x2bd28
cmpl $0x0, 0x6af5c(%rip)     # 0x96b08
je 0x2bbc2
movl 0x6af54(%rip), %esi     # 0x96b08
leaq 0x1a8b5(%rip), %rdi     # 0x46470
movb $0x0, %al
callq 0x30f0
cmpl $0x0, 0x6af43(%rip)     # 0x96b0c
je 0x2bbdf
movl 0x6af3b(%rip), %esi     # 0x96b0c
leaq 0x1a8ba(%rip), %rdi     # 0x46492
movb $0x0, %al
callq 0x30f0
cmpl $0x0, 0x6af2a(%rip)     # 0x96b10
je 0x2bbfc
movl 0x6af22(%rip), %esi     # 0x96b10
leaq 0x1a8bf(%rip), %rdi     # 0x464b4
movb $0x0, %al
callq 0x30f0
cmpl $0x0, 0x6af11(%rip)     # 0x96b14
je 0x2bc1f
movl 0x6af09(%rip), %esi     # 0x96b14
movl 0x6af07(%rip), %edx     # 0x96b18
leaq 0x1a8b4(%rip), %rdi     # 0x464cc
movb $0x0, %al
callq 0x30f0
cmpl $0x0, 0x6aef6(%rip)     # 0x96b1c
je 0x2bc3c
movl 0x6aeee(%rip), %esi     # 0x96b1c
leaq 0x1a8cf(%rip), %rdi     # 0x46504
movb $0x0, %al
callq 0x30f0
cmpl $0x0, 0x6aedd(%rip)     # 0x96b20
je 0x2bc59
movl 0x6aed5(%rip), %esi     # 0x96b20
leaq 0x1a8dd(%rip), %rdi     # 0x4652f
movb $0x0, %al
callq 0x30f0
cmpl $0x0, 0x6aec4(%rip)     # 0x96b24
je 0x2bc76
movl 0x6aebc(%rip), %esi     # 0x96b24
leaq 0x1a8e8(%rip), %rdi     # 0x46557
movb $0x0, %al
callq 0x30f0
movl 0x6aeac(%rip), %eax     # 0x96b28
cmpl 0x6aeaa(%rip), %eax     # 0x96b2c
jle 0x2bc9e
movl 0x6ae9e(%rip), %esi     # 0x96b28
subl 0x6ae9c(%rip), %esi     # 0x96b2c
leaq 0x1a8ea(%rip), %rdi     # 0x46581
movb $0x0, %al
callq 0x30f0
movl 0x6ae8c(%rip), %eax     # 0x96b30
addl 0x6ae8a(%rip), %eax     # 0x96b34
cmpl $0x0, %eax
je 0x2bccf
movl 0x6ae7b(%rip), %esi     # 0x96b30
addl 0x6ae79(%rip), %esi     # 0x96b34
movl 0x6ae73(%rip), %edx     # 0x96b34
leaq 0x1a8df(%rip), %rdi     # 0x465a7
movb $0x0, %al
callq 0x30f0
movl 0x6ae63(%rip), %eax     # 0x96b38
addl 0x6ae4d(%rip), %eax     # 0x96b28
cmpl $0x0, %eax
je 0x2bd00
movl 0x6ae52(%rip), %esi     # 0x96b38
movl 0x6ae3c(%rip), %edx     # 0x96b28
movl 0x6ae3a(%rip), %ecx     # 0x96b2c
leaq 0x1a8e2(%rip), %rdi     # 0x465db
movb $0x0, %al
callq 0x30f0
movl 0x6ae22(%rip), %eax     # 0x96b28
cmpl 0x6ae20(%rip), %eax     # 0x96b2c
jle 0x2bd28
movl 0x6ae14(%rip), %esi     # 0x96b28
subl 0x6ae12(%rip), %esi     # 0x96b2c
leaq 0x1a8fa(%rip), %rdi     # 0x4661b
movb $0x0, %al
callq 0x30f0
popq %rbp
retq
nopw (%rax,%rax)