From: Richard Guenther Date: Fri, 24 Feb 2012 11:38:39 +0000 (+0000) Subject: re PR tree-optimization/52361 (gcc.dg/pr48141.c times out with checking enabled) X-Git-Tag: releases/gcc-4.7.0~220 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=6ae4eccdca78d0a584dcabbd84f6876c8b871e37;p=thirdparty%2Fgcc.git re PR tree-optimization/52361 (gcc.dg/pr48141.c times out with checking enabled) 2012-02-24 Richard Guenther 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 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 06139aea18bd..eadd6d4844e4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2012-02-24 Richard Guenther + + 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. + 2012-02-24 Richard Guenther PR middle-end/52355 diff --git a/gcc/passes.c b/gcc/passes.c index bd10cbc0d867..6e58d8bbd512 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) diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index fb2c005e8b70..08f908f6a6c4 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -925,8 +925,6 @@ verify_ssa (bool check_modified_stmt) gcc_assert (!need_ssa_update_p (cfun)); - verify_gimple_in_cfg (cfun); - timevar_push (TV_TREE_SSA_VERIFY); /* Keep track of SSA names present in the IL. */