1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr52419.c b/gcc/testsuite/gcc.dg/torture/pr52419.c
new file mode 100644
index 00000000000..d24225a3ea7
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr52419.c
@@ -0,0 +1,32 @@
+/* PR middle-end/52419 */
+/* { dg-do run } */
+
+extern void abort (void);
+
+typedef long long V
+  __attribute__ ((vector_size (2 * sizeof (long long)), may_alias));
+
+typedef struct S { V b; } P __attribute__((aligned (1)));
+
+struct __attribute__((packed)) T { char c; P s; };
+
+__attribute__((noinline, noclone)) void
+foo (P *p)
+{
+  p->b[1] = 5;
+}
+
+int
+main ()
+{
+  V a = { 3, 4 };
+  struct T t;
+
+  t.s.b = a;
+  foo (&t.s);
+
+  if (t.s.b[0] != 3 || t.s.b[1] != 5)
+    abort ();
+
+  return 0;
+}