kills Return(Top) nodes ...
[r23035]
node->type = block->type;
} /* compute_Jmp */
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.
*
/**
* (Re-)compute the type for the End node.
*
static void compute_End(node_t *node) {
/* the End node is NOT dead of course */
node->type.tv = tarval_reachable;
static void compute_End(node_t *node) {
/* the End node is NOT dead of course */
node->type.tv = tarval_reachable;
/**
* (Re-)compute the type for a SymConst node.
/**
* (Re-)compute the type for a SymConst node.
SET(Cmp);
SET(Proj);
SET(Confirm);
SET(Cmp);
SET(Proj);
SET(Confirm);
SET(End);
if (op_Max != NULL)
SET(End);
if (op_Max != NULL)