This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[patch] Obvious: Fix DF solution dirty marking in cfg.c:disconnect_src


Hello,

It makes no sense to mark DF solutions dirty on the gcc_unreachable()
path but not on the return path.

Bootstrapped&tested on x86_64-unknown-linux-gnu and
powerpc64-unknown-linux-gnu. I'll this, as obvious, some time late
next week unless I hear objections.

Ciao!
Steven


	* cfg.c (disconnect_src): Do df_mark_solutions_dirty in the right place.

Index: cfg.c
===================================================================
--- cfg.c	(revision 186897)
+++ cfg.c	(working copy)
@@ -242,13 +242,13 @@ disconnect_src (edge e)
       if (tmp == e)
 	{
 	  VEC_unordered_remove (edge, src->succs, ei.index);
+	  df_mark_solutions_dirty ();
 	  return;
 	}
       else
 	ei_next (&ei);
     }

-  df_mark_solutions_dirty ();
   gcc_unreachable ();
 }


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]