LCOV - code coverage report
Current view: top level - lib/gltests - test-memmem.c (source / functions) Hit Total Coverage
Test: GNU SASL Lines: 72 72 100.0 %
Date: 2010-09-27 Functions: 2 2 100.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 23 40 57.5 %

           Branch data     Line data    Source code
       1                 :            : /*
       2                 :            :  * Copyright (C) 2004, 2007-2010 Free Software Foundation, Inc.
       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 "signature.h"
      23                 :            : SIGNATURE_CHECK (memmem, void *, (void const *, size_t, void const *, size_t));
      24                 :            : 
      25                 :            : #include <signal.h>
      26                 :            : #include <stdlib.h>
      27                 :            : #include <unistd.h>
      28                 :            : 
      29                 :            : #include "zerosize-ptr.h"
      30                 :            : #include "macros.h"
      31                 :            : 
      32                 :            : static void *
      33                 :          1 : null_ptr (void)
      34                 :            : {
      35                 :          1 :   return NULL;
      36                 :            : }
      37                 :            : 
      38                 :            : int
      39                 :          1 : main (int argc, char *argv[])
      40                 :            : {
      41                 :            : #if HAVE_DECL_ALARM
      42                 :            :   /* Declare failure if test takes too long, by using default abort
      43                 :            :      caused by SIGALRM.  All known platforms that lack alarm also lack
      44                 :            :      memmem, and the replacement memmem is known to not take too
      45                 :            :      long.  */
      46                 :          1 :   signal (SIGALRM, SIG_DFL);
      47                 :          1 :   alarm (100);
      48                 :            : #endif
      49                 :            : 
      50                 :            :   {
      51                 :          1 :     const char input[] = "foo";
      52                 :          1 :     const char *result = memmem (input, strlen (input), "", 0);
      53         [ -  + ]:          1 :     ASSERT (result == input);
      54                 :            :   }
      55                 :            : 
      56                 :            :   {
      57                 :          1 :     const char input[] = "foo";
      58                 :          1 :     const char *result = memmem (input, strlen (input), "o", 1);
      59         [ -  + ]:          1 :     ASSERT (result == input + 1);
      60                 :            :   }
      61                 :            : 
      62                 :            :   {
      63                 :          1 :     const char input[] = "ABC ABCDAB ABCDABCDABDE";
      64                 :          1 :     const char *result = memmem (input, strlen (input), "ABCDABD", 7);
      65         [ -  + ]:          1 :     ASSERT (result == input + 15);
      66                 :            :   }
      67                 :            : 
      68                 :            :   {
      69                 :          1 :     const char input[] = "ABC ABCDAB ABCDABCDABDE";
      70                 :          1 :     const char *result = memmem (input, strlen (input), "ABCDABE", 7);
      71         [ -  + ]:          1 :     ASSERT (result == NULL);
      72                 :            :   }
      73                 :            : 
      74                 :            :   {
      75                 :          1 :     const char input[] = "ABC ABCDAB ABCDABCDABDE";
      76                 :          1 :     const char *result = memmem (input, strlen (input), "ABCDABCD", 8);
      77         [ -  + ]:          1 :     ASSERT (result == input + 11);
      78                 :            :   }
      79                 :            : 
      80                 :            :   /* Check that length 0 does not dereference the pointer.  */
      81                 :            :   {
      82                 :          1 :     const char *result = memmem (zerosize_ptr (), 0, "foo", 3);
      83         [ -  + ]:          1 :     ASSERT (result == NULL);
      84                 :            :   }
      85                 :            : 
      86                 :            :   {
      87                 :          1 :     const char input[] = "foo";
      88                 :          1 :     const char *result = memmem (input, strlen (input), null_ptr (), 0);
      89         [ -  + ]:          1 :     ASSERT (result == input);
      90                 :            :   }
      91                 :            : 
      92                 :            :   /* Check that a very long haystack is handled quickly if the needle is
      93                 :            :      short and occurs near the beginning.  */
      94                 :            :   {
      95                 :          1 :     size_t repeat = 10000;
      96                 :          1 :     size_t m = 1000000;
      97                 :            :     const char *needle =
      98                 :            :       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
      99                 :          1 :       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA";
     100                 :          1 :     size_t n = strlen (needle);
     101                 :          1 :     char *haystack = (char *) malloc (m + 1);
     102         [ +  - ]:          1 :     if (haystack != NULL)
     103                 :            :       {
     104                 :          1 :         memset (haystack, 'A', m);
     105                 :          1 :         haystack[0] = 'B';
     106                 :            : 
     107         [ +  + ]:      10001 :         for (; repeat > 0; repeat--)
     108                 :            :           {
     109         [ -  + ]:      10000 :             ASSERT (memmem (haystack, m, needle, n) == haystack + 1);
     110                 :            :           }
     111                 :            : 
     112                 :          1 :         free (haystack);
     113                 :            :       }
     114                 :            :   }
     115                 :            : 
     116                 :            :   /* Check that a very long needle is discarded quickly if the haystack is
     117                 :            :      short.  */
     118                 :            :   {
     119                 :          1 :     size_t repeat = 10000;
     120                 :          1 :     size_t m = 1000000;
     121                 :            :     const char *haystack =
     122                 :            :       "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA"
     123                 :          1 :       "ABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABABAB";
     124                 :          1 :     size_t n = strlen (haystack);
     125                 :          1 :     char *needle = (char *) malloc (m + 1);
     126         [ +  - ]:          1 :     if (needle != NULL)
     127                 :            :       {
     128                 :          1 :         memset (needle, 'A', m);
     129                 :            : 
     130         [ +  + ]:      10001 :         for (; repeat > 0; repeat--)
     131                 :            :           {
     132         [ -  + ]:      10000 :             ASSERT (memmem (haystack, n, needle, m) == NULL);
     133                 :            :           }
     134                 :            : 
     135                 :          1 :         free (needle);
     136                 :            :       }
     137                 :            :   }
     138                 :            : 
     139                 :            :   /* Check that the asymptotic worst-case complexity is not quadratic.  */
     140                 :            :   {
     141                 :          1 :     size_t m = 1000000;
     142                 :          1 :     char *haystack = (char *) malloc (2 * m + 1);
     143                 :          1 :     char *needle = (char *) malloc (m + 1);
     144 [ +  - ][ +  - ]:          1 :     if (haystack != NULL && needle != NULL)
     145                 :            :       {
     146                 :            :         const char *result;
     147                 :            : 
     148                 :          1 :         memset (haystack, 'A', 2 * m);
     149                 :          1 :         haystack[2 * m] = 'B';
     150                 :            : 
     151                 :          1 :         memset (needle, 'A', m);
     152                 :          1 :         needle[m] = 'B';
     153                 :            : 
     154                 :          1 :         result = memmem (haystack, 2 * m + 1, needle, m + 1);
     155         [ -  + ]:          1 :         ASSERT (result == haystack + m);
     156                 :            :       }
     157                 :          1 :     free (needle);
     158                 :          1 :     free (haystack);
     159                 :            :   }
     160                 :            : 
     161                 :            :   /* Check that long needles not present in a haystack can be handled
     162                 :            :      with sublinear speed.  */
     163                 :            :   {
     164                 :          1 :     size_t repeat = 10000;
     165                 :          1 :     size_t m = 1000000;
     166                 :          1 :     size_t n = 1000;
     167                 :          1 :     char *haystack = (char *) malloc (m);
     168                 :          1 :     char *needle = (char *) malloc (n);
     169 [ +  - ][ +  - ]:          1 :     if (haystack != NULL && needle != NULL)
     170                 :            :       {
     171                 :            :         const char *result;
     172                 :            : 
     173                 :          1 :         memset (haystack, 'A', m);
     174                 :          1 :         memset (needle, 'B', n);
     175                 :            : 
     176         [ +  + ]:      10001 :         for (; repeat > 0; repeat--)
     177                 :            :           {
     178                 :      10000 :             result = memmem (haystack, m, needle, n);
     179         [ -  + ]:      10000 :             ASSERT (result == NULL);
     180                 :            :           }
     181                 :            :       }
     182                 :          1 :     free (haystack);
     183                 :          1 :     free (needle);
     184                 :            :   }
     185                 :            : 
     186                 :          1 :   return 0;
     187                 :            : }

Generated by: LCOV version 1.8