re PR rtl-optimization/91164 (ICE in verify_dominators, at dominance.c:1184 (error: dominator of 114 should be 112, not 16))

	PR rtl-optimization/91164
	* dse.c (rest_of_handle_dse): If dead edges have been purged,
	invalidate dominance info.

	* g++.dg/opt/pr91164.C: New test.

From-SVN: r273522

1 files changed, 4 insertions, 1 deletions

diff --git a/gcc/dse.c b/gcc/dse.c
index a1c7e3b..8d7358d 100644
--- a/gcc/dse.c
+++ b/gcc/dse.c
@@ -3621,7 +3621,10 @@ rest_of_handle_dse (void)
   if ((locally_deleted || globally_deleted)
       && cfun->can_throw_non_call_exceptions
       && purge_all_dead_edges ())
-    cleanup_cfg (0);
+    {
+      free_dominance_info (CDI_DOMINATORS);
+      cleanup_cfg (0);
+    }
 
   return 0;
 }