fixed loop-invariant nodes: Bad nodes are always loop invariant,

but did not work in the test

[r6063]

diff --git a/ir/opt/reassoc.c b/ir/opt/reassoc.c
index 8f12a13..79d6015 100644 (file)
--- a/ir/opt/reassoc.c
+++ b/ir/opt/reassoc.c
@@ -56,7 +56,11 @@ static const_class_t get_const_class(ir_node *n, ir_node *block)
     return REAL_CONSTANT;
   if (op == op_SymConst)
     return CONST_EXPR;
-  if (is_loop_invariant(n, block))
+  /*
+   * Beware: Bad nodes are always loop-invariant, but
+   * cannot handles in later code, so filter them here
+   */
+  if (! is_Bad(n) && is_loop_invariant(n, block))
     return CONST_EXPR;
 
   return NO_CONSTANT;