1  /* { dg-do run } */
       2  /* { dg-additional-options "-fno-vect-cost-model" } */
       3  
       4  int a[8];
       5  int *b = &a[6];
       6  char c;
       7  int main()
       8  {
       9    int d = 7;
      10    for (; d >= 0; d--)
      11      {
      12        *b = 1;
      13        c = a[d] >> 3;
      14        a[d] = c;
      15      }
      16    if (a[6] != 1)
      17      __builtin_abort ();
      18    return 0;
      19  }