/* { dg-do compile { target powerpc-*-eabi* } } */
/* { dg-options "-W" } */

#define __vector __attribute__((vector_size(8)))

typedef float                   __vector __ev64_fs__;
typedef int                     __vector __ev64_opaque__;

__ev64_opaque__ *p1;
__ev64_fs__ *p2;
int *x;

extern void f (__ev64_opaque__ *);

int main ()
{
	f (x);	/* { dg-warning "incompatible pointer type" } */
	f (p1);
	f (p2);
	return 0;
}