1/* Copyright (C) 2000  Free Software Foundation.
2
3   Ensure builtin memcpy and strcpy perform correctly.
4
5   Written by Jakub Jelinek, 11/24/2000.  */
6
7extern void abort (void);
8extern char *strcpy (char *, const char *);
9typedef __SIZE_TYPE__ size_t;
10extern void *memcpy (void *, const void *, size_t);
11extern int memcmp (const void *, const void *, size_t);
12
13char p[32] = "";
14
15void
16main_test (void)
17{
18  if (strcpy (p, "abcde") != p || memcmp (p, "abcde", 6))
19    abort ();
20  if (strcpy (p + 16, "vwxyz" + 1) != p + 16 || memcmp (p + 16, "wxyz", 5))
21    abort ();
22  if (strcpy (p + 1, "") != p + 1 || memcmp (p, "a\0cde", 6))
23    abort ();
24  if (strcpy (p + 3, "fghij") != p + 3 || memcmp (p, "a\0cfghij", 9))
25    abort ();
26  if (memcpy (p, "ABCDE", 6) != p || memcmp (p, "ABCDE", 6))
27    abort ();
28  if (memcpy (p + 16, "VWX" + 1, 2) != p + 16 || memcmp (p + 16, "WXyz", 5))
29    abort ();
30  if (memcpy (p + 1, "", 1) != p + 1 || memcmp (p, "A\0CDE", 6))
31    abort ();
32  if (memcpy (p + 3, "FGHI", 4) != p + 3 || memcmp (p, "A\0CFGHIj", 9))
33    abort ();
34
35  /* Test at least one instance of the __builtin_ style.  We do this
36     to ensure that it works and that the prototype is correct.  */
37  if (__builtin_strcpy (p, "abcde") != p || memcmp (p, "abcde", 6))
38    abort ();
39  if (__builtin_memcpy (p, "ABCDE", 6) != p || memcmp (p, "ABCDE", 6))
40    abort ();
41}
42