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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a165f5ec9c31ce651200d9b900107c5fc6dda731..224642c314e3ef04517fdb6dcd2b9a7159d65040 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 9fa311b3c5e6bed1f91d1ba6066ec895d3390521..80dcf39ac4e0b88d41cea5d50a7426a3e05fe16f 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 ();
 
 }