diff options
| author | Jeff Law <law@redhat.com> | 2006-02-08 10:31:20 -0700 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2006-02-08 10:31:20 -0700 |
| commit | 59c02d8a613e46512e852d54ab2ff9209f47acc7 (patch) | |
| tree | be8c4a530754806ccf74ab5242dd79cba2bb4d50 /gcc/tree-vrp.c | |
| parent | a4add13fcec302e0007384ce971b0b34595642a0 (diff) | |
| download | gcc-59c02d8a613e46512e852d54ab2ff9209f47acc7.zip gcc-59c02d8a613e46512e852d54ab2ff9209f47acc7.tar.gz gcc-59c02d8a613e46512e852d54ab2ff9209f47acc7.tar.bz2 | |
tree-vrp.c (execute_vrp): Perform any queued SSA updates before threading jumps.
* tree-vrp.c (execute_vrp): Perform any queued SSA updates before
threading jumps.
From-SVN: r110758
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 9fa311b..80dcf39 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -4499,6 +4499,14 @@ execute_vrp (void) as finalizing jump threads calls the CFG cleanup code which does not properly handle ASSERT_EXPRs. */ remove_range_assertions (); + + /* If we exposed any new variables, go ahead and put them into + SSA form now, before we handle jump threading. This simplifies + interactions between rewriting of _DECL nodes into SSA form + and rewriting SSA_NAME nodes into SSA form after block + duplication and CFG manipulation. */ + update_ssa (TODO_update_ssa); + finalize_jump_threads (); } |