1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_int } */
       3  
       4  int const_bar (void) __attribute__ ((__const__));
       5  int pure_bar (void) __attribute__ ((__pure__));
       6  
       7  int foo (void)
       8  {
       9    int i = 0, x = 0;
      10    for (; i < 100; i++)
      11      {
      12  	x += const_bar ();
      13  	x += pure_bar ();
      14      }
      15    return x;
      16  }
      17