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 <stdio.h>
  23 #include <stdlib.h>
  24
  25 #include "zerosize-ptr.h"
  26
  27 #define ASSERT(expr) \
  28   do                                                                         \
  29     {                                                                        \
  30       if (!(expr))                                                           \
  31         {                                                                    \
  32           fprintf (stderr, "%s:%d: assertion failed\n", __FILE__, __LINE__); \
  33           fflush (stderr);                                                   \
  34           abort ();                                                          \
  35         }                                                                    \
  36     }                                                                        \
  37   while (0)
  38
  39 /* Calculating void * + int is not portable, so this wrapper converts
  40    to char * to make the tests easier to write.  */
  41 #define MEMCHR (char *) memchr
  42
  43 int
  44 main (void)
  45 {
  46   size_t n = 0x100000;
  47   char *input = malloc (n);
  48   ASSERT (input);
  49
  50   input[0] = 'a';
  51   input[1] = 'b';
  52   memset (input + 2, 'c', 1024);
  53   memset (input + 1026, 'd', n - 1028);
  54   input[n - 2] = 'e';
  55   input[n - 1] = 'a';
  56
  57   /* Basic behavior tests.  */
  58   ASSERT (MEMCHR (input, 'a', n) == input);
  59
  60   ASSERT (MEMCHR (input, 'a', 0) == NULL);
  61   ASSERT (MEMCHR (zerosize_ptr (), 'a', 0) == NULL);
  62
  63   ASSERT (MEMCHR (input, 'b', n) == input + 1);
  64   ASSERT (MEMCHR (input, 'c', n) == input + 2);
  65   ASSERT (MEMCHR (input, 'd', n) == input + 1026);
  66
  67   ASSERT (MEMCHR (input + 1, 'a', n - 1) == input + n - 1);
  68   ASSERT (MEMCHR (input + 1, 'e', n - 1) == input + n - 2);
  69
  70   ASSERT (MEMCHR (input, 'f', n) == NULL);
  71   ASSERT (MEMCHR (input, '\0', n) == NULL);
  72
  73   /* Check that a very long haystack is handled quickly if the byte is
  74      found near the beginning.  */
  75   {
  76     size_t repeat = 10000;
  77     for (; repeat > 0; repeat--)
  78       {
  79         ASSERT (MEMCHR (input, 'c', n) == input + 2);
  80       }
  81   }
  82
  83   /* Alignment tests.  */
  84   {
  85     int i, j;
  86     for (i = 0; i < 32; i++)
  87       {
  88         for (j = 0; j < 256; j++)
  89           input[i + j] = j;
  90         for (j = 0; j < 256; j++)
  91           {
  92             ASSERT (MEMCHR (input + i, j, 256) == input + i + j);
  93           }
  94       }
  95   }
  96
  97   /* Check that memchr() does not read past the first occurrence of the
  98      byte being searched.  See the Austin Group's clarification
  99      <http://www.opengroup.org/austin/docs/austin_454.txt>.  */
 100   {
 101     char *page_boundary = (char *) zerosize_ptr ();
 102
 103     if (page_boundary != NULL)
 104       {
 105         for (n = 1; n <= 500; n++)
 106           {
 107             char *mem = page_boundary - n;
 108             memset (mem, 'X', n);
 109             ASSERT (MEMCHR (mem, 'U', n) == NULL);
 110
 111             {
 112               int i;
 113
 114               for (i = 0; i < n; i++)
 115                 {
 116                   mem[i] = 'U';
 117                   ASSERT (MEMCHR (mem, 'U', 4000) == mem + i);
 118                   mem[i] = 'X';
 119                 }
 120             }
 121           }
 122       }
 123   }
 124
 125   free (input);
 126
 127   return 0;
 128 }