* tree-vrp.c (execute_vrp): Perform any queued SSA updates before

        threading jumps.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110758 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a165f5e..224642c 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-02-08  Jeff Law  <law@redhat.com>
+
+       PR tree-optimization/26169
+       * tree-vrp.c (execute_vrp): Perform any queued SSA updates before
+       threading jumps.
+
 2006-02-08  Zdenek Dvorak <dvorakz@suse.cz>
 
        * df.h (DF_REG_SIZE): Return the length of the initialized

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 9fa311b..80dcf39 100644 (file)
--- 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 ();
 
 }