tests/test-c-strstr.c

   1 /* Test of searching in a string.
   2    Copyright (C) 2007 Free Software Foundation, Inc.
   3
   4    This program is free software; you can redistribute it and/or modify
   5    it under the terms of the GNU General Public License as published by
   6    the Free Software Foundation; either version 2, or (at your option)
   7    any later version.
   8
   9    This program is distributed in the hope that it will be useful,
  10    but WITHOUT ANY WARRANTY; without even the implied warranty of
  11    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12    GNU General Public License for more details.
  13
  14    You should have received a copy of the GNU General Public License
  15    along with this program; if not, write to the Free Software Foundation,
  16    Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.  */
  17
  18 /* Written by Bruno Haible <bruno@clisp.org>, 2007.  */
  19
  20 #ifdef HAVE_CONFIG_H
  21 # include <config.h>
  22 #endif
  23
  24 #include "c-strstr.h"
  25
  26 #include <stdlib.h>
  27 #include <string.h>
  28
  29 #define ASSERT(expr) if (!(expr)) abort ();
  30
  31 int
  32 main ()
  33 {
  34   {
  35     const char input[] = "foo";
  36     const char *result = c_strstr (input, "");
  37     ASSERT (result == input);
  38   }
  39
  40   {
  41     const char input[] = "foo";
  42     const char *result = c_strstr (input, "o");
  43     ASSERT (result == input + 1);
  44   }
  45
  46   {
  47     const char input[] = "ABC ABCDAB ABCDABCDABDE";
  48     const char *result = c_strstr (input, "ABCDABD");
  49     ASSERT (result == input + 15);
  50   }
  51
  52   {
  53     const char input[] = "ABC ABCDAB ABCDABCDABDE";
  54     const char *result = c_strstr (input, "ABCDABE");
  55     ASSERT (result == NULL);
  56   }
  57
  58   /* Check that a very long haystack is handled quickly if the needle is
  59      short and occurs near the beginning.  */
  60   {
  61     size_t repeat = 10000;
  62     size_t m = 1000000;
  63     char *needle =
  64       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
  65       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
  66     char *haystack = (char *) malloc (m + 1);
  67     if (haystack != NULL)
  68       {
  69         memset (haystack, 'A', m);
  70         haystack[0] = 'B';
  71         haystack[m] = '\0';
  72
  73         for (; repeat > 0; repeat--)
  74           {
  75             ASSERT (c_strstr (haystack, needle) == haystack + 1);
  76           }
  77
  78         free (haystack);
  79       }
  80   }
  81
  82   /* Check that a very long needle is discarded quickly if the haystack is
  83      short.  */
  84   {
  85     size_t repeat = 10000;
  86     size_t m = 1000000;
  87     char *haystack =
  88       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
  89       "ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABAB";
  90     char *needle = (char *) malloc (m + 1);
  91     if (needle != NULL)
  92       {
  93         memset (needle, 'A', m);
  94         needle[m] = '\0';
  95
  96         for (; repeat > 0; repeat--)
  97           {
  98             ASSERT (c_strstr (haystack, needle) == NULL);
  99           }
 100
 101         free (needle);
 102       }
 103   }
 104
 105   /* Check that the asymptotic worst-case complexity is not quadratic.  */
 106   {
 107     size_t m = 1000000;
 108     char *haystack = (char *) malloc (2 * m + 2);
 109     char *needle = (char *) malloc (m + 2);
 110     if (haystack != NULL && needle != NULL)
 111       {
 112         const char *result;
 113
 114         memset (haystack, 'A', 2 * m);
 115         haystack[2 * m] = 'B';
 116         haystack[2 * m + 1] = '\0';
 117
 118         memset (needle, 'A', m);
 119         needle[m] = 'B';
 120         needle[m + 1] = '\0';
 121
 122         result = c_strstr (haystack, needle);
 123         ASSERT (result == haystack + m);
 124       }
 125     if (needle != NULL)
 126       free (needle);
 127     if (haystack != NULL)
 128       free (haystack);
 129   }
 130
 131   return 0;
 132 }