pintos-os.org Git - pspp/blob - tests/test-memmem.c

   1 /*
   2  * Copyright (C) 2004, 2007, 2008 Free Software Foundation
   3  * Written by Bruno Haible and Eric Blake
   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 <stdio.h>
  23 #include <stdlib.h>
  24 #include <unistd.h>
  25
  26 #define ASSERT(expr) \
  27   do                                                                         \
  28     {                                                                        \
  29       if (!(expr))                                                           \
  30         {                                                                    \
  31           fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
  32           abort ();                                                          \
  33         }                                                                    \
  34     }                                                                        \
  35   while (0)
  36
  37 int
  38 main (int argc, char *argv[])
  39 {
  40   /* Declare failure if test takes too long, by using default abort
  41      caused by SIGALRM.  */
  42   alarm (10);
  43   {
  44     const char input[] = "foo";
  45     const char *result = memmem (input, strlen (input), "", 0);
  46     ASSERT (result == input);
  47   }
  48
  49   {
  50     const char input[] = "foo";
  51     const char *result = memmem (input, strlen (input), "o", 1);
  52     ASSERT (result == input + 1);
  53   }
  54
  55   {
  56     const char input[] = "ABC ABCDAB ABCDABCDABDE";
  57     const char *result = memmem (input, strlen (input), "ABCDABD", 7);
  58     ASSERT (result == input + 15);
  59   }
  60
  61   {
  62     const char input[] = "ABC ABCDAB ABCDABCDABDE";
  63     const char *result = memmem (input, strlen (input), "ABCDABE", 7);
  64     ASSERT (result == NULL);
  65   }
  66
  67   /* Check that length 0 does not dereference NULL.  */
  68   {
  69     const char *result = memmem (NULL, 0, "foo", 3);
  70     ASSERT (result == NULL);
  71   }
  72
  73   {
  74     const char input[] = "foo";
  75     const char *result = memmem (input, strlen (input), NULL, 0);
  76     ASSERT (result == input);
  77   }
  78
  79   /* Check that a very long haystack is handled quickly if the needle is
  80      short and occurs near the beginning.  */
  81   {
  82     size_t repeat = 10000;
  83     size_t m = 1000000;
  84     char *needle =
  85       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
  86       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
  87     size_t n = strlen (needle);
  88     char *haystack = (char *) malloc (m + 1);
  89     if (haystack != NULL)
  90       {
  91         memset (haystack, 'A', m);
  92         haystack[0] = 'B';
  93
  94         for (; repeat > 0; repeat--)
  95           {
  96             ASSERT (memmem (haystack, m, needle, n) == haystack + 1);
  97           }
  98
  99         free (haystack);
 100       }
 101   }
 102
 103   /* Check that a very long needle is discarded quickly if the haystack is
 104      short.  */
 105   {
 106     size_t repeat = 10000;
 107     size_t m = 1000000;
 108     char *haystack =
 109       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
 110       "ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABAB";
 111     size_t n = strlen (haystack);
 112     char *needle = (char *) malloc (m + 1);
 113     if (needle != NULL)
 114       {
 115         memset (needle, 'A', m);
 116
 117         for (; repeat > 0; repeat--)
 118           {
 119             ASSERT (memmem (haystack, n, needle, m) == NULL);
 120           }
 121
 122         free (needle);
 123       }
 124   }
 125
 126   /* Check that the asymptotic worst-case complexity is not quadratic.  */
 127   {
 128     size_t m = 1000000;
 129     char *haystack = (char *) malloc (2 * m + 1);
 130     char *needle = (char *) malloc (m + 1);
 131     if (haystack != NULL && needle != NULL)
 132       {
 133         const char *result;
 134
 135         memset (haystack, 'A', 2 * m);
 136         haystack[2 * m] = 'B';
 137
 138         memset (needle, 'A', m);
 139         needle[m] = 'B';
 140
 141         result = memmem (haystack, 2 * m + 1, needle, m + 1);
 142         ASSERT (result == haystack + m);
 143       }
 144     if (needle != NULL)
 145       free (needle);
 146     if (haystack != NULL)
 147       free (haystack);
 148   }
 149
 150   return 0;
 151 }