From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001
From: upstream source tree <ports@midipix.org>
Date: Sun, 15 Mar 2015 20:14:05 -0400
Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified
 gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream
 tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.
---
 gcc/testsuite/g++.dg/opt/alias4.C | 56 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 gcc/testsuite/g++.dg/opt/alias4.C

(limited to 'gcc/testsuite/g++.dg/opt/alias4.C')

diff --git a/gcc/testsuite/g++.dg/opt/alias4.C b/gcc/testsuite/g++.dg/opt/alias4.C
new file mode 100644
index 000000000..6965b8c73
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/alias4.C
@@ -0,0 +1,56 @@
+// PR c++/27768
+// Alias grouping was losing some may_aliases, causing us to think
+// the store to w.p was dead.
+
+// { dg-do run }
+// { dg-options "-O2" }
+
+int N = 1;
+
+struct VA
+{
+  int *p, *q, *r;
+
+  VA() : p(), q() {}
+  VA(const VA&) : p(), q() {}
+  ~VA() { if (p) --N; }
+};
+
+inline void foo(VA, VA, VA) {}
+
+struct VB
+{
+  VA va;
+
+  VB() {}
+
+  VB(const VB&)
+  {
+    va.p = new int(va.q - va.p);
+    va.r = va.p + (va.q - va.p);
+    foo(va, va, va);
+  }
+};
+
+struct VC : VB { char c; };
+struct V : VC {};
+
+struct WA
+{
+  struct X {};
+  X **p, **q, **r;
+
+  WA() : p() {}
+  ~WA() { if (p) --N; }
+};
+
+struct W : WA {};
+
+int main()
+{
+  {
+    V v, u(v);
+    W w;
+  }
+  return N;
+}
-- 
cgit v1.2.3