diff options
| author | Richard Henderson <rth@redhat.com> | 2009-09-01 07:37:52 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2009-09-01 07:37:52 -0700 |
| commit | cd6ea7a2df112ac0a9e1afb01aef3b70b354f829 (patch) | |
| tree | 0d26fd11397c9b6e1e2da0ef0abcefda20d1f05a /gcc/tree-vrp.c | |
| parent | fd58da50fd14dff9640caf4b3a760d880d270f45 (diff) | |
| download | gcc-cd6ea7a2df112ac0a9e1afb01aef3b70b354f829.zip gcc-cd6ea7a2df112ac0a9e1afb01aef3b70b354f829.tar.gz gcc-cd6ea7a2df112ac0a9e1afb01aef3b70b354f829.tar.bz2 | |
Force block enders to be simulated once.
From-SVN: r151273
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 5379b75..237245e 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -5317,7 +5317,12 @@ vrp_initialize (void) { gimple stmt = gsi_stmt (si); - if (!stmt_interesting_for_vrp (stmt)) + /* If the statement is a control insn, then we do not + want to avoid simulating the statement once. Failure + to do so means that those edges will never get added. */ + if (stmt_ends_bb_p (stmt)) + prop_set_simulate_again (stmt, true); + else if (!stmt_interesting_for_vrp (stmt)) { ssa_op_iter i; tree def; @@ -5326,9 +5331,7 @@ vrp_initialize (void) prop_set_simulate_again (stmt, false); } else - { - prop_set_simulate_again (stmt, true); - } + prop_set_simulate_again (stmt, true); } } } @@ -6087,7 +6090,9 @@ vrp_visit_stmt (gimple stmt, edge *taken_edge_p, tree *output_p) fprintf (dump_file, "\n"); } - if (is_gimple_assign (stmt) || is_gimple_call (stmt)) + if (!stmt_interesting_for_vrp (stmt)) + gcc_assert (stmt_ends_bb_p (stmt)); + else if (is_gimple_assign (stmt) || is_gimple_call (stmt)) { /* In general, assignments with virtual operands are not useful for deriving ranges, with the obvious exception of calls to |