// File: /workspace/github_c_makefile_star2_O0/lucvoo[P]sparse-dev/expand.c
// Function: verify_nonoverlapping
static void verify_nonoverlapping(struct expression_list **list, struct expression *expr)
{
	struct expression *a = NULL;
	unsigned long max = 0;
	unsigned long whole = expr->ctype->bit_size;
	struct expression *b;

	if (!Woverride_init)
		return;

	FOR_EACH_PTR(*list, b) {
		unsigned long off, end;
		if (!b->ctype || !b->ctype->bit_size)
			continue;
		off = bit_offset(b);
		if (a && off < max) {
			warning(a->pos, "Initializer entry defined twice");
			info(b->pos, "  also defined here");
			if (!Woverride_init_all)
				return;
		}
		end = off + bit_range(b);
		if (!a && !Woverride_init_whole_range) {
			// If first entry is the whole range, do not let
			// any warning about it (this allow to initialize
			// an array with some default value and then override
			// some specific entries).
			if (off == 0 && end == whole)
				continue;
		}
		if (end > max) {
			max = end;
			a = b;
		}
	} END_FOR_EACH_PTR(b);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x70, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq $0x0, -0x18(%rbp)
movq $0x0, -0x20(%rbp)
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rax
movslq 0x50(%rax), %rax
movq %rax, -0x28(%rbp)
leaq 0x71c39(%rip), %rax     # 0x84850
cmpl $0x0, (%rax)
jne 0x12c21
jmp 0x12da2
jmp 0x12c23
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0x48(%rbp)
cmpq $0x0, -0x38(%rbp)
jne 0x12c4a
jmp 0x12da2
jmp 0x12c4c
movl $0x0, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
movq -0x40(%rbp), %rcx
movw (%rcx), %cx
shlw $0x8, %cx
sarw $0x8, %cx
movswl %cx, %ecx
cmpl %ecx, %eax
jge 0x12d8a
movq -0x40(%rbp), %rax
movslq -0x4c(%rbp), %rcx
movq 0x18(%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
movq -0x40(%rbp), %rax
movw (%rax), %ax
sarw $0x8, %ax
cwtl
cmpl $0x0, %eax
je 0x12c9e
cmpq $0x0, -0x30(%rbp)
jne 0x12c9e
jmp 0x12d7c
movq -0x30(%rbp), %rax
cmpq $0x0, 0x10(%rax)
je 0x12cb7
movq -0x30(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x0, 0x50(%rax)
jne 0x12cbc
jmp 0x12d7c
movq -0x30(%rbp), %rdi
callq 0x14a90
movq %rax, -0x58(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x12d19
movq -0x58(%rbp), %rax
cmpq -0x20(%rbp), %rax
jae 0x12d19
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rdi
leaq 0x4f576(%rip), %rsi     # 0x6225f
movb $0x0, %al
callq 0x16d80
movq -0x30(%rbp), %rax
movq 0x8(%rax), %rdi
leaq 0x4f580(%rip), %rsi     # 0x6227f
movb $0x0, %al
callq 0x16c10
leaq 0x7a4e3(%rip), %rax     # 0x8d1f0
cmpl $0x0, (%rax)
jne 0x12d17
jmp 0x12da2
jmp 0x12d19
movq -0x58(%rbp), %rax
movq %rax, -0x68(%rbp)
movq -0x30(%rbp), %rdi
callq 0x14b30
movq %rax, %rcx
movq -0x68(%rbp), %rax
addq %rcx, %rax
movq %rax, -0x60(%rbp)
cmpq $0x0, -0x18(%rbp)
jne 0x12d60
leaq 0x7a4ae(%rip), %rax     # 0x8d1f4
cmpl $0x0, (%rax)
jne 0x12d60
cmpq $0x0, -0x58(%rbp)
jne 0x12d5e
movq -0x60(%rbp), %rax
cmpq -0x28(%rbp), %rax
jne 0x12d5e
jmp 0x12d7c
jmp 0x12d60
movq -0x60(%rbp), %rax
cmpq -0x20(%rbp), %rax
jbe 0x12d7a
movq -0x60(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x18(%rbp)
jmp 0x12d7c
movl -0x4c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
jmp 0x12c53
jmp 0x12d8c
movq -0x40(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x40(%rbp)
cmpq -0x38(%rbp), %rax
jne 0x12c4c
addq $0x70, %rsp
popq %rbp
retq
nopl (%rax,%rax)