From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Sun, 5 Jun 2016 15:08:22 +0000 (+0000)
Subject: re PR c++/49377 (Template specialization attributes cause type mismatches when used)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c1c009833d16ef31784ab6df078722d178758e43;p=gcc.git

re PR c++/49377 (Template specialization attributes cause type mismatches when used)

2016-06-05  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/49377
	* g++.dg/template/pr49377.C: New.

From-SVN: r237098
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c272ade5809..f327b8243b5 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-06-05  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/49377
+	* g++.dg/template/pr49377.C: New.
+
 2016-06-04  Jakub Jelinek  <jakub@redhat.com>
 
 	PR tree-optimization/71405
diff --git a/gcc/testsuite/g++.dg/template/pr49377.C b/gcc/testsuite/g++.dg/template/pr49377.C
new file mode 100644
index 00000000000..cb4287ad1ac
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/pr49377.C
@@ -0,0 +1,16 @@
+// PR c++/49377
+
+template <typename T, int N> class v;
+
+template <typename T> class v<T,2> {
+    v() { };
+} __attribute__((__may_alias__));
+
+typedef v<float,2> float2;
+
+class a {
+    void f(float2 &point);
+    float2 d;
+};
+
+void a::f(float2 &point) { }