// File: /workspace/github_c_makefile_star2_O0/lucvoo[P]sparse-dev/dissect.c
// Function: do_statement
static struct symbol *do_statement(usage_t mode, struct statement *stmt)
{
	struct symbol *ret = &void_ctype;

	if (stmt) switch (stmt->type) {
	default:
		warning(stmt->pos, "bad stmt->type: %d", stmt->type);

	case STMT_NONE:
	case STMT_RANGE:
	case STMT_CONTEXT:

	break; case STMT_DECLARATION:
		do_sym_list(stmt->declaration);

	break; case STMT_EXPRESSION:
		ret = do_expression(mode, stmt->expression);

	break; case STMT_RETURN: {
		struct symbol *type = dissect_ctx->ctype.base_type;
		do_expression(u_lval(base_type(type)), stmt->expression);
	}

	break; case STMT_ASM:
		do_expression(U_R_VAL, stmt->asm_string);
		do_asm_xputs(U_W_VAL, stmt->asm_outputs);
		do_asm_xputs(U_R_VAL, stmt->asm_inputs);

	break; case STMT_COMPOUND: {
		int count;

		count = statement_list_size(stmt->stmts);
		DO_LIST(stmt->stmts, st,
			ret = do_statement(--count ? U_VOID : mode, st));
	}

	break; case STMT_ITERATOR:
		do_sym_list(stmt->iterator_syms);
		do_statement(U_VOID, stmt->iterator_pre_statement);
		do_expression(U_R_VAL, stmt->iterator_pre_condition);
		do_statement(U_VOID, stmt->iterator_post_statement);
		do_statement(U_VOID, stmt->iterator_statement);
		do_expression(U_R_VAL, stmt->iterator_post_condition);

	break; case STMT_IF:
		do_expression(U_R_VAL, stmt->if_conditional);
		do_statement(U_VOID, stmt->if_true);
		do_statement(U_VOID, stmt->if_false);

	break; case STMT_SWITCH:
		do_expression(U_R_VAL, stmt->switch_expression);
		do_statement(U_VOID, stmt->switch_statement);

	break; case STMT_CASE:
		do_expression(U_R_VAL, stmt->case_expression);
		do_expression(U_R_VAL, stmt->case_to);
		do_statement(U_VOID, stmt->case_statement);

	break; case STMT_GOTO:
		do_expression(U_R_PTR, stmt->goto_expression);

	break; case STMT_LABEL:
		do_statement(mode, stmt->label_statement);

	}

	return ret;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x60, %rsp
movl %edi, -0x4(%rbp)
movq %rsi, -0x10(%rbp)
leaq 0x838ea(%rip), %rax     # 0x99890
movq %rax, -0x18(%rbp)
cmpq $0x0, -0x10(%rbp)
je 0x16283
movq -0x10(%rbp), %rax
movl (%rax), %eax
movq %rax, -0x58(%rbp)
subq $0xd, %rax
ja 0x15fd9
movq -0x58(%rbp), %rax
leaq 0x525bc(%rip), %rcx     # 0x6858c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq -0x10(%rbp), %rax
movq -0x10(%rbp), %rcx
movl (%rcx), %edx
movq 0x4(%rax), %rdi
leaq 0x52611(%rip), %rsi     # 0x685ff
movb $0x0, %al
callq 0x16f90
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x14fe0
jmp 0x16281
movl -0x4(%rbp), %edi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rsi
callq 0x15540
movq %rax, -0x18(%rbp)
jmp 0x16281
movq 0x7efe4(%rip), %rax     # 0x95010
movq 0x60(%rax), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rdi
callq 0x16290
movq %rax, %rdi
callq 0x165e0
movl %eax, %edi
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rsi
callq 0x15540
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rsi
movl $0x4, %edi
callq 0x15540
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rsi
movl $0x8, %edi
callq 0x16a10
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
movl $0x4, %edi
callq 0x16a10
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rdi
callq 0x16ad0
movl %eax, -0x24(%rbp)
jmp 0x160a6
movq -0x10(%rbp), %rax
movq 0x10(%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 0x160ce
jmp 0x16169
jmp 0x160d0
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 0x16151
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 0x1611b
cmpq $0x0, -0x30(%rbp)
jne 0x1611b
jmp 0x16146
movl -0x24(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0x24(%rbp)
cmpl $0x0, %eax
je 0x16130
xorl %eax, %eax
movl %eax, -0x5c(%rbp)
jmp 0x16136
movl -0x4(%rbp), %eax
movl %eax, -0x5c(%rbp)
movl -0x5c(%rbp), %edi
movq -0x30(%rbp), %rsi
callq 0x15f90
movq %rax, -0x18(%rbp)
movl -0x4c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x4c(%rbp)
jmp 0x160d7
jmp 0x16153
movq -0x40(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x40(%rbp)
cmpq -0x38(%rbp), %rax
jne 0x160d0
jmp 0x1616b
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rdi
callq 0x14fe0
movq -0x10(%rbp), %rax
movq 0x28(%rax), %rsi
xorl %edi, %edi
callq 0x15f90
movq -0x10(%rbp), %rax
movq 0x30(%rax), %rsi
movl $0x4, %edi
callq 0x15540
movq -0x10(%rbp), %rax
movq 0x40(%rax), %rsi
xorl %edi, %edi
callq 0x15f90
movq -0x10(%rbp), %rax
movq 0x38(%rax), %rsi
xorl %edi, %edi
callq 0x15f90
movq -0x10(%rbp), %rax
movq 0x48(%rax), %rsi
movl $0x4, %edi
callq 0x15540
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rsi
movl $0x4, %edi
callq 0x15540
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rsi
xorl %edi, %edi
callq 0x15f90
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
xorl %edi, %edi
callq 0x15f90
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rsi
movl $0x4, %edi
callq 0x15540
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rsi
xorl %edi, %edi
callq 0x15f90
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x10(%rax), %rsi
movl $0x4, %edi
callq 0x15540
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rsi
movl $0x4, %edi
callq 0x15540
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
xorl %edi, %edi
callq 0x15f90
jmp 0x16281
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rsi
movl $0x400, %edi            # imm = 0x400
callq 0x15540
jmp 0x16281
movl -0x4(%rbp), %edi
movq -0x10(%rbp), %rax
movq 0x20(%rax), %rsi
callq 0x15f90
jmp 0x16283
movq -0x18(%rbp), %rax
addq $0x60, %rsp
popq %rbp
retq
nopl (%rax)