1/* PR optimization/8613 */
2/* Contributed by Glen Nakamura */
3
4extern void abort (void);
5
6int 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}
18