tests/test-memchr.c

   1 /*
   2  * Copyright (C) 2008-2009 Free Software Foundation
   3  * Written by Eric Blake and Bruno Haible
   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 (memchr, void *, (void const *, int, 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 /* Calculating void * + int is not portable, so this wrapper converts
  43    to char * to make the tests easier to write.  */
  44 #define MEMCHR (char *) memchr
  45
  46 int
  47 main (void)
  48 {
  49   size_t n = 0x100000;
  50   char *input = malloc (n);
  51   ASSERT (input);
  52
  53   input[0] = 'a';
  54   input[1] = 'b';
  55   memset (input + 2, 'c', 1024);
  56   memset (input + 1026, 'd', n - 1028);
  57   input[n - 2] = 'e';
  58   input[n - 1] = 'a';
  59
  60   /* Basic behavior tests.  */
  61   ASSERT (MEMCHR (input, 'a', n) == input);
  62
  63   ASSERT (MEMCHR (input, 'a', 0) == NULL);
  64   ASSERT (MEMCHR (zerosize_ptr (), 'a', 0) == NULL);
  65
  66   ASSERT (MEMCHR (input, 'b', n) == input + 1);
  67   ASSERT (MEMCHR (input, 'c', n) == input + 2);
  68   ASSERT (MEMCHR (input, 'd', n) == input + 1026);
  69
  70   ASSERT (MEMCHR (input + 1, 'a', n - 1) == input + n - 1);
  71   ASSERT (MEMCHR (input + 1, 'e', n - 1) == input + n - 2);
  72
  73   ASSERT (MEMCHR (input, 'f', n) == NULL);
  74   ASSERT (MEMCHR (input, '\0', n) == NULL);
  75
  76   /* Check that a very long haystack is handled quickly if the byte is
  77      found near the beginning.  */
  78   {
  79     size_t repeat = 10000;
  80     for (; repeat > 0; repeat--)
  81       {
  82         ASSERT (MEMCHR (input, 'c', n) == input + 2);
  83       }
  84   }
  85
  86   /* Alignment tests.  */
  87   {
  88     int i, j;
  89     for (i = 0; i < 32; i++)
  90       {
  91         for (j = 0; j < 256; j++)
  92           input[i + j] = j;
  93         for (j = 0; j < 256; j++)
  94           {
  95             ASSERT (MEMCHR (input + i, j, 256) == input + i + j);
  96           }
  97       }
  98   }
  99
 100   /* Check that memchr() does not read past the first occurrence of the
 101      byte being searched.  See the Austin Group's clarification
 102      <http://www.opengroup.org/austin/docs/austin_454.txt>.  */
 103   {
 104     char *page_boundary = (char *) zerosize_ptr ();
 105
 106     if (page_boundary != NULL)
 107       {
 108         for (n = 1; n <= 500; n++)
 109           {
 110             char *mem = page_boundary - n;
 111             memset (mem, 'X', n);
 112             ASSERT (MEMCHR (mem, 'U', n) == NULL);
 113
 114             {
 115               size_t i;
 116
 117               for (i = 0; i < n; i++)
 118                 {
 119                   mem[i] = 'U';
 120                   ASSERT (MEMCHR (mem, 'U', 4000) == mem + i);
 121                   mem[i] = 'X';
 122                 }
 123             }
 124           }
 125       }
 126   }
 127
 128   free (input);
 129
 130   return 0;
 131 }