From edb29996a50b9623dc244178b2d5e734cd89f9a7 Mon Sep 17 00:00:00 2001
From: Jan Hubicka <jh@suse.cz>
Date: Wed, 10 Nov 2010 21:38:15 +0100
Subject: [PATCH] re PR rtl-optimization/33172 (Optimizer fails to elid away
 unreferenced static function)

	PR tree-optimize/33172
	PR tree-optimize/43411
	* gcc.dg/tree-ssa/pr33172.c: New testcase.
	* g++.dg/tree-ssa/pr43411.C: New testcase.

From-SVN: r166557
---
 gcc/testsuite/ChangeLog                 |  7 +++++
 gcc/testsuite/g++.dg/tree-ssa/pr43411.C | 29 +++++++++++++++++
 gcc/testsuite/gcc.dg/tree-ssa/pr33172.c | 42 +++++++++++++++++++++++++
 3 files changed, 78 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/tree-ssa/pr43411.C
 create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/pr33172.c

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 661e55bd7bc..0d711956ced 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2010-11-10  Jan Hubicka  <jh@suse.cz>
+
+	PR tree-optimize/33172
+	PR tree-optimize/43411
+	* gcc.dg/tree-ssa/pr33172.c: New testcase.
+	* g++.dg/tree-ssa/pr43411.C: New testcase.
+
 2010-11-10  Jan Hubicka  <jh@suse.cz>
 
 	PR tree-optimize/46228
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr43411.C b/gcc/testsuite/g++.dg/tree-ssa/pr43411.C
new file mode 100644
index 00000000000..fcf13587fe4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/tree-ssa/pr43411.C
@@ -0,0 +1,29 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+class P { public: virtual int val() { return 123; } };
+class Psub : public P { };
+
+extern int sink1, sink2;
+
+void test() {
+    Psub p;
+    P &pRef = p;
+    sink1 = p.val();
+    sink2 = pRef.val();
+}
+
+
+inline int v(P &p) { return p.val(); }
+
+void testInlineP() {
+    P p;
+    sink1 = v(p);
+}
+
+void testInlinePsub() {
+    Psub p;
+    sink1 = v(p);
+}
+
+// { dg-final { scan-tree-dump-not "OBJ_TYPE_REF" "optimized" } }
+// { dg-final { cleanup-tree-dump "optimized" } }
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr33172.c b/gcc/testsuite/gcc.dg/tree-ssa/pr33172.c
new file mode 100644
index 00000000000..17a40d4a33d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr33172.c
@@ -0,0 +1,42 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+
+struct abc {
+    void (*abc_call)(void);
+};
+
+/*
+ * Use only any one of the three definitions below at a time:
+ *
+ * 1. nothing optimized away. Good.
+ * 2. call_func() _not_ optimized away, but struct xyz is. gcc disappoints.
+ * 3. both call_func() and struct xyz optimized away. Nice.
+ */
+
+/* 1 */
+/*extern int do_register(struct abc *xyz);*/
+
+/* 2 */
+static inline int do_register(struct abc *xyz)
+{
+    return 0;
+}
+
+/* 3 */
+/*#define do_register(xyz)    do { (void)(xyz); } while (0)*/
+
+static void call_func(void)
+{
+}
+
+static struct abc xyz = {
+    .abc_call = call_func,
+};
+
+void func(void)
+{
+    do_register(&xyz);
+}
+
+/* { dg-final { scan-tree-dump-not "call_func" "optimized"} } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */
-- 
2.30.2