1 files changed, 52 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/tree-ssa/ssa-sra-2.C b/gcc-4.9/gcc/testsuite/g++.dg/tree-ssa/ssa-sra-2.C
new file mode 100644
index 000000000..d73787018
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/g++.dg/tree-ssa/ssa-sra-2.C
@@ -0,0 +1,52 @@
+/* { dg-do compile } */
+/* { dg-options "-O1 -fdump-tree-optimized" } */
+
+void link_error();
+
+struct OOf {
+        int value;
+        OOf() {value = 0;}
+};
+inline OOf operator+(OOf op1, OOf op2)
+{
+        OOf f;
+        f.value = op1.value + op2.value;
+        return f;
+}
+inline OOf operator*(OOf op1, OOf op2)
+{
+        OOf f;
+        f.value = op1.value * op2.value;
+        return f;
+}
+inline OOf operator-(OOf op1, OOf op2)
+{
+        OOf f;
+        f.value = op1.value - op2.value;
+        return f;
+}
+inline OOf test_func(
+        OOf a,
+        OOf b,
+        OOf c
+)
+{
+        OOf d, e;
+        OOf result;
+        d = a * b + b * c;
+        e = a * c - b * d;
+        result = d * e;
+        return result;
+}
+
+void test()
+{
+  OOf a, b, c;
+  OOf d = test_func (a,b,c);
+  if (d.value)
+    link_error();
+}
+
+/* We should have removed the casts from pointers to references and caused SRA to happen.  */
+/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */