From: Matthias Braun <matze@braunis.de>
Date: Mon, 26 Nov 2007 19:25:13 +0000 (+0000)
Subject: build unknown if return value is missing
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=a337ecba4682dce4b7ac695cccce0399bbdaaa47;p=cparser

build unknown if return value is missing

[r18541]
---

diff --git a/ast2firm.c b/ast2firm.c
index a1e511c..9166ff6 100644
--- a/ast2firm.c
+++ b/ast2firm.c
@@ -1769,18 +1769,33 @@ static void return_statement_to_firm(return_statement_t *statement)
 	if(get_cur_block() == NULL)
 		return;
 
-	dbg_info *dbgi = get_dbg_info(&statement->statement.source_position);
-	ir_node  *ret;
 
+	ir_type *func_irtype = get_ir_type(current_function_decl->type);
+
+	ir_node *value = NULL;
 	if(statement->return_value != NULL) {
-		ir_node *retval = expression_to_firm(statement->return_value);
-		ir_node *in[1];
+		value = expression_to_firm(statement->return_value);
+	}
+
+	ir_node *in[1];
+	int      in_len;
+	if(get_method_n_ress(func_irtype) > 0) {
+		if(value == NULL) {
+			ir_type *res_type = get_method_res_type(func_irtype, 0);
+			ir_mode *mode     = get_type_mode(res_type);
+			value             = new_Unknown(mode);
+		}
 
-		in[0] = retval;
-		ret   = new_d_Return(dbgi, get_store(), 1, in);
+		in[0]  = value;
+		in_len = 1;
 	} else {
-		ret   = new_d_Return(dbgi, get_store(), 0, NULL);
+		in_len = 0;
 	}
+
+	dbg_info *dbgi  = get_dbg_info(&statement->statement.source_position);
+	ir_node  *store = get_store();
+	ir_node  *ret   = new_d_Return(dbgi, store, in_len, in);
+
 	ir_node *end_block = get_irg_end_block(current_ir_graph);
 	add_immBlock_pred(end_block, ret);