mirror of
git://sourceware.org/git/glibc.git
synced 2025-03-13 13:37:38 +08:00
GCC 15 introduces allocation dead code removal (DCE) for PR117370 in r15-5255-g7828dc070510f8. This breaks various glibc tests which want to assert various properties of the allocator without doing anything obviously useful with the allocated memory. Alexander Monakov rightly pointed out that we can and should do better than passing -fno-malloc-dce to paper over the problem. Not least because GCC 14 already does such DCE where there's no testing of malloc's return value against NULL, and LLVM has such optimisations too. Handle this by providing malloc (and friends) wrappers with a volatile function pointer to obscure that we're calling malloc (et. al) from the compiler. Reviewed-by: Paul Eggert <eggert@cs.ucla.edu>
83 lines
2.1 KiB
C
83 lines
2.1 KiB
C
/* Test for C17 alignment requirements.
|
|
Copyright (C) 2023-2024 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, see
|
|
<https://www.gnu.org/licenses/>. */
|
|
|
|
#include <errno.h>
|
|
#include <malloc.h>
|
|
#include <stdint.h>
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
#include <libc-diag.h>
|
|
#include <support/check.h>
|
|
|
|
#include "tst-malloc-aux.h"
|
|
|
|
static int
|
|
do_test (void)
|
|
{
|
|
void *p1;
|
|
void *p2;
|
|
void *p3;
|
|
void *p4;
|
|
void *p5;
|
|
|
|
errno = 0;
|
|
|
|
/* The implementation supports alignments that are non-negative powers of 2.
|
|
We test 5 distinct conditions here:
|
|
- A non-negative power of 2 alignment e.g. 64.
|
|
- A degenerate zero power of 2 alignment e.g. 1.
|
|
- A non-power-of-2 alignment e.g. 65.
|
|
- A zero alignment.
|
|
- A corner case SIZE_MAX / 2 + 1 alignment.
|
|
*/
|
|
|
|
p1 = aligned_alloc (64, 64);
|
|
|
|
if (p1 == NULL)
|
|
FAIL_EXIT1 ("aligned_alloc(64, 64) failed");
|
|
|
|
p2 = aligned_alloc (1, 64);
|
|
|
|
if (p2 == NULL)
|
|
FAIL_EXIT1 ("aligned_alloc(1, 64) failed");
|
|
|
|
p3 = aligned_alloc (65, 64);
|
|
|
|
if (p3 != NULL)
|
|
FAIL_EXIT1 ("aligned_alloc(65, 64) did not fail");
|
|
|
|
p4 = aligned_alloc (0, 64);
|
|
|
|
if (p4 != NULL)
|
|
FAIL_EXIT1 ("aligned_alloc(0, 64) did not fail");
|
|
|
|
/* This is an alignment like 0x80000000...UL */
|
|
p5 = aligned_alloc (SIZE_MAX / 2 + 1, 64);
|
|
|
|
if (p5 != NULL)
|
|
FAIL_EXIT1 ("aligned_alloc(SIZE_MAX/2+1, 64) did not fail");
|
|
|
|
free (p1);
|
|
free (p2);
|
|
return 0;
|
|
}
|
|
|
|
#define TEST_FUNCTION do_test ()
|
|
#include "../test-skeleton.c"
|