1  /* { dg-do compile } */
       2  /* { dg-additional-options "-O3" } */
       3  /* { dg-additional-options "-march=armv8.2-a+sve -msve-vector-bits=128" { target aarch64-*-* } } */
       4  
       5  int a, b;
       6  char c;
       7  signed char d(int e, int f) { return e - f; }
       8  void g() {
       9    a = 0;
      10    for (; a >= -17; a = d(a, 1))
      11      c ^= b;
      12  }