re PR tree-optimization/47714 (verify_ssa fails with error: invalid argument to gimpl...

2011-03-09  Martin Jambor  <mjambor@suse.cz>

	PR tree-optimization/47714
	* cp/method.c (use_thunk): Clear addressable flag of thunk arguments.

	* testsuite/g++.dg/torture/pr47714.C: New test.

From-SVN: r170822

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 68f04e15eac414205cbd025544c08f67e7aebc7a..b0adb8f7af690840151d7f7edb6d16dda5f464f3 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,8 @@
+2011-03-09  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/47714
+       * method.c (use_thunk): Clear addressable flag of thunk arguments.
+
 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
 
        PR c++/47705

diff --git a/gcc/cp/method.c b/gcc/cp/method.c
index a4c2dd1b41573d46187868a419ee781e8fbfa468..d70da95ce90beb56b1df5ffc64dce5053d398dc7 100644 (file)
--- a/gcc/cp/method.c
+++ b/gcc/cp/method.c
@@ -372,6 +372,7 @@ use_thunk (tree thunk_fndecl, bool emit_p)
       DECL_CONTEXT (x) = thunk_fndecl;
       SET_DECL_RTL (x, NULL);
       DECL_HAS_VALUE_EXPR_P (x) = 0;
+      TREE_ADDRESSABLE (x) = 0;
       t = x;
     }
   a = nreverse (t);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 78730576e0e4c7a0c3221af3f0b03d5a6261e34a..ba746dab75280d49592007cecc1b2780d3cf9ccd 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-03-09  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/47714
+       * g++.dg/torture/pr47714.C: New test.
+
 2011-03-08  Michael Meissner  <meissner@linux.vnet.ibm.com>
 
        PR target/47755

diff --git a/gcc/testsuite/g++.dg/torture/pr47714.C b/gcc/testsuite/g++.dg/torture/pr47714.C
new file mode 100644 (file)
index 0000000..4ff2eee
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/pr47714.C
@@ -0,0 +1,16 @@
+struct A { virtual ~A () {} };
+struct B { virtual ~B () {} };
+struct C { virtual const A *foo (int) const = 0; };
+struct E : public B, public A { };
+struct F : public C
+{
+  virtual const E *foo (int) const;
+};
+void bar (int &);
+
+const E *
+F::foo (int x) const
+{
+  bar (x);
+  return __null;
+}