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