1  #include "tree-vect.h"
       2  
       3  unsigned b[1024];
       4  
       5  int __attribute__((noipa))
       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  
      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  }