invalidate phase info before starting the code selection; temporary disable freeing...

[libfirm] / ir / opt / opt_confirms.c

diff --git a/ir/opt/opt_confirms.c b/ir/opt/opt_confirms.c
index 6d5f176..510ffcc 100644 (file)
--- a/ir/opt/opt_confirms.c
+++ b/ir/opt/opt_confirms.c
@@ -192,12 +192,21 @@ int value_not_null(const ir_node *n, ir_node_cnst_ptr *confirm)
                        n = skip_Cast(get_Sel_ptr(n));
                }
        }
+       while (1) {
+               if (is_Cast(n)) { n = get_Cast_op(n); continue; }
+               if (is_Proj(n)) { n = get_Proj_pred(n); continue; }
+               break;
+       }
+
        if (is_Global(n)) {
                /* global references are never NULL */
                return 1;
        } else if (n == get_irg_frame(current_ir_graph)) {
                /* local references are never NULL */
                return 1;
+       } else if (is_Alloc(n)) {
+               /* alloc never returns NULL (it throws an exception instead) */
+               return 1;
        } else {
                /* check for more Confirms */
                for (; is_Confirm(n); n = skip_Cast(get_Confirm_value(n))) {