Call free_dominance_info when transformed in DCE (PR rtl-optimization/89242).

2019-02-14  Martin Liska  <mliska@suse.cz>

	PR rtl-optimization/89242
	* dce.c (delete_unmarked_insns): Call free_dominance_info we
	process a transformation.
2019-02-14  Martin Liska  <mliska@suse.cz>

	PR rtl-optimization/89242
	* g++.dg/pr89242.C: New test.

From-SVN: r268873

gcc/ChangeLog

+2019-02-14  Martin Liska  <mliska@suse.cz>
+
+	PR rtl-optimization/89242
+	* dce.c (delete_unmarked_insns): Call free_dominance_info we
+	process a transformation.
+
 2019-02-14  Jakub Jelinek  <jakub@redhat.com>
 
 	PR tree-optimization/89314

gcc/dce.c

@@ -652,6 +652,7 @@ delete_unmarked_insns (void)
     {
       gcc_assert (can_alter_cfg);
       delete_unreachable_blocks ();
+      free_dominance_info (CDI_DOMINATORS);
     }
 }
 

gcc/testsuite/ChangeLog

+2019-02-14  Martin Liska  <mliska@suse.cz>
+
+	PR rtl-optimization/89242
+	* g++.dg/pr89242.C: New test.
+
 2019-02-14  Jakub Jelinek  <jakub@redhat.com>
 
 	PR tree-optimization/89314

gcc/testsuite/g++.dg/pr89242.C

+// { dg-do compile }
+// { dg-options "-fno-rerun-cse-after-loop -ftrapv -fno-tree-loop-optimize -fdelete-dead-exceptions -fno-forward-propagate -fnon-call-exceptions -O2" }
+
+void bar (int n, char *p)
+{
+  try
+    {
+      n++;
+      for (int i = 0; i < n - 1; i++)
+	p[i];
+    }
+  catch (...)
+    {}
+}
+