diff options
| author | Richard Guenther <rguenther@suse.de> | 2012-02-24 11:38:39 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2012-02-24 11:38:39 +0000 |
| commit | 6ae4eccdca78d0a584dcabbd84f6876c8b871e37 (patch) | |
| tree | a43602944daa36b090466acb8069831474b9ee29 /gcc/passes.c | |
| parent | bf948210a7cc658d936ecc4e9e9a5c206336217c (diff) | |
| download | gcc-6ae4eccdca78d0a584dcabbd84f6876c8b871e37.zip gcc-6ae4eccdca78d0a584dcabbd84f6876c8b871e37.tar.gz gcc-6ae4eccdca78d0a584dcabbd84f6876c8b871e37.tar.bz2 | |
re PR tree-optimization/52361 (gcc.dg/pr48141.c times out with checking enabled)
2012-02-24 Richard Guenther <rguenther@suse.de>
PR middle-end/52361
* passes.c (execute_function_todo): When verifying SSA form
verify gimple form first.
* tree-ssa.c (verify_ssa): Do not verify gimple form here.
From-SVN: r184549
Diffstat (limited to 'gcc/passes.c')
| -rw-r--r-- | gcc/passes.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/passes.c b/gcc/passes.c index bd10cbc..6e58d8b 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -1724,11 +1724,14 @@ execute_function_todo (void *data) #if defined ENABLE_CHECKING if (flags & TODO_verify_ssa || (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA))) - verify_ssa (true); + { + verify_gimple_in_cfg (cfun); + verify_ssa (true); + } + else if (flags & TODO_verify_stmts) + verify_gimple_in_cfg (cfun); if (flags & TODO_verify_flow) verify_flow_info (); - if (flags & TODO_verify_stmts) - verify_gimple_in_cfg (cfun); if (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)) verify_loop_closed_ssa (false); if (flags & TODO_verify_rtl_sharing) |