gcc/testsuite/gcc.target/aarch64/pr94072.c

/* { dg-options "-msve-vector-bits=512" } */

#pragma GCC target "+nosve"

void
foo (void)
{
  (int __attribute__ ((__vector_size__ (64)))){};
}