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