Commit f9e0ba48 authored by Matthias Braun's avatar Matthias Braun
Browse files

verify that IJmp successors have Block entities assigned

parent eba762ce
......@@ -376,6 +376,12 @@ static int verify_node_Block(const ir_node *n)
skipped_pred);
fine = false;
}
if (is_IJmp(skipped_pred) && get_Block_entity(n) == NULL) {
warn(n, "succesor block of IJmp %+F has no entity assigned",
skipped_pred);
fine = false;
}
}
ir_graph *irg = get_irn_irg(n);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment