1 #include "tree-vect.h"
2 
3 unsigned b[1024];
4 
5 int __attribute__((noipa))
foo(int n)6 foo (int n)
7 {
8   int res = 0;
9   for (int i = 0; i < n; ++i)
10     res = res > b[i] ? res : b[i];
11   return res;
12 }
13 
main()14 int main ()
15 {
16   check_vect ();
17   b[15] = (unsigned)__INT_MAX__ + 1;
18   if (foo (16) != -__INT_MAX__ - 1)
19     __builtin_abort ();
20   return 0;
21 }
22