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

gcc/ChangeLog

 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.

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.  */

gcc/testsuite/ChangeLog

 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.
 

gcc/testsuite/g++.dg/opt/pr61654.C

+// 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;
+}