**
*/
+# include "irgraph_t.h"
# include "irvrfy.h"
# include "irgwalk.h"
mymode = get_irn_mode (n);
in = get_irn_in (n);
-// IR_OP_VRFY (opcode);
-// IR_MODE_VRFY (mymode);
-
switch (opcode) {
case iro_Start:
/* 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;