/* PR middle-end/57748 */
/* { dg-do run } */
/* wrong code in expand_assignment:
   misalignp == true, !MEM_P (to_rtx),
   offset == 0, bitpos >= GET_MODE_PRECISION,
   => result = NULL.  */

#include <stdlib.h>

extern void abort (void);

typedef long long V
  __attribute__ ((vector_size (2 * sizeof (long long)), may_alias));

typedef struct S { V a; V b[0]; } P __attribute__((aligned (1)));

struct __attribute__((packed)) T { char c; P s; };

void __attribute__((noinline, noclone))
check (struct T *t)
{
  if (t->s.b[0][0] != 3 || t->s.b[0][1] != 4)
    abort ();
}

void __attribute__((noinline, noclone))
foo (P *p)
{
  V a = { 3, 4 };
  p->b[0] = a;
}

int
main ()
{
  struct T *t = (struct T *) calloc (128, 1);

  foo (&t->s);
  check (t);

  free (t);
  return 0;
}