1  /* { dg-do run } */
       2  
       3  #include "tree-vect.h"
       4  
       5  int a = 0;
       6  static int b = 0;
       7  long c = 0;
       8  
       9  int
      10  main()
      11  {
      12    check_vect ();
      13    for (int d = 0; d < 8; d++)
      14      {
      15        a ^= c;
      16        b = a;
      17        a ^= 1;
      18      }
      19    if (a != 0 || b != 1)
      20      __builtin_abort();
      21    return 0;
      22  }