verify that all blocks can be found by walk_block_graph
authorMatthias Braun <matze@braunis.de>
Thu, 5 May 2011 13:31:58 +0000 (15:31 +0200)
committerMatthias Braun <matze@braunis.de>
Fri, 6 May 2011 07:27:25 +0000 (09:27 +0200)
commit27177e293d914d15fdef3798c1ce1628f83d55ef
tree79da366d97e7359a6e1b2348788c08ff79086d16
parentceb8c85dcec7d95e97093c5577f1e3d5a1a362d3
verify that all blocks can be found by walk_block_graph

This also ensures the invariant that at least 1 block in an endless
loop is kept.
ir/ir/irgwalk.c
ir/ir/irverify.c