1  /* PR optimization/8613 */
       2  /* Contributed by Glen Nakamura */
       3  
       4  extern void abort (void);
       5   
       6  int main (void)
       7  {
       8    char buf[16] = "1234567890";
       9    char *p = buf;
      10  
      11    *p++ = (char) __builtin_strlen (buf);
      12  
      13    if ((buf[0] != 10) || (p - buf != 1))
      14      abort ();
      15  
      16    return 0;
      17  }