X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fir%2Firvrfy.c;h=74e0ee785a55dd068de95e841ee7bc965fca1cc3;hb=5f8ddee6b08c8040c0a304a347d65045c1141d52;hp=9f0b4f7447bc21bbe4832eb0a7868de1dd5cd7d0;hpb=79df37c097fe8cfb7d8e56d30b658f7ce8f6655d;p=libfirm

diff --git a/ir/ir/irvrfy.c b/ir/ir/irvrfy.c
index 9f0b4f744..74e0ee785 100644
--- a/ir/ir/irvrfy.c
+++ b/ir/ir/irvrfy.c
@@ -3,9 +3,10 @@
 **
 ** Authors: Christian Schaefer
 **
-**
+x**
 */
 
+# include "irgraph_t.h"
 # include "irvrfy.h"
 # include "irgwalk.h"
 
@@ -25,9 +26,6 @@ irn_vrfy (ir_node *n)
   mymode = get_irn_mode (n);
   in = get_irn_in (n);
 
-//  IR_OP_VRFY (opcode);
-//  IR_MODE_VRFY (mymode);
-
   switch (opcode) {
 
   case iro_Start:
@@ -265,7 +263,8 @@ irn_vrfy (ir_node *n)
            /* Phi: BB x dataM^n --> dataM */
     /* for some reason "<=" aborts. Is there a problem with get_store? */
     for (i=1; i < get_irn_arity(n); i++) {
-      assert ( get_irn_mode(in[i]) == mymode );
+      if (!is_Bad(in[i]))
+	assert ( get_irn_mode(in[i]) == mymode );
     };
     assert ( mode_is_dataM(mymode) );
     break;