extern void abort (void);
typedef __SIZE_TYPE__ size_t;
extern size_t strlen (const char *);
extern char *strcpy (char *, const char *);
int
main ()
{
char str[8];
char *ptr;
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 ();
return 0;
}
#ifdef __OPTIMIZE__
static size_t
strlen (const char *s)
{
abort ();
}
#endif