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 c272ade580901b8e6bfa0441280758340bd2dfaf..f327b8243b5156d19f1f367bf5398c8135af4e6e 100644 (file)
--- 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 (file)
index 0000000..cb4287a
--- /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) { }