summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2022-04-13 21:56:03 -0400
committerJason Merrill <jason@redhat.com>2022-05-13 13:39:31 -0400
commit2a9658132c449e48e1c3532190c8ab72f4bbe788 (patch)
tree3eb71bad235eaa1098ed4fbf9a5f1936f017a857
parentde0b78d1e75e9483b4550abc38b9199c96465dc5 (diff)
c++: alignment of local typedef in template [PR65211]
Because common_handle_aligned_attribute only applies the alignment to the TREE_TYPE of a typedef, not the DECL_ORIGINAL_TYPE, we need to copy it explicitly in tsubst. PR c++/65211 gcc/cp/ChangeLog: * pt.c (tsubst_decl) [TYPE_DECL]: Copy TYPE_ALIGN. gcc/testsuite/ChangeLog: * g++.target/i386/vec-tmpl1.C: New test.
-rw-r--r--gcc/cp/pt.c7
-rw-r--r--gcc/testsuite/g++.target/i386/vec-tmpl1.C17
2 files changed, 24 insertions, 0 deletions
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 62ea5c4d8e5..eeee23181fc 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -14095,6 +14095,13 @@ tsubst_decl (tree t, tree args, tsubst_flags_t complain)
{
DECL_ORIGINAL_TYPE (r) = NULL_TREE;
set_underlying_type (r);
+
+ /* common_handle_aligned_attribute doesn't apply the alignment
+ to DECL_ORIGINAL_TYPE. */
+ if (TYPE_USER_ALIGN (TREE_TYPE (t)))
+ TREE_TYPE (r) = build_aligned_type (TREE_TYPE (r),
+ TYPE_ALIGN (TREE_TYPE (t)));
+
if (TYPE_DECL_ALIAS_P (r))
/* An alias template specialization can be dependent
even if its underlying type is not. */
diff --git a/gcc/testsuite/g++.target/i386/vec-tmpl1.C b/gcc/testsuite/g++.target/i386/vec-tmpl1.C
new file mode 100644
index 00000000000..e0865e3515b
--- /dev/null
+++ b/gcc/testsuite/g++.target/i386/vec-tmpl1.C
@@ -0,0 +1,17 @@
+// PR c++/65211
+// { dg-additional-options "-Wno-psabi" }
+// { dg-final { scan-assembler-not "movdqa" } }
+
+typedef unsigned v4ui __attribute__ ((vector_size(16), aligned (16)));
+
+template<int I>
+static v4ui t1(unsigned *dest_data)
+{
+ typedef unsigned v4ui_1 __attribute__ ((vector_size (16), aligned (4)));
+ return ((const v4ui_1*)dest_data)[0];
+}
+
+v4ui f(unsigned int *array)
+{
+ return t1<1>(array+7);
+}