PR middle-end/56113

	* fwprop.c (fwprop_init): Set up loops without CFG modifications.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195632 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 4 insertions, 4 deletions

diff --git a/gcc/fwprop.c b/gcc/fwprop.c
index a055fd041e0..6a82deabfd1 100644
--- a/gcc/fwprop.c
+++ b/gcc/fwprop.c
@@ -1404,10 +1404,10 @@ fwprop_init (void)
   calculate_dominance_info (CDI_DOMINATORS);
 
   /* We do not always want to propagate into loops, so we have to find
-     loops and be careful about them.  But we have to call flow_loops_find
-     before df_analyze, because flow_loops_find may introduce new jump
-     insns (sadly) if we are not working in cfglayout mode.  */
-  loop_optimizer_init (0);
+     loops and be careful about them.  Avoid CFG modifications so that
+     we don't have to update dominance information afterwards for
+     build_single_def_use_links.  */
+  loop_optimizer_init (AVOID_CFG_MODIFICATIONS);
 
   build_single_def_use_links ();
   df_set_flags (DF_DEFER_INSN_RESCAN);