PR middle-end/61654

	* cgraphunit.c (expand_thunk): Call free_dominance_info.

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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212293 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4965219..f37d8f4 100644 (file)
--- 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 f7980ed..b2bafe4 100644 (file)
--- 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 5eee717..02e8b93 100644 (file)
--- 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 (file)
index 0000000..78dc0c1
--- /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;
+}