From 7e7f8713ea1d2be35a20892f4fbd4c87149aa0ac Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Mon, 5 May 2014 09:28:39 +0000 Subject: 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/passes.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'gcc/passes.c') diff --git a/gcc/passes.c b/gcc/passes.c index dbff587..30c849f 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); -- cgit v1.1