1  #include "tree-vect.h"
       2  
       3  void __attribute__ ((noipa))
       4  f1 (_Bool *x, unsigned short *y)
       5  {
       6    x[0] = (y[0] == 1);
       7    x[1] = (y[1] == 1);
       8  }
       9  
      10  void __attribute__ ((noipa))
      11  f2 (_Bool *x, unsigned short *y)
      12  {
      13    x[0] = (y[0] == 1);
      14    x[1] = (y[1] == 1);
      15    x[2] = (y[2] == 1);
      16    x[3] = (y[3] == 1);
      17    x[4] = (y[4] == 1);
      18    x[5] = (y[5] == 1);
      19    x[6] = (y[6] == 1);
      20    x[7] = (y[7] == 1);
      21  }
      22  
      23  _Bool x[8];
      24  unsigned short y[8] = { 11, 1, 9, 5, 1, 44, 1, 1 };
      25  
      26  int
      27  main (void)
      28  {
      29    check_vect ();
      30  
      31    f1 (x, y);
      32  
      33    if (x[0] || !x[1])
      34      __builtin_abort ();
      35  
      36    x[1] = 0;
      37  
      38    f2 (x, y);
      39  
      40    if (x[0] || !x[1] || x[2] | x[3] || !x[4] || x[5] || !x[6] || !x[7])
      41      __builtin_abort ();
      42  
      43    return 0;
      44  }