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