1/* { dg-do compile } */
2/* { dg-options "-W -mcpu=8540 -mspe -mabi=spe -mfloat-gprs=single" } */
3/* { dg-skip-if "not an SPE target" { ! powerpc_spe_nocache } { "*" } { "" } } */
4
5#define __vector __attribute__((vector_size(8)))
6
7typedef float                   __vector __ev64_fs__;
8
9__ev64_opaque__ *p1;
10__ev64_fs__ *p2;
11int *x;
12
13extern void f (__ev64_opaque__ *); /* { dg-message "expected.*but argument is of type" } */
14
15int main ()
16{
17	f (x);	/* { dg-warning "incompatible pointer type" } */
18	f (p1);
19	f (p2);
20	return 0;
21}
22