- BugFix: we need an extra compute_Return(), else compute_default()

  kills Return(Top) nodes ...

[r23035]

diff --git a/ir/opt/combo.c b/ir/opt/combo.c
index 48f14cf..ef24143 100644 (file)
--- a/ir/opt/combo.c
+++ b/ir/opt/combo.c
@@ -1872,6 +1872,18 @@ static void compute_Jmp(node_t *node) {
        node->type = block->type;
 }  /* compute_Jmp */
 
+/**
+ * (Re-)compute the type for the Return node.
+ *
+ * @param node  the node
+ */
+static void compute_Return(node_t *node) {
+       /* The Return node is NOT dead if it is in a reachable block.
+        * This is already checked in compute(). so we can return
+        * Reachable here. */
+       node->type.tv = tarval_reachable;
+}  /* compute_Return */
+
 /**
  * (Re-)compute the type for the End node.
  *
@@ -1880,7 +1892,7 @@ static void compute_Jmp(node_t *node) {
 static void compute_End(node_t *node) {
        /* the End node is NOT dead of course */
        node->type.tv = tarval_reachable;
-}
+}  /* compute_End */
 
 /**
  * (Re-)compute the type for a SymConst node.
@@ -3246,6 +3258,7 @@ static void set_compute_functions(void) {
        SET(Cmp);
        SET(Proj);
        SET(Confirm);
+       SET(Return);
        SET(End);
 
        if (op_Max != NULL)