1 /* PR tree-optimization/72824 */
2 
3 static inline void
foo(float * x,float value)4 foo (float *x, float value)
5 {
6   int i;
7   for (i = 0; i < 32; ++i)
8     x[i] = value;
9 }
10 
11 int
main()12 main ()
13 {
14   float x[32];
15   foo (x, -0.f);
16   if (__builtin_copysignf (1.0, x[3]) != -1.0f)
17     __builtin_abort ();
18   return 0;
19 }
20