From: Jakub Jelinek <jakub@redhat.com>
Date: Fri, 4 Jul 2014 08:38:45 +0000 (+0200)
Subject: re PR middle-end/61654 (ICE in release_function_body, at cgraph.c:1699)
X-Git-Tag: releases/gcc-5.1.0~6497
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=253eab4f8b997af938ebb22a0ad73ac41de3f69b;p=thirdparty%2Fgcc.git

re PR middle-end/61654 (ICE in release_function_body, at cgraph.c:1699)

	PR middle-end/61654
	* cgraphunit.c (expand_thunk): Call free_dominance_info.

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

From-SVN: r212293
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 49652198a57a..f37d8f4e728e 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 2014-07-04  Jakub Jelinek  <jakub@redhat.com>
 
+	PR middle-end/61654
+	* cgraphunit.c (expand_thunk): Call free_dominance_info.
+
 	PR tree-optimization/61684
 	* tree-ssa-ifcombine.c (recognize_single_bit_test): Make sure
 	rhs1 of conversion is a SSA_NAME before using SSA_NAME_DEF_STMT on it.
diff --git a/gcc/cgraphunit.c b/gcc/cgraphunit.c
index f7980ed51151..b2bafe47612f 100644
--- a/gcc/cgraphunit.c
+++ b/gcc/cgraphunit.c
@@ -1693,6 +1693,7 @@ expand_thunk (struct cgraph_node *node, bool output_asm_thunks, bool force_gimpl
 #ifdef ENABLE_CHECKING
       verify_flow_info ();
 #endif
+      free_dominance_info (CDI_DOMINATORS);
 
       /* Since we want to emit the thunk, we explicitly mark its name as
 	 referenced.  */
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5eee71793193..02e8b93d08f2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2014-07-04  Jakub Jelinek  <jakub@redhat.com>
 
+	PR middle-end/61654
+	* g++.dg/opt/pr61654.C: New test.
+
 	PR tree-optimization/61684
 	* gcc.c-torture/compile/pr61684.c: New test.
 
diff --git a/gcc/testsuite/g++.dg/opt/pr61654.C b/gcc/testsuite/g++.dg/opt/pr61654.C
new file mode 100644
index 000000000000..78dc0c14cfd7
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/pr61654.C
@@ -0,0 +1,27 @@
+// PR middle-end/61654
+// { dg-do compile }
+
+class A
+{
+  virtual int a (int, int = 0) = 0;
+  int b (const int &);
+  int c;
+};
+
+class B : virtual A
+{
+  int d;
+  int a (int, int);
+};
+
+int
+A::b (const int &)
+{
+  return a ('\0');
+}
+
+int
+B::a (int, int)
+{
+  return 0 ? 0 : d;
+}