1  /* Test for C17 alignment requirements.
       2     Copyright (C) 2023 Free Software Foundation, Inc.
       3     This file is part of the GNU C Library.
       4  
       5     The GNU C Library is free software; you can redistribute it and/or
       6     modify it under the terms of the GNU Lesser General Public
       7     License as published by the Free Software Foundation; either
       8     version 2.1 of the License, or (at your option) any later version.
       9  
      10     The GNU C Library 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 GNU
      13     Lesser General Public License for more details.
      14  
      15     You should have received a copy of the GNU Lesser General Public
      16     License along with the GNU C Library; if not, see
      17     <https://www.gnu.org/licenses/>.  */
      18  
      19  #include <errno.h>
      20  #include <malloc.h>
      21  #include <stdint.h>
      22  #include <stdio.h>
      23  #include <stdlib.h>
      24  #include <string.h>
      25  #include <libc-diag.h>
      26  #include <support/check.h>
      27  
      28  static int
      29  do_test (void)
      30  {
      31    void *p1;
      32    void *p2;
      33    void *p3;
      34    void *p4;
      35    void *p5;
      36  
      37    errno = 0;
      38  
      39    /* The implementation supports alignments that are non-negative powers of 2.
      40       We test 5 distinct conditions here:
      41       - A non-negative power of 2 alignment e.g. 64.
      42       - A degenerate zero power of 2 alignment e.g. 1.
      43       - A non-power-of-2 alignment e.g. 65.
      44       - A zero alignment.
      45       - A corner case SIZE_MAX / 2 + 1 alignment.
      46    */
      47  
      48    p1 = aligned_alloc (64, 64);
      49  
      50    if (p1 == NULL)
      51      FAIL_EXIT1 ("aligned_alloc(64, 64) failed");
      52  
      53    p2 = aligned_alloc (1, 64);
      54  
      55    if (p2 == NULL)
      56      FAIL_EXIT1 ("aligned_alloc(1, 64) failed");
      57  
      58    p3 = aligned_alloc (65, 64);
      59  
      60    if (p3 != NULL)
      61      FAIL_EXIT1 ("aligned_alloc(65, 64) did not fail");
      62  
      63    p4 = aligned_alloc (0, 64);
      64  
      65    if (p4 != NULL)
      66      FAIL_EXIT1 ("aligned_alloc(0, 64) did not fail");
      67  
      68    /* This is an alignment like 0x80000000...UL */
      69    p5 = aligned_alloc (SIZE_MAX / 2 + 1, 64);
      70  
      71    if (p5 != NULL)
      72      FAIL_EXIT1 ("aligned_alloc(SIZE_MAX/2+1, 64) did not fail");
      73  
      74    free (p1);
      75    free (p2);
      76    return 0;
      77  }
      78  
      79  #define TEST_FUNCTION do_test ()
      80  #include "../test-skeleton.c"