diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-06-16 09:45:17 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2011-06-16 09:45:17 +0200 |
| commit | 093024421f69476a1863c7711012166f06ac60d2 (patch) | |
| tree | 666e2e34a125f659a4b12b009a25653dbbbefe13 /gcc/tree-vrp.c | |
| parent | 81c411666a736dadfc8774ba1ce1823d69c55077 (diff) | |
| download | gcc-093024421f69476a1863c7711012166f06ac60d2.zip gcc-093024421f69476a1863c7711012166f06ac60d2.tar.gz gcc-093024421f69476a1863c7711012166f06ac60d2.tar.bz2 | |
re PR tree-optimization/49419 (gcc -O2 miscompiles gp2c)
PR tree-optimization/49419
* tree-vrp.c (execute_vrp): Call init_range_assertions
before estimate_numbers_of_iterations, call
free_number_of_iterations_estimates before calling
remove_range_assertions.
* gcc.c-torture/execute/pr49419.c: New test.
From-SVN: r175092
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index d12d634..c049c5d 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -7728,14 +7728,14 @@ execute_vrp (void) rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa); scev_initialize (); + insert_range_assertions (); + /* Estimate number of iterations - but do not use undefined behavior for this. We can't do this lazily as other functions may compute this using undefined behavior. */ free_numbers_of_iterations_estimates (); estimate_numbers_of_iterations (false); - insert_range_assertions (); - to_remove_edges = VEC_alloc (edge, heap, 10); to_update_switch_stmts = VEC_alloc (switch_update, heap, 5); threadedge_initialize_values (); @@ -7744,6 +7744,8 @@ execute_vrp (void) ssa_propagate (vrp_visit_stmt, vrp_visit_phi_node); vrp_finalize (); + free_numbers_of_iterations_estimates (); + /* ASSERT_EXPRs must be removed before finalizing jump threads as finalizing jump threads calls the CFG cleanup code which does not properly handle ASSERT_EXPRs. */ |