http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60819
--- Comment #5 from Marc Glisse <glisse at gcc dot gnu.org> ---
typedef int v2si __attribute__((vector_size (8),may_alias));
typedef short v4hi __attribute__((vector_size (8),may_alias));
int f (v2si __A, int __N)
{ return (*(v4hi*)&__A)[__N]; }
also fails.
Reading the documentation of may_alias, I have the impression that this example
is doing exactly what may_alias is supposed to allow, no?
