passes.c (execute_function_todo): Don't reset TODO_verify_ssa from last_verified if update_ssa ran.

2014-05-05  Richard Biener  <rguenther@suse.de>

	* passes.c (execute_function_todo): Don't reset TODO_verify_ssa
	from last_verified if update_ssa ran.  Move TODO_verify_rtl_sharing
	under the TODO_verify_il umbrella.

From-SVN: r210073

gcc/ChangeLog

 2014-05-05  Richard Biener  <rguenther@suse.de>
 
+	* passes.c (execute_function_todo): Don't reset TODO_verify_ssa
+	from last_verified if update_ssa ran.  Move TODO_verify_rtl_sharing
+	under the TODO_verify_il umbrella.
+
+2014-05-05  Richard Biener  <rguenther@suse.de>
+
 	* passes.c (execute_function_todo): Move TODO_verify_flow under
 	the TODO_verify_ul umbrella.
 

gcc/passes.c

@@ -1743,7 +1743,6 @@ execute_function_todo (function *fn, void *data)
     {
       unsigned update_flags = flags & TODO_update_ssa_any;
       update_ssa (update_flags);
-      cfun->last_verified &= ~TODO_verify_ssa;
     }
 
   if (flag_tree_pta && (flags & TODO_rebuild_alias))
@@ -1791,9 +1790,9 @@ execute_function_todo (function *fn, void *data)
 	  if (current_loops
 	      && loops_state_satisfies_p (LOOP_CLOSED_SSA))
 	    verify_loop_closed_ssa (false);
+	  if (cfun->curr_properties & PROP_rtl)
+	    verify_rtl_sharing ();
 	}
-      if (flags & TODO_verify_rtl_sharing)
-	verify_rtl_sharing ();
 
       /* Make sure verifiers don't change dominator state.  */
       gcc_assert (dom_info_state (fn, CDI_DOMINATORS) == pre_verify_state);