extern void abort (void);
extern __SIZE_TYPE__ strlen (const char *);
extern char *strcpy (char *, const char *);
int x = 6;
void
main_test(void)
{
const char *const foo = "hello world";
char str[8];
char *ptr;
if (strlen (foo) != 11)
abort ();
if (strlen (foo + 4) != 7)
abort ();
if (strlen (foo + (x++ & 7)) != 5)
abort ();
if (x != 7)
abort ();
ptr = str;
strcpy (ptr, "nts");
if (strlen (ptr) == 0)
abort ();
strcpy (ptr, "nts");
if (strlen (ptr) < 1)
abort ();
strcpy (ptr, "nts");
if (strlen (ptr) <= 0)
abort ();
strcpy (ptr, "nts");
if (strlen (ptr+3) != 0)
abort ();
strcpy (ptr, "nts");
if (strlen (ptr+3) > 0)
abort ();
strcpy (ptr, "nts");
if (strlen (str+3) >= 1)
abort ();
if (__builtin_strlen (foo) != 11)
abort ();
}