blob: 9dcee3e23384cfd2b745a7cce14f0843d552e0f8 [file] [log] [blame]
/* PR optimization/8613 */
/* Contributed by Glen Nakamura */
extern void abort (void);
int main (void)
{
char buf[16] = "1234567890";
char *p = buf;
*p++ = (char) __builtin_strlen (buf);
if ((buf[0] != 10) || (p - buf != 1))
abort ();
return 0;
}