re PR ipa/71146 (error: __builtin_unreachable or __builtin_trap call with arguments)

	PR ipa/71146
	* tree-inline.c (expand_call_inline): Call
	maybe_remove_unused_call_args.

	* g++.dg/ipa/pr71146.C: New test.

From-SVN: r236343

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b21421ceb8b91640dc5efc9e03bb67e38e3c6def..76c40aef677d589634f284c1c470a9f6d92599c9 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-05-17  Marek Polacek  <polacek@redhat.com>
+
+       PR ipa/71146
+       * tree-inline.c (expand_call_inline): Call
+       maybe_remove_unused_call_args.
+
 2016-05-17  Jim Wilson  <jim.wilson@linaro.org>
 
        * doc/cpp.texi (__GNUC__): Major version changes are no longer rare.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cb5940e2c904dad545be30e0c2b311e998490c6c..3b4d72c0da8a605f5f80a0faf83658ec1527153b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-05-17  Marek Polacek  <polacek@redhat.com>
+
+       PR ipa/71146
+       * g++.dg/ipa/pr71146.C: New test.
+
 2016-05-17  David Malcolm  <dmalcolm@redhat.com>
 
        * jit.dg/test-error-array-bounds.c: New test case.

diff --git a/gcc/testsuite/g++.dg/ipa/pr71146.C b/gcc/testsuite/g++.dg/ipa/pr71146.C
new file mode 100644 (file)
index 0000000..b6bd64f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ipa/pr71146.C
@@ -0,0 +1,29 @@
+// PR ipa/71146
+// { dg-do compile }
+// { dg-options "-O3" }
+
+typedef enum { X } E;
+struct A {
+  virtual void bar ();
+};
+struct B {
+  virtual E fn (const char *, int, int *) = 0;
+};
+struct C : A, B {
+  E fn (const char *, int, int *);
+  void fn2 ();
+  B *foo;
+};
+void C::fn2 () {
+  if (!foo)
+    return;
+  foo->fn (0, 0, 0);
+}
+E
+C::fn (const char *, int, int *)
+{
+  fn2 ();
+  foo = 0;
+  fn (0, 0, 0);
+  return X;
+}

diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c
index 85ed2c2e84ea0fc2712e6ce97051d5edf726e415..954dac3048705056d0a230bfabf24d7679a9ce1c 100644 (file)
--- a/gcc/tree-inline.c
+++ b/gcc/tree-inline.c
@@ -4486,6 +4486,7 @@ expand_call_inline (basic_block bb, gimple *stmt, copy_body_data *id)
       update_stmt (stmt);
       id->src_node->remove ();
       expand_call_inline (bb, stmt, id);
+      maybe_remove_unused_call_args (cfun, stmt);
       return true;
     }
   fn = cg_edge->callee->decl;