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

gcc/ChangeLog

+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

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 ();
 
 }