1  /* { dg-do run } */
       2  /* { dg-additional-options "-ftree-vectorize" } */
       3  
       4  int g1;
       5  unsigned int g2 = -1U;
       6  static void __attribute__((noipa))
       7  func_1()
       8  {
       9    int *l_1 = &g1;
      10    for (int g3a = 0; g3a != 4; g3a++)
      11      for (int l_2 = 0; l_2 <= 3; l_2++)
      12        {
      13          unsigned int *l_3 = &g2;
      14          *l_1 = *l_3 ^= 1;
      15        }
      16  }
      17  int
      18  main()
      19  {
      20    func_1();
      21    if (g1 != -1)
      22      __builtin_abort ();
      23    return 0;
      24  }