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