1 /* PR c/17297 */
2 
3 typedef float V2SF __attribute__ ((vector_size (8)));
4 
5 int test0 (V2SF, V2SF);
6 
7 int
main(void)8 main (void)
9 {
10   V2SF a = (V2SF) {1.0f/0.0f - 1.0f/0.0f, 1.0f/0.0f - 1.0f/0.0f};
11   V2SF b = (V2SF) {567.345, 1984.0};
12   int i;
13 
14   i = test0 (a, b);
15   return i;
16 }
17