From 0db7457704f3c609c2c01c8f0f4ee3fecac29a74 Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 5 May 2014 17:40:08 +0000 Subject: passes.c (execute_function_todo): Don't reset TODO_verify_ssa from last_verified if update_ssa ran. 2014-05-05 Richard Biener * 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/passes.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'gcc/passes.c') diff --git a/gcc/passes.c b/gcc/passes.c index 30c849f..2b3a63c 100644 --- a/gcc/passes.c +++ b/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); -- cgit v1.1