projects
/
libfirm
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
1c5a82c
)
verify that start black has no predecessors
author
Matthias Braun
<matze@braunis.de>
Mon, 26 Jul 2010 09:06:28 +0000
(09:06 +0000)
committer
Matthias Braun
<matze@braunis.de>
Mon, 26 Jul 2010 09:06:28 +0000
(09:06 +0000)
[r27814]
ir/ir/irvrfy.c
patch
|
blob
|
history
diff --git
a/ir/ir/irvrfy.c
b/ir/ir/irvrfy.c
index
b9b28b0
..
fe56d2d
100644
(file)
--- a/
ir/ir/irvrfy.c
+++ b/
ir/ir/irvrfy.c
@@
-881,6
+881,10
@@
static int verify_node_Block(ir_node *n, ir_graph *irg)
"Block node must have a mode_X predecessor", 0);
}
+ if (n == get_irg_start_block(irg)) {
+ ASSERT_AND_RET(get_Block_n_cfgpreds(n) == 0, "Start Block node", 0);
+ }
+
if (n == get_irg_end_block(irg) && get_irg_phase_state(irg) != phase_backend)
/* End block may only have Return, Raise or fragile ops as preds. */
for (i = get_Block_n_cfgpreds(n) - 1; i >= 0; --i) {