// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Uno/Src/uno_fcts.c
// Function: end_of_path
static void
end_of_path(void)
{	Arc	*a;
	Rstack	*r;

	if (!rstack) return;

	r = rstack;
	rstack = rstack->nxt;

	stack->fr = rstack?rstack->f:(BFct *) 0;	/* remember for error traces */

	if (debug)
	printf("%3d:\tFCT EXITS -- %s -- return to %s\n", depth,
		r->f->fnm, rstack?rstack->f->fnm:"--");

	if (!r->n || !r->n->succ)		/* no continuation point */
	{	if (debug) printf("%3d: no continuation point\n", depth);
		end_of_path();			/* ? */
	} else
		for (a = r->n->succ; a; a = a->nxt)	/* continuation in caller */
		{	if (debug) printf("%3d:\tCONTinuation in %s [%d->%d]\n", depth,
				rstack?rstack->f->fnm:"--", r->n->nid, a->to->nid);
			check_prop(a);
			if (debug) printf("%3d:\tUN_CONT %s [%d->%d]\n", depth,
				rstack?rstack->f->fnm:"--", a->to->nid, r->n->nid);
		}
	r->nxt = rstack;
	rstack = r;

	stack->fr = (BFct *) 0;

	if (debug)
	printf("%3d:\tFCT UN_EXITS -- %s\n", depth, r->f->fnm);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
cmpq $0x0, 0x7d38(%rip)      # 0xc448
jne 0x4717
jmp 0x495c
movq 0x7d2a(%rip), %rax      # 0xc448
movq %rax, -0x10(%rbp)
movq 0x7d1f(%rip), %rax      # 0xc448
movq 0x10(%rax), %rax
movq %rax, 0x7d14(%rip)      # 0xc448
cmpq $0x0, 0x7d0c(%rip)      # 0xc448
je 0x474e
movq 0x7d03(%rip), %rax      # 0xc448
movq (%rax), %rax
movq %rax, -0x18(%rbp)
jmp 0x4756
xorl %eax, %eax
movq %rax, -0x18(%rbp)
jmp 0x4756
movq -0x18(%rbp), %rcx
movq 0x6c57(%rip), %rax      # 0xb3b8
movq %rcx, 0x30(%rax)
cmpl $0x0, 0x6c54(%rip)      # 0xb3c0
je 0x47c8
movl 0x7cdc(%rip), %eax      # 0xc450
movl %eax, -0x24(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq (%rax), %rax
movq %rax, -0x20(%rbp)
cmpq $0x0, 0x7cbb(%rip)      # 0xc448
je 0x47a2
movq 0x7cb2(%rip), %rax      # 0xc448
movq (%rax), %rax
movq (%rax), %rax
movq %rax, -0x30(%rbp)
jmp 0x47af
leaq 0x2e1b(%rip), %rax      # 0x75c4
movq %rax, -0x30(%rbp)
jmp 0x47af
movq -0x20(%rbp), %rdx
movl -0x24(%rbp), %esi
movq -0x30(%rbp), %rcx
leaq 0x39d4(%rip), %rdi      # 0x8195
movb $0x0, %al
callq 0x1080
movq -0x10(%rbp), %rax
cmpq $0x0, 0x8(%rax)
je 0x47e2
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
cmpq $0x0, 0x10(%rax)
jne 0x4809
cmpl $0x0, 0x6bd7(%rip)      # 0xb3c0
je 0x47ff
movl 0x7c5f(%rip), %esi      # 0xc450
leaq 0x39c3(%rip), %rdi      # 0x81bb
movb $0x0, %al
callq 0x1080
callq 0x4700
jmp 0x490c
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, -0x8(%rbp)
cmpq $0x0, -0x8(%rbp)
je 0x490a
cmpl $0x0, 0x6b95(%rip)      # 0xb3c0
je 0x4889
movl 0x7c1d(%rip), %eax      # 0xc450
movl %eax, -0x34(%rbp)
cmpq $0x0, 0x7c0a(%rip)      # 0xc448
je 0x4853
movq 0x7c01(%rip), %rax      # 0xc448
movq (%rax), %rax
movq (%rax), %rax
movq %rax, -0x40(%rbp)
jmp 0x4860
leaq 0x2d6a(%rip), %rax      # 0x75c4
movq %rax, -0x40(%rbp)
jmp 0x4860
movl -0x34(%rbp), %esi
movq -0x40(%rbp), %rdx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movl (%rax), %ecx
movq -0x8(%rbp), %rax
movq (%rax), %rax
movl (%rax), %r8d
leaq 0x3955(%rip), %rdi      # 0x81d7
movb $0x0, %al
callq 0x1080
movq -0x8(%rbp), %rdi
callq 0x4320
cmpl $0x0, 0x6b27(%rip)      # 0xb3c0
je 0x48f7
movl 0x7baf(%rip), %eax      # 0xc450
movl %eax, -0x44(%rbp)
cmpq $0x0, 0x7b9c(%rip)      # 0xc448
je 0x48c1
movq 0x7b93(%rip), %rax      # 0xc448
movq (%rax), %rax
movq (%rax), %rax
movq %rax, -0x50(%rbp)
jmp 0x48ce
leaq 0x2cfc(%rip), %rax      # 0x75c4
movq %rax, -0x50(%rbp)
jmp 0x48ce
movl -0x44(%rbp), %esi
movq -0x50(%rbp), %rdx
movq -0x8(%rbp), %rax
movq (%rax), %rax
movl (%rax), %ecx
movq -0x10(%rbp), %rax
movq 0x8(%rax), %rax
movl (%rax), %r8d
leaq 0x3909(%rip), %rdi      # 0x81f9
movb $0x0, %al
callq 0x1080
jmp 0x48f9
movq -0x8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x8(%rbp)
jmp 0x4819
jmp 0x490c
movq 0x7b35(%rip), %rcx      # 0xc448
movq -0x10(%rbp), %rax
movq %rcx, 0x10(%rax)
movq -0x10(%rbp), %rax
movq %rax, 0x7b22(%rip)      # 0xc448
movq 0x6a8b(%rip), %rax      # 0xb3b8
movq $0x0, 0x30(%rax)
cmpl $0x0, 0x6a84(%rip)      # 0xb3c0
je 0x495c
movl 0x7b0c(%rip), %esi      # 0xc450
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq (%rax), %rdx
leaq 0x38be(%rip), %rdi      # 0x8213
movb $0x0, %al
callq 0x1080
addq $0x50, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)