diff options
| author | Daniel Berlin <dberlin@gcc.gnu.org> | 2004-06-12 00:18:35 +0000 |
|---|---|---|
| committer | Daniel Berlin <dberlin@gcc.gnu.org> | 2004-06-12 00:18:35 +0000 |
| commit | 7e6eb623f948dcaacab5e1251c99ebadc270c3d5 (patch) | |
| tree | ca99eaea2a64c9280cab7d983086bb2ab6db10a1 /gcc/tree-ssa-dce.c | |
| parent | e4602cf33b4359a1a92ffff5749eaf3422600993 (diff) | |
| download | gcc-7e6eb623f948dcaacab5e1251c99ebadc270c3d5.zip gcc-7e6eb623f948dcaacab5e1251c99ebadc270c3d5.tar.gz gcc-7e6eb623f948dcaacab5e1251c99ebadc270c3d5.tar.bz2 | |
[multiple changes]
2004-06-11 Steven Bosscher <stevenb@suse.de>
* tree-ssa-dce.c (mark_control_dependent_edges_necessary):
Don't try to mark anything control dependent on the entry or
exit blocks.
2004-06-11 Daniel Berlin <dberlin@dberlin.org>
Fix Bug 15899
Fix Bug 15460
* tree.h (SSA_NAME_VALUE): New macro.
(struct tree_ssa_name): Add value_handle member.
* tree-ssa-pre.c: Replaced.
* tree-flow.h (tree_ann_type): Add CST_ANN, EXPR_ANN.
(struct cst_ann_d): New.
(struct expr_ann_d): New.
(union tree_ann_d): Add cst_ann, expr_ann.
* tree-dfa.c (create_cst_ann): New function.
(create_expr_ann): Ditto.
* tree-flow-inline.h (cst_ann): New function.
(expr_ann): Ditto.
(get_cst_ann): Ditto.
(get_expr_ann): Ditto..
From-SVN: r83010
Diffstat (limited to 'gcc/tree-ssa-dce.c')
| -rw-r--r-- | gcc/tree-ssa-dce.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-ssa-dce.c b/gcc/tree-ssa-dce.c index 5380e01..36007a4 100644 --- a/gcc/tree-ssa-dce.c +++ b/gcc/tree-ssa-dce.c @@ -482,6 +482,14 @@ mark_control_dependent_edges_necessary (basic_block bb, struct edge_list *el) { int edge_number; +#ifdef ENABLE_CHECKING + if (bb == EXIT_BLOCK_PTR) + abort (); +#endif + + if (bb == ENTRY_BLOCK_PTR) + return; + EXECUTE_IF_CONTROL_DEPENDENT (bb->index, edge_number, { tree t; |