tests/test-rawmemchr.c

   1 /*
   2  * Copyright (C) 2008-2024 Free Software Foundation, Inc.
   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 <https://www.gnu.org/licenses/>.  */
  17
  18 #include <config.h>
  19
  20 #include <string.h>
  21
  22 #include "signature.h"
  23 SIGNATURE_CHECK (rawmemchr, void *, (void const *, int));
  24
  25 #include <stdlib.h>
  26
  27 #include "zerosize-ptr.h"
  28 #include "macros.h"
  29
  30 int
  31 main (void)
  32 {
  33   size_t n = 0x100000;
  34   char *input = malloc (n + 1);
  35   ASSERT (input);
  36
  37   input[0] = 'a';
  38   input[1] = 'b';
  39   memset (input + 2, 'c', 1024);
  40   memset (input + 1026, 'd', n - 1028);
  41   input[n - 2] = 'e';
  42   input[n - 1] = 'a';
  43   input[n] = '\0';
  44
  45   /* Basic behavior tests.  */
  46   ASSERT (rawmemchr (input, 'a') == input);
  47   ASSERT (rawmemchr (input, 'b') == input + 1);
  48   ASSERT (rawmemchr (input, 'c') == input + 2);
  49   ASSERT (rawmemchr (input, 'd') == input + 1026);
  50
  51   ASSERT (rawmemchr (input + 1, 'a') == input + n - 1);
  52   ASSERT (rawmemchr (input + 1, 'e') == input + n - 2);
  53   ASSERT (rawmemchr (input + 1, 0x789abc00 | 'e') == input + n - 2);
  54
  55   ASSERT (rawmemchr (input, '\0') == input + n);
  56
  57   /* Alignment tests.  */
  58   {
  59     int i, j;
  60     for (i = 0; i < 32; i++)
  61       {
  62         for (j = 0; j < 256; j++)
  63           input[i + j] = j;
  64         for (j = 0; j < 256; j++)
  65           {
  66             ASSERT (rawmemchr (input + i, j) == input + i + j);
  67           }
  68       }
  69   }
  70
  71   /* Ensure that no unaligned oversized reads occur.  */
  72   {
  73     char *page_boundary = (char *) zerosize_ptr ();
  74     size_t i;
  75
  76     if (!page_boundary)
  77       page_boundary = input + 4096;
  78     memset (page_boundary - 512, '1', 511);
  79     page_boundary[-1] = '2';
  80     for (i = 1; i <= 512; i++)
  81       ASSERT (rawmemchr (page_boundary - i, (i * 0x01010100) | '2')
  82               == page_boundary - 1);
  83   }
  84
  85   free (input);
  86
  87   /* Test aligned oversized reads, which are allowed on most architectures
  88      but not on CHERI.  */
  89   {
  90     input = malloc (5);
  91     memcpy (input, "abcde", 5);
  92     ASSERT (rawmemchr (input, 'e') == input + 4);
  93     ASSERT (rawmemchr (input + 1, 'e') == input + 4);
  94     ASSERT (rawmemchr (input + 2, 'e') == input + 4);
  95     ASSERT (rawmemchr (input + 3, 'e') == input + 4);
  96     ASSERT (rawmemchr (input + 4, 'e') == input + 4);
  97     free (input);
  98   }
  99
 100   return test_exit_status;
 101 }