LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: mark_locs
static void
mark_locs(symentry_t *t, treenode *n, int status)
{	Graphs *g;
	SymRef *r;

	if (debug)
	printf("%d: mark_locs %s -- status %d\n",
	n->hdr.line, t->nme->str, status);

	for (r = curgraph->locs; r; r = r->nxt)
		if (r->sm == t)
		{	r->status |= status;	/* was: = (status & ~FCALL); */

			if (n && (status & USEbeforedef))
				r->n = n;
			return;
		}

	if (! ((status & USE) || (status & FCALL)))	/* missed braces to group !() */
		return;

	for (g = graph; g; g = g->nxt)
	{	if (strcmp(t->nme->str, g->fctnm) == 0)
		{	Gst *k;
			if (debug)
			printf("uno: status %d old status %d, decl_level %d marking %s at %s:%d as hide\n",
				status, g->status, t->decl_level,
				t->nme->str, n->hdr.fnm, n->hdr.line);

			g->status |= 4;		/* cannot tell when this fct is called */
			add_fcall(t, n, USE|HIDE);	/* ptr to fct name */

			if (Verbose)
			{	static int warned;
				if (!warned)
				{	warned++;
					printf("%s:%d fct %s is called via ptr\n",
						n->hdr.fnm, n->hdr.line, t->nme->str);
			}	}

			k = (Gst *) emalloc(sizeof(Gst));
			k->gnm = find_graph(t->nme->str);
			k->nxt = frst;
			frst = k;

			break;
	}	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x567ec(%rip), %rax     # 0x6fe48
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x19670
cmpq %rbx, (%rax)
je 0x196b0
movq 0x18(%rax), %rax
jmp 0x19660
testb $0x6, %dl
je 0x19742
movq 0x567e8(%rip), %r12     # 0x6fe68
testq %r12, %r12
je 0x19742
movq 0x8(%rbx), %rax
movq 0x8(%rax), %r15
movq (%r12), %rsi
movq %r15, %rdi
callq 0x3180
testl %eax, %eax
je 0x196c3
movq 0x48(%r12), %r12
testq %r12, %r12
jne 0x19691
jmp 0x19742
orl %edx, 0x10(%rax)
btl $0xc, %edx
jae 0x19742
movq %r14, 0x8(%rax)
jmp 0x19742
orb $0x4, 0x42(%r12)
movq %rbx, %rdi
movq %r14, %rsi
movl $0x204, %edx            # imm = 0x204
callq 0x18a05
leaq 0x1eb48(%rip), %rax     # 0x38228
cmpl $0x0, (%rax)
je 0x19713
testb $0x1, 0x5685c(%rip)     # 0x6ff48
jne 0x19713
movb $0x1, 0x56853(%rip)     # 0x6ff48
movq 0x8(%r14), %rsi
movl 0x10(%r14), %edx
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rcx
leaq 0x16a9d(%rip), %rdi     # 0x301a9
xorl %eax, %eax
callq 0x3100
movl $0x10, %edi
callq 0x61a1
movq %rax, %r14
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rdi
callq 0x197a8
movq %rax, (%r14)
movq 0x56819(%rip), %rax     # 0x6ff50
movq %rax, 0x8(%r14)
movq %r14, 0x5680e(%rip)     # 0x6ff50
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: del_stack
static void
del_stack(symentry_t *t, int w)	/* locals only */
{	SymRef *r, *or = (SymRef *) 0;

	if (dfstack)
	for (r = dfstack->symrefs; r; or = r, r = r->nxt)
		if (r->sm == t)
		{	if (!or)
				dfstack->symrefs = r->nxt;
			else
				or->nxt = r->nxt;

			r->nxt = dfs_free;
			dfs_free = r;

			if (debug) printf("DEL_STACK %s [%d]\n", t->nme->str, w);

			break;
		}
}

// Assembly:
movq 0x567c3(%rip), %rax     # 0x6ff18
testq %rax, %rax
je 0x19780
movq (%rax), %rcx
testq %rcx, %rcx
je 0x19780
cmpq %rdi, (%rcx)
je 0x19781
movq %rcx, %rdx
movq 0x18(%rdx), %rcx
testq %rcx, %rcx
je 0x19780
movq %rdx, %rsi
movq %rcx, %rdx
cmpq %rdi, (%rcx)
jne 0x1976a
jmp 0x19783
retq
xorl %esi, %esi
leaq 0x18(%rsi), %rdx
testq %rsi, %rsi
movq 0x18(%rcx), %rsi
cmoveq %rax, %rdx
movq %rsi, (%rdx)
movq 0x566b4(%rip), %rax     # 0x6fe50
movq %rax, 0x18(%rcx)
movq %rcx, 0x566a9(%rip)     # 0x6fe50
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: find_graph
static Graphs *
find_graph(char *s)
{	Graphs *g;

	for (g = graph; g; g = g->nxt)
	{	if (g == glob_decls)
			continue;
		if (strcmp(s, g->fctnm) == 0)
			return g;
	}

	if (0) printf("uno: no graph %s\n", s);
	return (Graphs *) 0;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq 0x566b4(%rip), %rbx     # 0x6fe68
testq %rbx, %rbx
je 0x197e0
movq %rdi, %r14
movq 0x566b5(%rip), %r15     # 0x6fe78
cmpq %r15, %rbx
je 0x197d7
movq (%rbx), %rsi
movq %r14, %rdi
callq 0x3180
testl %eax, %eax
je 0x197e2
movq 0x48(%rbx), %rbx
testq %rbx, %rbx
jne 0x197c3
xorl %ebx, %ebx
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: uno_report1
static void
uno_report1(FILE *fd, char *s, int t, SymExt *d)
{	SymExt *r;

	for (r = d; r; r = r->nxt)
	{	if (t == -1
		||  t == r->status)
		fprintf(fd, "%s\t%s\t%s\t%d\n",
			s, r->sm->nme->str,
			r->n->hdr.fnm,
			r->n->hdr.line);
	}
}

// Assembly:
testq %rcx, %rcx
je 0x19847
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rcx, %rbx
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %r15
leaq 0x65b2(%rip), %r12      # 0x1fdbc
cmpl %ebp, 0x10(%rbx)
jne 0x19836
movq (%rbx), %rax
movq 0x8(%rbx), %rdx
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x8(%rdx), %r8
movl 0x10(%rdx), %r9d
movq %r15, %rdi
movq %r12, %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x3190
movq 0x18(%rbx), %rbx
testq %rbx, %rbx
jne 0x1980a
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: uno_complain
static void
uno_complain(SymRef *r, char *qualify, char *issue)
{
	if (strcmp(qualify, "extern ") == 0)	/* unused extern */
	{	char *p = strstr(r->n->hdr.fnm, ".h");
		if (p && strcmp(p, ".h") == 0)	/* in header file */
			return;			/* too fussy */
	}

	fprintf(stdout, "uno: ");
	if (r->n) fprintf(stdout, "%s:%d:", r->n->hdr.fnm, r->n->hdr.line);
	fprintf(stdout, "\t%sglobal variable '%s' %s\n",
		qualify, r->sm->nme->str, issue);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
leaq 0x6893(%rip), %rsi      # 0x200f3
movq %r14, %rdi
callq 0x3180
testl %eax, %eax
je 0x198dd
movq 0x1e75d(%rip), %r12     # 0x37fd0
movq (%r12), %rcx
leaq 0x16412(%rip), %rdi     # 0x2fc90
movl $0x5, %esi
movl $0x1, %edx
callq 0x3260
movq 0x8(%r15), %rax
testq %rax, %rax
je 0x198af
movq (%r12), %rdi
movq 0x8(%rax), %rdx
movl 0x10(%rax), %ecx
leaq 0x16b67(%rip), %rsi     # 0x3040f
xorl %eax, %eax
callq 0x3190
movq (%r12), %rdi
movq (%r15), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
leaq 0x16b0a(%rip), %rsi     # 0x303cf
movq %r14, %rdx
movq %rbx, %r8
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x3190
movq 0x8(%r15), %rax
movq 0x8(%rax), %rdi
leaq 0x16ae0(%rip), %rsi     # 0x303cc
callq 0x3270
testq %rax, %rax
je 0x1986c
leaq 0x16acb(%rip), %rsi     # 0x303cc
movq %rax, %rdi
callq 0x3180
testl %eax, %eax
jne 0x1986c
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: fct_details
static void
fct_details(FILE *fd, State *s)
{	Trans *t;
	State *ns;
	treenode *exp = (treenode *) 0;

	if (!s || !s->n || s->visited)
		return;

	s->visited = 1;

	if (s->n->hdr.type == TN_IF)
		exp = ((if_node *)s->n)->cond;
	else if (s->n->hdr.type != TN_LABEL)
		exp = s->n;

	for (t = s->succ; t; t = t->nxt)
	{	ns = t->branch;
		if (!ns || !ns->n)
		{	if (exp)
				fprintf(fd, ">0>\n[%s]\n<%lu<\n",
				x_stmnt(exp), s->uno_state);
			continue;
		}
		if (ns->visited)
			fprintf(fd, "{%lu}\n", ns->uno_state);
		else
		{	ns->uno_state = Cnt++;
			fprintf(fd, ">%lu>\n", ns->uno_state);
		}
		fprintf(fd, "[%s", x_stmnt(exp));
		if (t->cond) fprintf(fd, " == %s", x_stmnt(t->cond));
		fprintf(fd, "]\n");
		fct_details(fd, ns);
		fprintf(fd, "<%lu<\n", s->uno_state);
	}
}

// Assembly:
testq %rsi, %rsi
je 0x19a89
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq (%rsi), %r15
testq %r15, %r15
je 0x19a7b
cmpw $0x0, 0x4a(%rbx)
jne 0x19a7b
movq %rdi, %r14
movw $0x1, 0x4a(%rbx)
movl 0x1c(%r15), %eax
cmpl $0x22, %eax
je 0x19968
cmpl $0x1b, %eax
jne 0x1996b
movq 0x40(%r15), %r15
jmp 0x1996b
xorl %r15d, %r15d
movq 0x50(%rbx), %r13
testq %r13, %r13
je 0x19a7b
leaq 0x16af1(%rip), %r12     # 0x30470
movq 0x10(%r13), %rbp
testq %rbp, %rbp
je 0x199a6
cmpq $0x0, (%rbp)
je 0x199a6
cmpw $0x0, 0x4a(%rbp)
je 0x199d4
movq 0x40(%rbp), %rdx
movq %r14, %rdi
leaq 0x16ad3(%rip), %rsi     # 0x30477
jmp 0x199f4
testq %r15, %r15
je 0x19a6e
movq %r15, %rdi
callq 0x5e8a
movq 0x40(%rbx), %rcx
movq %r14, %rdi
leaq 0x16aa2(%rip), %rsi     # 0x30467
movq %rax, %rdx
xorl %eax, %eax
callq 0x3190
jmp 0x19a6e
movq 0x1e7b5(%rip), %rdx     # 0x38190
leaq 0x1(%rdx), %rax
movq %rax, 0x1e7aa(%rip)     # 0x38190
movq %rdx, 0x40(%rbp)
movq %r14, %rdi
leaq 0x16a8a(%rip), %rsi     # 0x3047e
xorl %eax, %eax
callq 0x3190
movq %r15, %rdi
callq 0x5e8a
movq %r14, %rdi
leaq 0x16a78(%rip), %rsi     # 0x30485
movq %rax, %rdx
xorl %eax, %eax
callq 0x3190
movq (%r13), %rdi
testq %rdi, %rdi
je 0x19a39
callq 0x5e8a
movq %r14, %rdi
leaq 0x16a5a(%rip), %rsi     # 0x30489
movq %rax, %rdx
xorl %eax, %eax
callq 0x3190
movl $0x2, %esi
movl $0x1, %edx
leaq 0x16a47(%rip), %rdi     # 0x30491
movq %r14, %rcx
callq 0x3260
movq %r14, %rdi
movq %rbp, %rsi
callq 0x1991d
movq 0x40(%rbx), %rdx
movq %r14, %rdi
movq %r12, %rsi
xorl %eax, %eax
callq 0x3190
movq 0x18(%r13), %r13
testq %r13, %r13
jne 0x1997f
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: nut_hunt
static void
nut_hunt(FILE *fd, State *s)
{	Trans *t;
	Nuts *q;

	if (!s || !s->n) return;

	if (s->visited)
	{	fprintf(fd, "{%lu}\n", s->uno_state);
		return;
	}
	s->visited = 1;
	s->uno_state = Cnt++;

	fprintf(fd, ">%lu>\n", s->uno_state);

	if (!s->n->hdr.nuts)
		fprintf(fd, "[]\n");
	for (q = s->n->hdr.nuts; q; q = q->nxt)
		fprintf(fd, "[%s]\n", q->nut);

	for (t = s->direct; t; t = t->nxt)
	{	nut_hunt(fd, t->branch);
		fprintf(fd, "<%lu<\n", s->uno_state);
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
testq %rsi, %rsi
je 0x19b8a
movq %rsi, %r14
cmpq $0x0, (%rsi)
je 0x19b8a
movq %rdi, %rbx
cmpw $0x0, 0x4a(%r14)
je 0x19ad3
movq 0x40(%r14), %rdx
leaq 0x169b9(%rip), %rsi     # 0x30477
movq %rbx, %rdi
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x3190
movw $0x1, 0x4a(%r14)
movq 0x1e6af(%rip), %rdx     # 0x38190
leaq 0x1(%rdx), %rax
movq %rax, 0x1e6a4(%rip)     # 0x38190
movq %rdx, 0x40(%r14)
leaq 0x16987(%rip), %rsi     # 0x3047e
movq %rbx, %rdi
xorl %eax, %eax
callq 0x3190
movq (%r14), %rax
cmpq $0x0, 0x20(%rax)
jne 0x19b24
leaq 0x1697e(%rip), %rdi     # 0x30490
movl $0x3, %esi
movl $0x1, %edx
movq %rbx, %rcx
callq 0x3260
movq (%r14), %rax
movq 0x20(%rax), %r12
testq %r12, %r12
je 0x19b52
leaq 0x1695d(%rip), %r15     # 0x30494
movq (%r12), %rdx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x3190
movq 0x8(%r12), %r12
testq %r12, %r12
jne 0x19b37
movq 0x58(%r14), %r12
testq %r12, %r12
je 0x19b8a
leaq 0x1690e(%rip), %r15     # 0x30470
movq 0x10(%r12), %rsi
movq %rbx, %rdi
callq 0x19a8a
movq 0x40(%r14), %rdx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x3190
movq 0x18(%r12), %r12
testq %r12, %r12
jne 0x19b62
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_lts.c
// Function: nut_prepare
static void
nut_prepare(State *from, State *to)	/* insert forward arcs to nodes with a nut attached */
{	Trans *t;

	if (!to || !to->n || to->visited)
		return;
	to->visited = 1;

	if (to->n->hdr.nuts
	|| !(to->succ && to->succ->branch))
	{	for (t = from->direct; t; t = t->nxt)
			if (t->branch == to)
				break;
		if (!t)
		{	t = get_trans();
			t->branch = to;
			t->nxt = from->direct;
			from->direct = t;
		}
		return;
	}

	for (t = to->succ; t; t = t->nxt)
		nut_prepare(from, t->branch);
}

// Assembly:
testq %rsi, %rsi
je 0x19c4e
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq (%rsi), %rax
testq %rax, %rax
je 0x19c49
cmpw $0x0, 0x4a(%r14)
jne 0x19c49
movq %rdi, %rbx
movw $0x1, 0x4a(%r14)
cmpq $0x0, 0x20(%rax)
je 0x19c08
movq 0x58(%rbx), %rax
testq %rax, %rax
je 0x19be5
cmpq %r14, 0x10(%rax)
je 0x19c49
movq 0x18(%rax), %rax
jmp 0x19bd4
movq 0x562dc(%rip), %rax     # 0x6fec8
testq %rax, %rax
je 0x19c2f
movq 0x18(%rax), %rcx
movq %rcx, 0x562cc(%rip)     # 0x6fec8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
jmp 0x19c39
movq 0x50(%r14), %r15
testq %r15, %r15
je 0x19bd0
cmpq $0x0, 0x10(%r15)
je 0x19bd0
movq 0x10(%r15), %rsi
movq %rbx, %rdi
callq 0x19b96
movq 0x18(%r15), %r15
testq %r15, %r15
jne 0x19c18
jmp 0x19c49
movl $0x20, %edi
callq 0x61a1
movq %r14, 0x10(%rax)
movq 0x58(%rbx), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x58(%rbx)
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/explore.c
// Function: exclude_location
int
exclude_location(treenode *n)
{
	if (!xrepro || !n || !n->hdr.fnm) return 1;

	if (Verbose) return 0;

	return (strncmp(W_FILE, "./_", 3) == 0
	     || strncmp(W_FILE, "/usr/include", strlen("/usr/include")) == 0
	     || strncmp(W_FILE, "/usr/lib", strlen("/usr/lib")) == 0);
}

// Assembly:
testq %rdi, %rdi
je 0x1aa87
pushq %rbx
leaq 0x1d82e(%rip), %rax     # 0x3823c
cmpl $0x0, (%rax)
je 0x1aa80
movq 0x8(%rdi), %rbx
testq %rbx, %rbx
je 0x1aa80
leaq 0x1d805(%rip), %rcx     # 0x38228
xorl %eax, %eax
cmpl $0x0, (%rcx)
jne 0x1aa85
leaq 0x15b77(%rip), %rsi     # 0x305a8
movl $0x3, %edx
movq %rbx, %rdi
callq 0x3080
testl %eax, %eax
je 0x1aa80
leaq 0x15224(%rip), %rsi     # 0x2fc6d
movl $0xc, %edx
movq %rbx, %rdi
callq 0x3080
movl %eax, %ecx
movl $0x1, %eax
testl %ecx, %ecx
je 0x1aa85
leaq 0x15b44(%rip), %rsi     # 0x305ac
movl $0x8, %edx
movq %rbx, %rdi
callq 0x3080
movl %eax, %ecx
xorl %eax, %eax
testl %ecx, %ecx
sete %al
jmp 0x1aa85
movl $0x1, %eax
popq %rbx
retq
movl $0x1, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/explore.c
// Function: has_default
int
has_default(treenode *n)
{
	if (!n
	||  SWITCH(n)
	||  B_TYPE(n) == LEAF_T)
	{	return 0;
	}

        if (B_TYPE(n) == NODE_T
	&&  W_TYPE(n) == TN_LABEL
	&&  B_TYPE(n->lnode) == LEAF_T)
	{	return (n->lnode->hdr.tok == DEFLT);
	}

	return has_default(n->rnode) || has_default(n->lnode);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
xorl %eax, %eax
testq %rbx, %rbx
je 0x1ab37
movl 0x1c(%rbx), %ecx
cmpl $0x21, %ecx
je 0x1ab37
movl (%rbx), %edx
cmpl $0x4, %edx
je 0x1ab03
cmpl $0x1, %edx
jne 0x1ab11
jmp 0x1ab37
cmpl $0x22, %ecx
jne 0x1ab11
movq 0x40(%rbx), %rcx
cmpl $0x1, (%rcx)
je 0x1ab2b
movq 0x48(%rbx), %rdi
callq 0x1aae2
testl %eax, %eax
jne 0x1ab24
movq 0x40(%rbx), %rbx
jmp 0x1aae6
movl $0x1, %eax
jmp 0x1ab37
xorl %eax, %eax
cmpl $0x113, 0x18(%rcx)      # imm = 0x113
sete %al
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/explore.c
// Function: has_extern
int
has_extern(treenode *n)
{
	assert(W_TYPE(n) == TN_TYPE_LIST);
	assert(n->lnode != NULL);
	
	return (B_TYPE(n->lnode) == LEAF_T
	     && W_TYPE(n->lnode) == TN_TYPE
	     && n->lnode->hdr.tok == EXTRN);
}

// Assembly:
pushq %rax
cmpl $0x14, 0x1c(%rdi)
jne 0x1ab64
movq 0x40(%rdi), %rcx
testq %rcx, %rcx
je 0x1ab83
xorl %eax, %eax
cmpl $0x1, (%rcx)
jne 0x1ab62
cmpl $0x2e, 0x1c(%rcx)
jne 0x1ab62
xorl %eax, %eax
cmpl $0x118, 0x18(%rcx)      # imm = 0x118
sete %al
popq %rcx
retq
leaq 0x15a4a(%rip), %rdi     # 0x305b5
leaq 0x15a5d(%rip), %rsi     # 0x305cf
leaq 0x15a60(%rip), %rcx     # 0x305d9
movl $0x297, %edx            # imm = 0x297
callq 0x3130
leaq 0x15a6a(%rip), %rdi     # 0x305f4
leaq 0x15a3e(%rip), %rsi     # 0x305cf
leaq 0x15a41(%rip), %rcx     # 0x305d9
movl $0x298, %edx            # imm = 0x298
callq 0x3130
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/explore.c
// Function: has_non_obj
int
has_non_obj(treenode *n)
{	/* at least one child node is different from TN_OBJ_DEF */

	assert(W_TYPE(n) == TN_TYPE_LIST);

	if (n->lnode)
	{	if (W_TYPE(n->lnode) != TN_OBJ_DEF)
			return 1;
		if (W_TYPE(n->lnode) == TN_TYPE_LIST)
			return has_non_obj(n->lnode);
	}

	if (n->rnode)
	{	if (W_TYPE(n->rnode) != TN_OBJ_DEF)
			return 1;
		if (W_TYPE(n->rnode) == TN_TYPE_LIST)
			return has_non_obj(n->rnode);
	}

	return 0;
}

// Assembly:
cmpl $0x14, 0x1c(%rdi)
jne 0x1abd3
movq 0x40(%rdi), %rcx
testq %rcx, %rcx
je 0x1abbc
movl $0x1, %eax
cmpl $0x18, 0x1c(%rcx)
jne 0x1abd2
movq 0x48(%rdi), %rcx
testq %rcx, %rcx
je 0x1abd0
movl $0x1, %eax
cmpl $0x18, 0x1c(%rcx)
jne 0x1abd2
xorl %eax, %eax
retq
pushq %rax
leaq 0x159da(%rip), %rdi     # 0x305b5
leaq 0x159ed(%rip), %rsi     # 0x305cf
leaq 0x15a1c(%rip), %rcx     # 0x30605
movl $0x2a3, %edx            # imm = 0x2A3
callq 0x3130
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/explore.c
// Function: has_lower_case
static char *
has_lower_case(treenode *n)
{	char *ptr;

	if (!n || n->hdr.warned)
	{	return NULL;
	}

	if (B_TYPE(n) == LEAF_T)
	{	if (W_TYPE(n) == TN_IDENT)
		{	char *p = ((leafnode *)n)->data.sval->str;
			while (*p != '\0')
			{	if (islower((int) *p++))
				{	n->hdr.warned++;
					return ((leafnode *)n)->data.sval->str;
		}	}	}
		return NULL;
	}

	if ((ptr = has_lower_case(n->lnode)) != NULL)
	{	n->hdr.warned++;
		return ptr;
	}
	return has_lower_case(n->rnode);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
xorl %ebx, %ebx
testq %r14, %r14
je 0x1afcf
cmpl $0x0, 0x30(%r14)
jne 0x1afcf
cmpl $0x1, (%r14)
je 0x1af88
movq 0x40(%r14), %rdi
callq 0x1af55
testq %rax, %rax
jne 0x1afc8
movq 0x48(%r14), %r14
jmp 0x1af62
cmpl $0x2d, 0x1c(%r14)
jne 0x1afc4
movq 0x40(%r14), %rax
movq 0x8(%rax), %rbx
movq %rbx, %r12
movsbq (%r12), %r15
testq %r15, %r15
je 0x1afc4
callq 0x3280
movq (%rax), %rax
incq %r12
testb $0x2, 0x1(%rax,%r15,2)
je 0x1af9a
movl $0x1, 0x30(%r14)
testb %r15b, %r15b
jne 0x1afcf
xorl %ebx, %ebx
jmp 0x1afcf
incl 0x30(%r14)
movq %rax, %rbx
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
nop
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: has_node_comp_ops
int
has_node_comp_ops(treenode *n)
{
	if (!n)
		return 0;

	if (n->hdr.type == (unsigned int) TN_EXPR)
	{	switch (n->hdr.tok) {
		case NOT:
		case EQUAL:
		case LESS:
		case LESS_EQ:
		case GRTR:
		case GRTR_EQ:
		case NOT_EQ:
		case AND:
		case OR:
		case B_NOT_EQ:	return 1;

		default:	return 0;
	}	}

	if (n->hdr.type == TN_EMPTY
	||  n->hdr.which == LEAF_T
	||  n->hdr.type == TN_IDENT)
	{	return 0;
	}

	return (has_node_comp_ops(n->lnode)
	||	has_node_comp_ops(n->rnode));
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
xorl %eax, %eax
testq %rbx, %rbx
je 0x1b048
movl 0x1c(%rbx), %ecx
testl %ecx, %ecx
je 0x1b019
cmpl $0x28, %ecx
je 0x1b01d
cmpl $0x2d, %ecx
je 0x1b048
cmpl $0x1, (%rbx)
movl $0x0, %eax
je 0x1b048
movq 0x40(%rbx), %rdi
callq 0x1afe0
testl %eax, %eax
jne 0x1b043
movq 0x48(%rbx), %rbx
jmp 0x1afe4
movl %ecx, %eax
jmp 0x1b048
movl $0xfffffecf, %ecx       # imm = 0xFFFFFECF
addl 0x18(%rbx), %ecx
cmpl $0x31, %ecx
ja 0x1b03f
movl $0x1, %eax
movabsq $0x200c1800003c1, %rdx  # imm = 0x200C1800003C1
btq %rcx, %rdx
jb 0x1b048
xorl %eax, %eax
jmp 0x1b048
movl $0x1, %eax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: has_node_type
int
has_node_type(treenode *n, int t)
{
	if (!n)
		return 0;

	if (n->hdr.type == (unsigned int) t)
		return 1;

	if (n->hdr.which == LEAF_T)
		return 0;

	return (has_node_type(n->lnode, t)
	||	has_node_type(n->rnode, t));
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %ebx
movq %rdi, %r14
xorl %eax, %eax
testq %r14, %r14
je 0x1b087
cmpl %ebx, 0x1c(%r14)
je 0x1b082
cmpl $0x1, (%r14)
je 0x1b087
movq 0x40(%r14), %rdi
movl %ebx, %esi
callq 0x1b04a
movl %eax, %ecx
movl $0x1, %eax
testl %ecx, %ecx
jne 0x1b087
movq 0x48(%r14), %r14
jmp 0x1b053
movl $0x1, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: v_matched
int
v_matched(treenode *n)
{	Stack *w;

	for (w = v_reps; w; w = w->nxt)
		if (n == w->n)
			return 1;

	if (suppress(n->hdr.fnm, n->hdr.line))
		return 1;

	return 0;
}

// Assembly:
pushq %rax
movq 0x656fd(%rip), %rax     # 0x80990
testq %rax, %rax
je 0x1b2a3
cmpq %rdi, (%rax)
je 0x1b2bd
movq 0x10(%rax), %rax
jmp 0x1b293
movq 0x8(%rdi), %rax
movl 0x10(%rdi), %esi
movq %rax, %rdi
callq 0x13ef9
movl %eax, %ecx
xorl %eax, %eax
testl %ecx, %ecx
setne %al
jmp 0x1b2c2
movl $0x1, %eax
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: v_reported
int
v_reported(treenode *n)
{	Stack *w;

	if (v_matched(n))
		return 1;

	w = (Stack *) emalloc(sizeof(Stack));
	w->n = n;
	w->nxt = v_reps;
	v_reps = w;
	return 0;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
callq 0x1b28b
movl %eax, %ecx
movl $0x1, %eax
testl %ecx, %ecx
jne 0x1b2f9
movl $0x18, %edi
callq 0x61a1
movq %rbx, (%rax)
movq 0x656a4(%rip), %rcx     # 0x80990
movq %rcx, 0x10(%rax)
movq %rax, 0x65699(%rip)     # 0x80990
xorl %eax, %eax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/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:
leaq 0x1cdce(%rip), %rax     # 0x38228
cmpl $0x0, (%rax)
je 0x1b593
pushq %rax
movl 0x6552e(%rip), %esi     # 0x80998
testl %esi, %esi
je 0x1b47c
leaq 0x15643(%rip), %rdi     # 0x30ab8
xorl %eax, %eax
callq 0x3100
movl 0x6551a(%rip), %esi     # 0x8099c
testl %esi, %esi
je 0x1b494
leaq 0x1564d(%rip), %rdi     # 0x30ada
xorl %eax, %eax
callq 0x3100
movl 0x65506(%rip), %esi     # 0x809a0
testl %esi, %esi
je 0x1b4ac
leaq 0x15657(%rip), %rdi     # 0x30afc
xorl %eax, %eax
callq 0x3100
movl 0x654f2(%rip), %esi     # 0x809a4
testl %esi, %esi
je 0x1b4ca
movl 0x654ec(%rip), %edx     # 0x809a8
leaq 0x15651(%rip), %rdi     # 0x30b14
xorl %eax, %eax
callq 0x3100
movl 0x654dc(%rip), %esi     # 0x809ac
testl %esi, %esi
je 0x1b4e2
leaq 0x15671(%rip), %rdi     # 0x30b4c
xorl %eax, %eax
callq 0x3100
movl 0x654c8(%rip), %esi     # 0x809b0
testl %esi, %esi
je 0x1b4fa
leaq 0x15684(%rip), %rdi     # 0x30b77
xorl %eax, %eax
callq 0x3100
movl 0x654b4(%rip), %esi     # 0x809b4
testl %esi, %esi
je 0x1b512
leaq 0x15694(%rip), %rdi     # 0x30b9f
xorl %eax, %eax
callq 0x3100
movl 0x654a0(%rip), %esi     # 0x809b8
subl 0x6549e(%rip), %esi     # 0x809bc
jle 0x1b52e
leaq 0x156a2(%rip), %rdi     # 0x30bc9
xorl %eax, %eax
callq 0x3100
movl 0x65490(%rip), %edx     # 0x809c4
movl 0x65486(%rip), %esi     # 0x809c0
addl %edx, %esi
je 0x1b54c
leaq 0x156aa(%rip), %rdi     # 0x30bef
xorl %eax, %eax
callq 0x3100
movl 0x65476(%rip), %esi     # 0x809c8
movl 0x65460(%rip), %edx     # 0x809b8
movl %esi, %eax
addl %edx, %eax
je 0x1b572
movl 0x65458(%rip), %ecx     # 0x809bc
leaq 0x156b8(%rip), %rdi     # 0x30c23
xorl %eax, %eax
callq 0x3100
movl 0x65440(%rip), %esi     # 0x809b8
subl 0x6543e(%rip), %esi     # 0x809bc
leaq 0x8(%rsp), %rsp
jle 0x1b593
leaq 0x156d7(%rip), %rdi     # 0x30c63
xorl %eax, %eax
jmp 0x3100
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: ana_aio_decl
static void
ana_aio_decl(SymList *s, treenode *tn, treenode *nn)
{
	if (!tn) return;

	if (tn->hdr.type == TN_DECL
	&&  tn->rnode
	&&  tn->lnode
	&&  tn->lnode->hdr.type == TN_PNTR)
	{	ana_aio_decl(s, tn->rnode, nn);
		return;
	}

	if (tn->hdr.type == TN_ARRAY_DECL
	&&  tn->lnode->hdr.type == TN_IDENT	/* the index: the array size */
	&&  tn->lnode->syment == s->sm)
	{	add_size(s->sm, tn->rnode, nn);
		if (debug>1)
		{	printf("uno: set bound ana_aio for %s\n",
				s->sm->nme->str);
			printf("uno: %s:%d basename %s",
				tn->hdr.fnm,
				tn->hdr.line,
				x_stmnt(tn->lnode));
			printf("[ %s ]\t",
				x_stmnt(tn->rnode));
			printf("=====%s\n\t", name_of_node(nn->hdr.type));
			print_recur(nn, stdout);
			printf("\n");
	}	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
testq %rsi, %rsi
je 0x1b713
movq %rsi, %rax
movl 0x1c(%rsi), %ecx
cmpl $0x5, %ecx
jne 0x1b5fa
movq 0x48(%rax), %rsi
testq %rsi, %rsi
je 0x1b5fa
movq 0x40(%rax), %rdx
testq %rdx, %rdx
je 0x1b5fa
cmpl $0x13, 0x1c(%rdx)
je 0x1b5ce
cmpl $0x6, %ecx
jne 0x1b713
movq 0x40(%rax), %rcx
cmpl $0x2d, 0x1c(%rcx)
jne 0x1b713
movq 0x8(%rdi), %rbx
cmpq %rbx, 0x38(%rcx)
jne 0x1b713
movq 0x48(%rax), %r15
movq 0x653ae(%rip), %rax     # 0x809d8
testq %rax, %rax
je 0x1b63e
cmpq %rbx, (%rax)
je 0x1b713
movq 0x10(%rax), %rax
jmp 0x1b62a
testq %r15, %r15
jne 0x1b69f
movq %rbx, %rdi
movq %r14, %rsi
callq 0x1c316
testl %eax, %eax
je 0x1b71e
movl %eax, %ebp
incl 0x6533a(%rip)           # 0x80998
leaq 0x1cbc3(%rip), %rax     # 0x38228
cmpl $0x0, (%rax)
je 0x1b682
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rsi
leaq 0x15604(%rip), %rdi     # 0x30c7d
movl %ebp, %edx
xorl %eax, %eax
callq 0x3100
movl $0x48, %edi
callq 0x61a1
movq %rax, %r15
movl $0x1, (%rax)
movl $0x30, 0x1c(%rax)
movl %ebp, 0x40(%rax)
leaq 0x1cb82(%rip), %rax     # 0x38228
cmpl $0x2, (%rax)
jl 0x1b6c9
movq 0x8(%r14), %rsi
movl 0x10(%r14), %edx
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rcx
leaq 0x15607(%rip), %rdi     # 0x30cc9
xorl %eax, %eax
callq 0x3100
movq 0x65318(%rip), %rax     # 0x809e8
testq %rax, %rax
je 0x1b6f0
movq 0x10(%rax), %rcx
movq %rcx, 0x65308(%rip)     # 0x809e8
xorps %xmm0, %xmm0
movups %xmm0, (%rax)
movq $0x0, 0x10(%rax)
jmp 0x1b6fa
movl $0x18, %edi
callq 0x61a1
movq %rbx, (%rax)
movq %r15, 0x8(%rax)
movq 0x652d0(%rip), %rcx     # 0x809d8
movq %rcx, 0x10(%rax)
movq %rax, 0x652c5(%rip)     # 0x809d8
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
incl 0x65278(%rip)           # 0x8099c
leaq 0x1cafd(%rip), %rax     # 0x38228
cmpl $0x0, (%rax)
je 0x1b713
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rsi
leaq 0x15564(%rip), %rdi     # 0x30ca3
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x3100
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: bound_reset
void
bound_reset(void)
{
	bounded = uno_dumpbounds(bounded);
	arsize = uno_freears(arsize);
	arnosize = uno_freears(arnosize);
	v_reps = (Stack *) 0;
}

// Assembly:
pushq %rbx
movq 0x64e9c(%rip), %rdi     # 0x809d0
callq 0x1bb71
xorl %ebx, %ebx
movq %rbx, 0x64e8e(%rip)     # 0x809d0
movq 0x64e8f(%rip), %rdi     # 0x809d8
callq 0x1bb97
movq %rbx, 0x64e83(%rip)     # 0x809d8
movq 0x64e84(%rip), %rdi     # 0x809e0
callq 0x1bb97
movq %rbx, 0x64e78(%rip)     # 0x809e0
movq %rbx, 0x64e21(%rip)     # 0x80990
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: uno_dumpbounds
static ArBound *
uno_dumpbounds(ArBound *b)
{
	if (b)
	{	uno_dumpbounds(b->nxt);
		b->nxt = freebounds;
		freebounds = b;
	}
	return (ArBound *) 0;
}

// Assembly:
testq %rdi, %rdi
je 0x1bb96
pushq %rbx
movq %rdi, %rbx
movq 0x28(%rdi), %rdi
callq 0x1bb71
movq 0x64e6e(%rip), %rax     # 0x809f8
movq %rax, 0x28(%rbx)
movq %rbx, 0x64e63(%rip)     # 0x809f8
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: uno_freears
static ArSize *
uno_freears(ArSize *a)
{
	if (a)
	{	uno_freears(a->nxt);
		a->nxt = freears;
		freears = a;
	}
	return (ArSize *) 0;
}

// Assembly:
testq %rdi, %rdi
je 0x1bbbc
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rdi), %rdi
callq 0x1bb97
movq 0x64e38(%rip), %rax     # 0x809e8
movq %rax, 0x10(%rbx)
movq %rbx, 0x64e2d(%rip)     # 0x809e8
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: find_ininode
static int
find_ininode(symentry_t *s, treenode *n)
{
	/* find a TN_ASSIGN with lnode equal to b
	   and rnode TN_INIT_BLK
	 */
	if (!n || n->hdr.which == LEAF_T)
		return 0;

	if (n->hdr.type == TN_ASSIGN
	&&  n->rnode->hdr.type == TN_INIT_BLK
	&&  has_right_decl(s, n->lnode))
		return count_leafs(n->rnode);

	return find_ininode(s, n->lnode) + find_ininode(s, n->rnode);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %r15
xorl %ebp, %ebp
xorl %ebx, %ebx
testq %r14, %r14
je 0x1c374
cmpl $0x1, (%r14)
je 0x1c374
cmpl $0x1c, 0x1c(%r14)
jne 0x1c356
movq 0x48(%r14), %r12
cmpl $0x17, 0x1c(%r12)
jne 0x1c356
movq 0x40(%r14), %rsi
movq %r15, %rdi
callq 0x1c381
testl %eax, %eax
jne 0x1c36a
movq 0x40(%r14), %rsi
movq %r15, %rdi
callq 0x1c316
movq 0x48(%r14), %r14
addl %eax, %ebx
jmp 0x1c328
movq %r12, %rdi
callq 0x1c3d1
movl %eax, %ebp
addl %ebp, %ebx
movl %ebx, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: has_right_decl
static int
has_right_decl(symentry_t *s, treenode *n)
{
	if (n->hdr.type == TN_ARRAY_DECL
	&&  n->lnode->hdr.type == TN_IDENT
	&&  ((leafnode *)(n->lnode))->syment == s)
		return 1;
	if (n->hdr.type == TN_DECL
	&&  n->lnode->hdr.type == TN_PNTR
	&&  has_right_decl(s, n->rnode))
		return 1;
	return 0;
}

// Assembly:
movl 0x1c(%rsi), %eax
cmpl $0x5, %eax
je 0x1c3a3
cmpl $0x6, %eax
jne 0x1c3c8
movq 0x40(%rsi), %rcx
cmpl $0x2d, 0x1c(%rcx)
jne 0x1c39e
cmpq %rdi, 0x38(%rcx)
je 0x1c3cb
cmpl $0x5, %eax
jne 0x1c3c8
movq 0x40(%rsi), %rax
cmpl $0x13, 0x1c(%rax)
jne 0x1c3c8
pushq %rax
movq 0x48(%rsi), %rsi
callq 0x1c381
movl %eax, %ecx
movl $0x1, %eax
testl %ecx, %ecx
leaq 0x8(%rsp), %rsp
je 0x1c3c8
retq
xorl %eax, %eax
retq
movl $0x1, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: count_leafs
static int
count_leafs(treenode *n)
{
	if (!n) return 0;

	if (n->hdr.which == LEAF_T)
	{	if (n->hdr.type == TN_IDENT)
			could_be_fct(((leafnode*)n)->data.sval->str);
		return 1;
	}

	return count_leafs(n->lnode)+count_leafs(n->rnode);
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %rdi, %r14
xorl %ebp, %ebp
xorl %ebx, %ebx
testq %r14, %r14
je 0x1c411
cmpl $0x1, (%r14)
je 0x1c3f8
movq 0x40(%r14), %rdi
callq 0x1c3d1
movq 0x48(%r14), %r14
addl %eax, %ebx
jmp 0x1c3dc
movl $0x1, %ebp
cmpl $0x2d, 0x1c(%r14)
jne 0x1c411
movq 0x40(%r14), %rax
movq 0x8(%rax), %rdi
callq 0x1445e
addl %ebp, %ebx
movl %ebx, %eax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: loose_bound
static ArBound *
loose_bound(symentry_t *s, int lb, int ub, int bounds)
{	ArBound *b;

	uno_assert((s != NULL), "saw bound without name");

	b = uno_freshbound();
	b->s = s;
	b->ub = ub;
	b->lb = lb;
	b->bounds = bounds;
	return b;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %ecx, %ebx
movl %edx, %r14d
movl %esi, %ebp
movq %rdi, %r15
xorl %edi, %edi
testq %r15, %r15
setne %dil
leaq 0x1492f(%rip), %rsi     # 0x30d6a
callq 0x13f8c
movq 0x645b1(%rip), %rax     # 0x809f8
testq %rax, %rax
je 0x1c468
movq 0x28(%rax), %rcx
movq %rcx, 0x645a1(%rip)     # 0x809f8
movq $0x0, 0x28(%rax)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rax)
jmp 0x1c472
movl $0x30, %edi
callq 0x61a1
leaq 0x539bf(%rip), %rcx     # 0x6fe38
movl (%rcx), %ecx
movl %ecx, 0x24(%rax)
movq %r15, (%rax)
movl %r14d, 0x1c(%rax)
movl %ebp, 0x20(%rax)
movw %bx, 0x18(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: uno_dig
static ArBound *
uno_dig(symentry_t *s, treenode *n)
{	ArBound *b = (ArBound *) 0;

	switch (n->hdr.type) {
	case TN_ASSIGN:
		b = bound_from_asgn(s, n);
		break;
	case TN_DECL:
	case TN_DECLS:
		b = uno_dig(s, n->lnode);
		if (!b)
		b = uno_dig(s, n->rnode);
		/* fall thru */
	default:
		break;
	}
	return b;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %r15
xorl %ebx, %ebx
movl 0x1c(%r14), %eax
cmpl $0x5, %eax
je 0x1c4b2
cmpl $0x10, %eax
jne 0x1c4c9
movq 0x40(%r14), %rsi
movq %r15, %rdi
callq 0x1c497
testq %rax, %rax
jne 0x1c4db
movq 0x48(%r14), %r14
jmp 0x1c4a4
cmpl $0x1c, %eax
jne 0x1c4de
movq %r15, %rdi
movq %r14, %rsi
popq %rbx
popq %r14
popq %r15
jmp 0x1c4e7
movq %rax, %rbx
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: bound_from_asgn
static ArBound *
bound_from_asgn(symentry_t *s, treenode *nn)
{	ArBound *b = (ArBound *) 0;
	int n;

	if (!nn
	||  !nn->lnode
	||   nn->lnode->hdr.type != TN_IDENT
	||  (nn->lnode->syment != s && s))
		return b;

	if (nn->rnode->hdr.type == TN_IDENT)
	{	/* see if we have a bound on this ident already
		 * if so, copy the bounds over to the lnode var
		 */
		if (s != nn->rnode->syment)
		{	b = add_bound(nn->lnode->syment, 0, 0, DUP|FROMASGN);
			b->sameas = nn->rnode->syment;
			/* b->dup set later in fix_dups */
		}
	} else
	{	nogood = 0;
		n = eval_const_expr(nn->rnode, ZT);
		if (!nogood)
			b = add_bound(nn->lnode->syment, n, n+1, (LB|UB|FROMASGN));
	}

	if (debug && b) printf("UU: set bound from asignment\n");
	return b;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
testq %rsi, %rsi
je 0x1c516
movq %rsi, %rbx
movq 0x40(%rsi), %rax
testq %rax, %rax
je 0x1c516
cmpl $0x2d, 0x1c(%rax)
jne 0x1c516
movq 0x38(%rax), %rax
cmpq %rdi, %rax
setne %cl
testq %rdi, %rdi
setne %dl
testb %cl, %dl
je 0x1c524
xorl %r14d, %r14d
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x48(%rbx), %rcx
cmpl $0x2d, 0x1c(%rcx)
jne 0x1c556
cmpq %rdi, 0x38(%rcx)
je 0x1c516
movq %rax, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x28, %ecx
callq 0x1c592
movq %rax, %r14
movq 0x48(%rbx), %rax
movq 0x38(%rax), %rax
movq %rax, 0x8(%r14)
jmp 0x1c519
movl $0x0, 0x64428(%rip)     # 0x80988
xorl %r14d, %r14d
movq %rcx, %rdi
xorl %esi, %esi
callq 0x1b08f
cmpl $0x0, 0x64414(%rip)     # 0x80988
jne 0x1c519
movq 0x40(%rbx), %rcx
movq 0x38(%rcx), %rdi
movl %eax, %edx
incl %edx
movl %eax, %esi
movl $0xb, %ecx
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x1c592
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_bounds.c
// Function: add_bound
static ArBound *
add_bound(symentry_t *s, int lb, int ub, int bounds)
{	ArBound *b;

	if (!s) return (ArBound *) 0;	/* probably undeclared var such as 'errno' */

	for (b = bounded; b; b = b->nxt)	/* record best guess at values of vars */
		if (b->s == s && !(b->bounds & UNK))
		{	if (bounds & FROMASGN)	/* new bound is definitive */
			{	if (debug>1)
				printf("	old bound on %s removed\n",
					s->nme->str);
				b->bounds |= UNK;	/* continue, there may be more */
			} else if (b->bounds & FROMASGN)	/* and bounds&FORMEXPR */
			{	if (debug>1)
				printf("	ignore new non-asgn bound on %s\n",
					s->nme->str);	/* new bound was not from asgn */
				return (ArBound *) 0;	/* already have a definitive value */
		}	}

	b = loose_bound(s, lb, ub, bounds);	/* this can add multiple FROMEXPR bounds on a var */

	b->nxt = bounded;
	bounded = b;
	return b;
}

// Assembly:
testq %rdi, %rdi
je 0x1c5f1
pushq %rax
movq 0x64431(%rip), %r8      # 0x809d0
testq %r8, %r8
je 0x1c5d5
xorl %eax, %eax
cmpq %rdi, (%r8)
jne 0x1c5cc
movzwl 0x18(%r8), %r9d
testb $0x4, %r9b
jne 0x1c5cc
testb $0x8, %cl
jne 0x1c5c3
testb $0x8, %r9b
je 0x1c5cc
jmp 0x1c5ec
orl $0x4, %r9d
movw %r9w, 0x18(%r8)
movq 0x28(%r8), %r8
testq %r8, %r8
jne 0x1c5a6
callq 0x1c41a
movq 0x643ef(%rip), %rcx     # 0x809d0
movq %rcx, 0x28(%rax)
movq %rax, 0x643e4(%rip)     # 0x809d0
addq $0x8, %rsp
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_intervals.c
// Function: negate_bound
void
negate_bound(ArBound *b)
{
	if (debug>1) explain_bound("negating", b, ZT);

	uno_assert(!(b->bounds & (DUP|UNK)), "dup or unk in negate");

	if ((b->bounds & LB)
	&&  (b->bounds & UB))
	{	if (b->bounds & NEG)
			b->bounds &= ~NEG;
		else
			b->bounds |= NEG;
	} else if (b->bounds & LB)
	{	b->bounds &= ~LB;
		b->bounds |= UB;
		b->ub = b->lb;
	} else if (b->bounds & UB)
	{	b->bounds &= ~UB;
		b->bounds |= LB;
		b->lb = b->ub;
	} else
	{	printf("uno: zero bounds, cannot happen\n");
		exit(1);
	}
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movzwl 0x18(%rdi), %eax
xorl %edi, %edi
testb $0x24, %al
sete %dil
leaq 0x147f5(%rip), %rsi     # 0x30e00
callq 0x13f8c
movzwl 0x18(%rbx), %eax
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x1c626
testb $0x40, %al
jne 0x1c640
orl $0x40, %eax
jmp 0x1c643
testb $0x2, %al
jne 0x1c649
testb $0x1, %al
je 0x1c65a
andl $-0x4, %eax
orl $0x2, %eax
movw %ax, 0x18(%rbx)
movl 0x1c(%rbx), %eax
movl %eax, 0x20(%rbx)
jmp 0x1c658
andl $-0x41, %eax
movw %ax, 0x18(%rbx)
jmp 0x1c658
andl $-0x4, %eax
incl %eax
movw %ax, 0x18(%rbx)
movl 0x20(%rbx), %eax
movl %eax, 0x1c(%rbx)
popq %rbx
retq
leaq 0x1489c(%rip), %rdi     # 0x30efd
callq 0x30a0
movl $0x1, %edi
callq 0x3250
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_intervals.c
// Function: first_inside_second
int
first_inside_second(ArBound *a, ArBound *b)	/* is interval a inside interval b? */
{
	sanitize(a);
	sanitize(b);

	if (unsatisfiable(a)
	||  unsatisfiable(b))
		return 0;

	if (!(a->bounds&NEG) && !(b->bounds&NEG))	/* ...[-2..-1]...[1>... */
		return ((a->lb >= b->lb) && (a->ub <= b->ub));

	if ((a->bounds&NEG) && (b->bounds&NEG))
		return ((a->lb <= b->lb) && (a->ub >= b->ub));

	if (!(a->bounds&NEG) && (b->bounds&NEG))
		return (a->ub <= b->lb || a->lb >= b->ub);

	if ((a->bounds&NEG) && !(b->bounds&NEG))
		return (b->lb >= a->ub || b->ub <= a->lb);

	/* unreachable */
	return 0;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
callq 0x1c768
movq %rbx, %rdi
callq 0x1c768
movzwl 0x18(%r14), %eax
movl %eax, %ecx
andl $0x7, %ecx
cmpw $0x3, %cx
jne 0x1c6c0
movl 0x1c(%r14), %ecx
cmpl 0x20(%r14), %ecx
jle 0x1c744
movzwl 0x18(%rbx), %ecx
movl %ecx, %edx
andl $0x7, %edx
cmpw $0x3, %dx
jne 0x1c6d7
movl 0x1c(%rbx), %edx
cmpl 0x20(%rbx), %edx
jle 0x1c744
movl %ecx, %edx
orl %eax, %edx
testb $0x40, %dl
jne 0x1c6f5
movl 0x20(%r14), %eax
cmpl 0x20(%rbx), %eax
jl 0x1c744
movl 0x1c(%r14), %eax
cmpl 0x1c(%rbx), %eax
setle %al
jmp 0x1c746
movl %ecx, %edx
andl %eax, %edx
testb $0x40, %dl
je 0x1c70d
movl 0x20(%r14), %eax
cmpl 0x20(%rbx), %eax
jg 0x1c744
movl 0x1c(%r14), %eax
jmp 0x1c760
movl %eax, %edx
andl $0x40, %edx
shrl $0x6, %edx
testb $0x40, %cl
sete %sil
orb %dl, %sil
je 0x1c751
testb $0x40, %al
sete %al
andl $0x40, %ecx
shrl $0x6, %ecx
orb %al, %cl
jne 0x1c744
movl 0x20(%rbx), %ecx
movb $0x1, %al
cmpl 0x1c(%r14), %ecx
jge 0x1c746
movl 0x1c(%rbx), %eax
cmpl 0x20(%r14), %eax
jmp 0x1c6f0
xorl %eax, %eax
movzbl %al, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movl 0x1c(%r14), %ecx
movb $0x1, %al
cmpl 0x20(%rbx), %ecx
jle 0x1c746
movl 0x20(%r14), %eax
cmpl 0x1c(%rbx), %eax
setge %al
jmp 0x1c746
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_intervals.c
// Function: sanitize
void
sanitize(ArBound *a)
{
	if ((a->bounds&UNK)
	||  (a->bounds&DUP))
		return;

	if (!(a->bounds&LB) && !(a->bounds & UB))
		explain_bound("error", a, ZT);

	uno_assert((a->bounds&LB) || (a->bounds & UB), "zerobound error");

	if (!(a->bounds&UB)) a->ub =  INT_MAX;
	if (!(a->bounds&LB)) a->lb = -INT_MAX;

	if (!(a->bounds & NEG)
	||   ((a->bounds & LB) && (a->bounds & UB)))	/* bug found by codesurfer: ; */
		return;

	if (a->bounds & LB)
	{	a->bounds &= ~NEG;
		a->bounds &= ~LB;
		a->bounds |= UB;
		a->ub = a->lb;
	} else if (a->bounds & UB)
	{	a->bounds &= ~NEG;
		a->bounds &= ~UB;
		a->bounds |= LB;
		a->lb = a->ub;
	}
}

// Assembly:
movzwl 0x18(%rdi), %eax
testb $0x24, %al
je 0x1c771
retq
pushq %rbx
movq %rdi, %rbx
testb $0x3, %al
jne 0x1c78a
leaq 0x14745(%rip), %rdi     # 0x30ec5
movq %rbx, %rsi
xorl %edx, %edx
callq 0x1b2fb
movzwl 0x18(%rbx), %eax
xorl %edi, %edi
testb $0x3, %al
setne %dil
leaq 0x1471e(%rip), %rsi     # 0x30ebb
callq 0x13f8c
movzwl 0x18(%rbx), %eax
testb $0x1, %al
jne 0x1c7b1
movl $0x7fffffff, 0x1c(%rbx) # imm = 0x7FFFFFFF
testb $0x2, %al
jne 0x1c7bc
movl $0x80000001, 0x20(%rbx) # imm = 0x80000001
testb $0x40, %al
je 0x1c7f2
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
je 0x1c7f2
testb $0x2, %al
jne 0x1c7e3
testb $0x1, %al
je 0x1c7f2
andl $-0x44, %eax
orl $0x2, %eax
movw %ax, 0x18(%rbx)
movl 0x1c(%rbx), %eax
movl %eax, 0x20(%rbx)
jmp 0x1c7f2
andl $-0x44, %eax
incl %eax
movw %ax, 0x18(%rbx)
movl 0x20(%rbx), %eax
movl %eax, 0x1c(%rbx)
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_intervals.c
// Function: check_bounds
int
check_bounds(ArBound *b, int x, treenode *nn)	/* is bound within interval 0..x-1 ? */
{	char buf[512];
	int result = 1;

	if (b->bounds & DUP)
	{	if (!b->dup)
		{	if (debug>1) printf("dup not set\n");
			return 1;
		}
		b = b->dup;	/* one step only */
	}

	if (unsatisfiable(b))
	{	if (debug) explain_bound("unsatisfiable", b, nn);
		return 1;	/* no run can get here, so this is no error */
	}
	if (!(b->bounds&NEG))
	{	if ((b->bounds&LB) && b->lb < 0)
		{	result = 0;
			sprintf(buf, "array index can be negative (%d)", b->lb);
		}
		if ((b->bounds&UB) && b->ub > x)
		{	result = 0;
			sprintf(buf, "array index can exceed upper-bound (%d>%d), var",
				b->ub-1, x-1);
		}
	} else
	{	result = 0;
		uno_assert((b->bounds & UB) && (b->bounds & LB), "negated non-interval");
		if (b->lb == b->ub - 1)
		{	sprintf(buf, "array index can be unequal to %d", b->lb);
			if (debug)
				printf("	dubious: <%s>\n", buf);
			result = 1;	/* dubious report */
		} else
			sprintf(buf, "array index can be <%d or >=%d", b->lb, b->ub);
	}

	if (result == 0)
	{	size_nok++;
		if (nn)
			uno_warn(buf, nn, b->s);
		else if (debug)
			printf("<<%s>>\n", buf);
	}  else
	{	size_ok++;
		if (debug>1) printf(" satisfied..\n");
	}

	return result;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x208, %rsp            # imm = 0x208
movq %rdx, %rbx
movl %esi, %r15d
movq %rdi, %r14
testb $0x20, 0x18(%rdi)
je 0x1c81d
movq 0x10(%r14), %r14
testq %r14, %r14
je 0x1c8ca
movzwl 0x18(%r14), %eax
movl %eax, %ecx
andl $0x7, %ecx
cmpw $0x3, %cx
jne 0x1c840
movl 0x1c(%r14), %ecx
movl $0x1, %ebp
cmpl 0x20(%r14), %ecx
jle 0x1c90f
testb $0x40, %al
jne 0x1c88e
movl $0x1, %ebp
testb $0x2, %al
je 0x1c868
movl 0x20(%r14), %edx
testl %edx, %edx
jns 0x1c868
leaq 0x145b9(%rip), %rsi     # 0x30e15
xorl %ebp, %ebp
movq %rsp, %rdi
xorl %eax, %eax
callq 0x3240
testb $0x1, 0x18(%r14)
je 0x1c8e4
movl 0x1c(%r14), %edx
cmpl %r15d, %edx
jle 0x1c8e4
decl %edx
decl %r15d
leaq 0x145b2(%rip), %rsi     # 0x30e36
xorl %ebp, %ebp
movq %rsp, %rdi
movl %r15d, %ecx
jmp 0x1c8dd
movl %eax, %edi
shrl %edi
andl %eax, %edi
andl $0x1, %edi
leaq 0x145c8(%rip), %rsi     # 0x30e66
callq 0x13f8c
movl 0x1c(%r14), %ecx
movl 0x20(%r14), %edx
leal -0x1(%rcx), %eax
cmpl %eax, %edx
jne 0x1c8d1
leaq 0x145c2(%rip), %rsi     # 0x30e7b
movq %rsp, %rdi
xorl %eax, %eax
callq 0x3240
movl $0x1, %ebp
jmp 0x1c8e4
movl $0x1, %ebp
jmp 0x1c90f
leaq 0x145c4(%rip), %rsi     # 0x30e9c
xorl %ebp, %ebp
movq %rsp, %rdi
xorl %eax, %eax
callq 0x3240
testl %ebp, %ebp
je 0x1c8f3
leaq 0x640d1(%rip), %rax     # 0x809c0
incl (%rax)
jmp 0x1c90f
leaq 0x640ca(%rip), %rax     # 0x809c4
incl (%rax)
testq %rbx, %rbx
je 0x1c90f
movq (%r14), %rdx
movq %rsp, %rdi
movq %rbx, %rsi
callq 0x13fc6
movl %ebp, %eax
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_intervals.c
// Function: same_bounds
int
same_bounds(ArBound *a, ArBound *b)	/* true if bound a includes bound b */
{
	if (strcmp(a->s->nme->str, b->s->nme->str) != 0
	||  (a->bounds & UNK) != (b->bounds & UNK))
		return 0;

	if (a->bounds & UNK)
		return 1;

	return first_inside_second(b, a);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq (%rdi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq (%rsi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x3180
movl %eax, %ecx
xorl %eax, %eax
testl %ecx, %ecx
jne 0x1c97c
movzwl 0x18(%rbx), %ecx
andl $0x4, %ecx
movzwl 0x18(%r14), %edx
andl $0x4, %edx
cmpw %dx, %cx
jne 0x1c97c
movl $0x1, %eax
testw %cx, %cx
jne 0x1c97c
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x1c68b
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_generic.c
// Function: gen_stats
void
gen_stats(void)
{	int i;
	int cnt;

	for (i = cnt = 0; i < 5; i++)
		if (hit_cmds[i])
			cnt++;
	if (cnt)
	{	printf("uno: commands in property executed\n");
		for (i = 0; i < 5; i++)
			if (hit_cmds[i])
			printf("\t%d\t%s\n", hit_cmds[i], cmds[i].cmd);
	}
	for (i = cnt = 0; i < 5; i++)
		if (hit_cmds[i])
			cnt++;
	if (cnt)
	{	printf("uno: fcts in property executed\n");
		for (i = 0; i < 3; i++)
			if (hit_fcts[i])
			printf("\t%d\t%s\n", hit_fcts[i], evals[i].cmd);
	}

	prop_reached(uno_prop);

	if (ruledout)
	printf("uno: %3d errorpaths generated, but ruled out as infeasible\n",
		ruledout);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
xorl %eax, %eax
leaq 0x63e4b(%rip), %r14     # 0x80a10
xorl %ecx, %ecx
cmpl $0x1, (%rax,%r14)
sbbl $-0x1, %ecx
addq $0x4, %rax
cmpq $0x14, %rax
jne 0x1cbc7
testl %ecx, %ecx
je 0x1cc1d
leaq 0x1484a(%rip), %rdi     # 0x3142e
callq 0x30a0
leaq 0x1b130(%rip), %r15     # 0x37d20
leaq 0x14351(%rip), %rbx     # 0x30f48
xorl %r12d, %r12d
movl (%r12,%r14), %esi
testl %esi, %esi
je 0x1cc0f
movq (%r15), %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x3100
addq $0x10, %r15
addq $0x4, %r12
cmpq $0x14, %r12
jne 0x1cbfa
xorl %eax, %eax
xorl %ecx, %ecx
cmpl $0x1, (%rax,%r14)
sbbl $-0x1, %ecx
addq $0x4, %rax
cmpq $0x14, %rax
jne 0x1cc21
testl %ecx, %ecx
je 0x1cc7e
leaq 0x14813(%rip), %rdi     # 0x31451
callq 0x30a0
leaq 0x1b146(%rip), %r14     # 0x37d90
leaq 0x63ddf(%rip), %r15     # 0x80a30
leaq 0x142f0(%rip), %rbx     # 0x30f48
xorl %r12d, %r12d
movl (%r12,%r15), %esi
testl %esi, %esi
je 0x1cc70
movq (%r14), %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x3100
addq $0x10, %r14
addq $0x4, %r12
cmpq $0xc, %r12
jne 0x1cc5b
leaq 0x53213(%rip), %rax     # 0x6fe98
movq (%rax), %rdi
callq 0x1ccbc
movl 0x63dbd(%rip), %esi     # 0x80a50
testl %esi, %esi
je 0x1ccb0
leaq 0x142b2(%rip), %rdi     # 0x30f50
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x3100
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Uno/Src/uno_generic.c
// Function: prop_reached
static void
prop_reached(State *s)
{	Trans *t;

	if (!s || !s->n) return;

	if (!s->visited
	&&  !strstr(s->n->hdr.fnm, " after "))
		printf("uno: %s:%d: not reached\n",
			s->n->hdr.fnm, s->n->hdr.line);

	s->visited = 1;	/* prevent duplicate reports */

	for (t = s->succ; t && t->branch; t = t->nxt)
		prop_reached(t->branch);
}

// Assembly:
testq %rdi, %rdi
je 0x1cd2d
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %r15
testq %r15, %r15
je 0x1cd28
cmpw $0x0, 0x4a(%rbx)
jne 0x1cd05
movq 0x8(%r15), %r14
leaq 0x143d9(%rip), %rsi     # 0x310bc
movq %r14, %rdi
callq 0x3270
testq %rax, %rax
jne 0x1cd05
movl 0x10(%r15), %edx
leaq 0x143c9(%rip), %rdi     # 0x310c4
movq %r14, %rsi
xorl %eax, %eax
callq 0x3100
movw $0x1, 0x4a(%rbx)
movq 0x50(%rbx), %rbx
testq %rbx, %rbx
je 0x1cd28
movq 0x10(%rbx), %rdi
testq %rdi, %rdi
je 0x1cd28
callq 0x1ccbc
movq 0x18(%rbx), %rbx
jmp 0x1cd0f
popq %rbx
popq %r14
popq %r15
retq