tests: add signature checks
[gnulib.git] / tests / test-memcmp.c
1 /*
2  * Copyright (C) 2008-2009 Free Software Foundation
3  * Written by Simon Josefsson
4  *
5  * This program is free software: you can redistribute it and/or modify
6  * it under the terms of the GNU General Public License as published by
7  * the Free Software Foundation; either version 3 of the License, or
8  * (at your option) any later version.
9  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
17
18 #include <config.h>
19
20 #include <string.h>
21
22 #include "signature.h"
23 SIGNATURE_CHECK (memcmp, int, (void const *, void const *, size_t));
24
25 #include <stdio.h>
26 #include <stdlib.h>
27
28 #include "zerosize-ptr.h"
29
30 #define ASSERT(expr) \
31   do                                                                         \
32     {                                                                        \
33       if (!(expr))                                                           \
34         {                                                                    \
35           fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
36           fflush (stderr);                                                   \
37           abort ();                                                          \
38         }                                                                    \
39     }                                                                        \
40   while (0)
41
42 int
43 main (void)
44 {
45   /* Test equal / not equal distinction.  */
46   ASSERT (memcmp (zerosize_ptr (), zerosize_ptr (), 0) == 0);
47   ASSERT (memcmp ("foo", "foobar", 2) == 0);
48   ASSERT (memcmp ("foo", "foobar", 3) == 0);
49   ASSERT (memcmp ("foo", "foobar", 4) != 0);
50   ASSERT (memcmp ("foo", "bar", 1) != 0);
51   ASSERT (memcmp ("foo", "bar", 3) != 0);
52
53   /* Test less / equal / greater distinction.  */
54   ASSERT (memcmp ("foo", "moo", 4) < 0);
55   ASSERT (memcmp ("moo", "foo", 4) > 0);
56   ASSERT (memcmp ("oomph", "oops", 3) < 0);
57   ASSERT (memcmp ("oops", "oomph", 3) > 0);
58   ASSERT (memcmp ("foo", "foobar", 4) < 0);
59   ASSERT (memcmp ("foobar", "foo", 4) > 0);
60
61   /* Some old versions of memcmp were not 8-bit clean.  */
62   ASSERT (memcmp ("\100", "\201", 1) < 0);
63   ASSERT (memcmp ("\201", "\100", 1) > 0);
64   ASSERT (memcmp ("\200", "\201", 1) < 0);
65   ASSERT (memcmp ("\201", "\200", 1) > 0);
66
67   /* The Next x86 OpenStep bug shows up only when comparing 16 bytes
68      or more and with at least one buffer not starting on a 4-byte boundary.
69      William Lewis provided this test program.   */
70   {
71     char foo[21];
72     char bar[21];
73     int i;
74     for (i = 0; i < 4; i++)
75       {
76         char *a = foo + i;
77         char *b = bar + i;
78         strcpy (a, "--------01111111");
79         strcpy (b, "--------10000000");
80         ASSERT (memcmp (a, b, 16) < 0);
81       }
82   }
83
84   return 0;
85 }