From 7e7f8713ea1d2be35a20892f4fbd4c87149aa0ac Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 5 May 2014 09:28:39 +0000 Subject: [PATCH] passes.c (execute_function_todo): Move TODO_verify_flow under the TODO_verify_ul umbrella. 2014-05-05 Richard Biener * passes.c (execute_function_todo): Move TODO_verify_flow under the TODO_verify_ul umbrella. From-SVN: r210068 --- gcc/ChangeLog | 5 +++++ gcc/passes.c | 10 +++++----- 2 files changed, 10 insertions(+), 5 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 18959f6eacb5..87d71416a785 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2014-05-05 Richard Biener + + * passes.c (execute_function_todo): Move TODO_verify_flow under + the TODO_verify_ul umbrella. + 2014-05-05 Richard Biener PR middle-end/61010 diff --git a/gcc/passes.c b/gcc/passes.c index dbff5875a5d9..30c849fce390 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -1783,11 +1783,11 @@ execute_function_todo (function *fn, void *data) /* IPA passes leave stmts to be fixed up, so make sure to not verify SSA operands whose verifier will choke on that. */ verify_ssa (true, !from_ipa_pass); - } - if (flags & TODO_verify_flow) - verify_flow_info (); - if (flags & TODO_verify_il) - { + /* IPA passes leave basic-blocks unsplit, so make sure to + not trip on that. */ + if ((cfun->curr_properties & PROP_cfg) + && !from_ipa_pass) + verify_flow_info (); if (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)) verify_loop_closed_ssa (false); -- 2.47.3