projects
/
libfirm
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
22c2fe6
)
irverify: Verify that nodes, which should be in the start block, are in the start...
author
Christoph Mallon
<christoph.mallon@gmx.de>
Wed, 5 Dec 2012 10:14:21 +0000
(11:14 +0100)
committer
Christoph Mallon
<christoph.mallon@gmx.de>
Wed, 5 Dec 2012 10:22:16 +0000
(11:22 +0100)
ir/ir/irverify.c
patch
|
blob
|
history
diff --git
a/ir/ir/irverify.c
b/ir/ir/irverify.c
index
6d60b2d
..
b122d58
100644
(file)
--- a/
ir/ir/irverify.c
+++ b/
ir/ir/irverify.c
@@
-1672,6
+1672,12
@@
int irn_verify_irg(const ir_node *n, ir_graph *irg)
);
}
);
}
+ ASSERT_AND_RET_DBG(
+ !is_irn_start_block_placed(n) || get_nodes_block(n) == get_irg_start_block(irg),
+ "node should be in start block", 0,
+ ir_printf("node %+F", n);
+ );
+
if (op->ops.verify_node)
return op->ops.verify_node(n);
if (op->ops.verify_node)
return op->ops.verify_node(n);