diff options
author | Richard Biener <rguenther@suse.de> | 2014-05-05 09:28:39 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-05-05 09:28:39 +0000 |
commit | 7e7f8713ea1d2be35a20892f4fbd4c87149aa0ac (patch) | |
tree | 1de4702fc0726902edfe3db14daf19a22f9dcc39 | |
parent | 7e2c9f14348d8ed9192a94b269138a5a5f57b92a (diff) | |
download | gcc-7e7f8713ea1d2be35a20892f4fbd4c87149aa0ac.zip gcc-7e7f8713ea1d2be35a20892f4fbd4c87149aa0ac.tar.gz gcc-7e7f8713ea1d2be35a20892f4fbd4c87149aa0ac.tar.bz2 |
passes.c (execute_function_todo): Move TODO_verify_flow under the TODO_verify_ul umbrella.
2014-05-05 Richard Biener <rguenther@suse.de>
* passes.c (execute_function_todo): Move TODO_verify_flow under
the TODO_verify_ul umbrella.
From-SVN: r210068
-rw-r--r-- | gcc/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/passes.c | 10 |
2 files changed, 10 insertions, 5 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 18959f6..87d7141 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2014-05-05 Richard Biener <rguenther@suse.de> + * passes.c (execute_function_todo): Move TODO_verify_flow under + the TODO_verify_ul umbrella. + +2014-05-05 Richard Biener <rguenther@suse.de> + PR middle-end/61010 * fold-const.c (fold_binary_loc): Consistently avoid canonicalizing X & CST away from a CST that is the mask 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); |