gcc/testsuite/gcc.dg/torture/pr84417.c

/* { dg-do compile } */
/* { dg-require-effective-target int32plus } */

void fn1()
{
  __attribute__((__vector_size__(sizeof(double)))) double x;
  double *a = (double *)&x;
  *a + *(a + 8446744073709551615LL);
}