// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_lts.c
// Function: checkpathcond
static int
checkpathcond(symentry_t *s, treenode *n, int callpt)
{	PathCond *np;

	if (debug) printf("%s:%d, CPC: symbol %s %s -- callpt %d\n",
		n->hdr.fnm, n->hdr.line, s->nme->str,
		name_of_node(n->hdr.type), callpt);

	if (n
	&&  n->hdr.type == TN_IF	/* current statement is conditional */
	&&  simple_nonzero(s, ((if_node *)n)->cond))
	{	if (debug)
		printf("CPC: symbol %s in cond, known nonzero <%s>\n",
			s->nme->str, x_stmnt(n));
		return 0;
	} else
	{	if (debug)
		printf("CPC: not known nonzero <%s>\n", x_stmnt(n));
	}

	for (np = pathcond; np; np = np->nxt)
	{
		if (debug)
		{	printf("\tcheckpathcond: val=%s exp=%s (%s)",
				toksym(np->val->hdr.tok, 1),
				x_stmnt(np->exp),
				name_of_node(np->exp->hdr.type));
			printf("\tval=%s\n", x_stmnt(np->val));
		}

		if (has_symbol(s, np->exp))
		{	if (debug) printf("	1\n");
			if (np->val->hdr.tok == IDENT
			&&  simple_form(s, np))
			{	if (debug) printf("	2\n");
				return 0;	/* voids insertion */
			}
			if (debug) printf("	3\n");
			continue;	/* can't tell from this condition */
		}
		if (has_symbol(s, np->val))
		{	if (debug) printf("	4\n");
			break;	/* can't tell -- and this may change the value */
		}
	}
	if (debug) printf("	5\n");

	return 1;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movl %edx, -0x1c(%rbp)
cmpl $0x0, 0x5ea66(%rip)     # 0x85fd0
je 0x275be
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x40(%rbp)
movq -0x18(%rbp), %rax
movl 0x10(%rax), %eax
movl %eax, -0x34(%rbp)
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x18(%rbp), %rax
movl 0x1c(%rax), %edi
callq 0x8270
movq -0x40(%rbp), %rsi
movl -0x34(%rbp), %edx
movq -0x30(%rbp), %rcx
movq %rax, %r8
movl -0x1c(%rbp), %r9d
leaq 0x1e197(%rip), %rdi     # 0x4574e
movb $0x0, %al
callq 0x30f0
cmpq $0x0, -0x18(%rbp)
je 0x27628
movq -0x18(%rbp), %rax
cmpl $0x1b, 0x1c(%rax)
jne 0x27628
movq -0x10(%rbp), %rdi
movq -0x18(%rbp), %rax
movq 0x40(%rax), %rsi
callq 0x27950
cmpl $0x0, %eax
je 0x27628
cmpl $0x0, 0x5e9e4(%rip)     # 0x85fd0
je 0x2761c
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, -0x48(%rbp)
movq -0x18(%rbp), %rdi
callq 0x4ec0
movq -0x48(%rbp), %rsi
movq %rax, %rdx
leaq 0x1e160(%rip), %rdi     # 0x45775
movb $0x0, %al
callq 0x30f0
movl $0x0, -0x4(%rbp)
jmp 0x277c3
cmpl $0x0, 0x5e9a1(%rip)     # 0x85fd0
je 0x2764b
movq -0x18(%rbp), %rdi
callq 0x4ec0
movq %rax, %rsi
leaq 0x1e15d(%rip), %rdi     # 0x457a1
movb $0x0, %al
callq 0x30f0
jmp 0x2764d
movq 0x5ea44(%rip), %rax     # 0x86098
movq %rax, -0x28(%rbp)
cmpq $0x0, -0x28(%rbp)
je 0x277a5
cmpl $0x0, 0x5e966(%rip)     # 0x85fd0
je 0x276db
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
movl 0x18(%rax), %edi
movl $0x1, %esi
callq 0x7120
movq %rax, -0x58(%rbp)
movq -0x28(%rbp), %rax
movq (%rax), %rdi
callq 0x4ec0
movq %rax, -0x50(%rbp)
movq -0x28(%rbp), %rax
movq (%rax), %rax
movl 0x1c(%rax), %edi
callq 0x8270
movq -0x58(%rbp), %rsi
movq -0x50(%rbp), %rdx
movq %rax, %rcx
leaq 0x1e108(%rip), %rdi     # 0x457be
movb $0x0, %al
callq 0x30f0
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rdi
callq 0x4ec0
movq %rax, %rsi
leaq 0x1e10d(%rip), %rdi     # 0x457e1
movb $0x0, %al
callq 0x30f0
movq -0x10(%rbp), %rdi
movq -0x28(%rbp), %rax
movq (%rax), %rsi
callq 0x27c10
cmpl $0x0, %eax
je 0x27763
cmpl $0x0, 0x5e8d9(%rip)     # 0x85fd0
je 0x27707
leaq 0x1e0ea(%rip), %rdi     # 0x457ea
movb $0x0, %al
callq 0x30f0
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rax
cmpl $0x102, 0x18(%rax)      # imm = 0x102
jne 0x2774a
movq -0x10(%rbp), %rdi
movq -0x28(%rbp), %rsi
callq 0x27cb0
cmpl $0x0, %eax
je 0x2774a
cmpl $0x0, 0x5e89f(%rip)     # 0x85fd0
je 0x27741
leaq 0x1e0b4(%rip), %rdi     # 0x457ee
movb $0x0, %al
callq 0x30f0
movl $0x0, -0x4(%rbp)
jmp 0x277c3
cmpl $0x0, 0x5e87f(%rip)     # 0x85fd0
je 0x27761
leaq 0x1e098(%rip), %rdi     # 0x457f2
movb $0x0, %al
callq 0x30f0
jmp 0x27794
movq -0x10(%rbp), %rdi
movq -0x28(%rbp), %rax
movq 0x8(%rax), %rsi
callq 0x27c10
cmpl $0x0, %eax
je 0x27792
cmpl $0x0, 0x5e850(%rip)     # 0x85fd0
je 0x27790
leaq 0x1e06d(%rip), %rdi     # 0x457f6
movb $0x0, %al
callq 0x30f0
jmp 0x277a5
jmp 0x27794
movq -0x28(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x28(%rbp)
jmp 0x27658
cmpl $0x0, 0x5e824(%rip)     # 0x85fd0
je 0x277bc
leaq 0x1e045(%rip), %rdi     # 0x457fa
movb $0x0, %al
callq 0x30f0
movl $0x1, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x60, %rsp
popq %rbp
retq
nopl (%rax)