[Bug rtl-optimization/88593] internal compiler error: in verify_dominators, at dominance.c:1184

[hjl.tools at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88593

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2018-12-25
   Target Milestone|---                         |9.0
     Ever confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> ---
This patch:

diff --git a/gcc/mode-switching.c b/gcc/mode-switching.c
index 589fbeb0742..7c82d7a4b6f 100644
--- a/gcc/mode-switching.c
+++ b/gcc/mode-switching.c
@@ -509,6 +509,10 @@ optimize_mode_switching (void)
   basic_block pre_exit = 0;
   struct edge_list *edge_list = 0;

+  /* Mode switching doesn't use dominane info but can invalidate it in
+     different ways.  For simplicity, free dominance info here.  */
+  free_dominance_info (CDI_DOMINATORS);
+
   /* These bitmaps are used for the LCM algorithm.  */
   sbitmap *kill, *del, *insert, *antic, *transp, *comp;
   sbitmap *avin, *avout;

fixes ICE.