1  /* { dg-do compile } */
       2  
       3  void sink(const char*);
       4  static const char *a;
       5  int main()
       6  {
       7    const char *b = a;
       8    for (int i = 0; i < 2; ++i)
       9      while (*b++)
      10        ;
      11    sink(b);
      12    return 0;
      13  }