diff options
author | Carlos O'Donell <carlos@redhat.com> | 2022-01-28 15:14:29 -0500 |
---|---|---|
committer | Carlos O'Donell <carlos@redhat.com> | 2022-01-31 00:39:28 -0500 |
commit | 3a7bed5f5a527dbd87412551f41e42e63aeef07a (patch) | |
tree | 3505ef8fec441d887838347602646c0f82db098a /malloc | |
parent | 4556b6edaeb706d7a86beb5b03999972bb42e764 (diff) | |
download | glibc-3a7bed5f5a527dbd87412551f41e42e63aeef07a.tar.gz glibc-3a7bed5f5a527dbd87412551f41e42e63aeef07a.tar.xz glibc-3a7bed5f5a527dbd87412551f41e42e63aeef07a.zip |
malloc: Fix -Wuse-after-free warning in tst-mallocalign1 [BZ #26779]
The test leaks bits from the freed pointer via the return value in ret, and the compiler correctly identifies this issue. We switch the test to use TEST_VERIFY and terminate the test if any of the pointers return an unexpected alignment. This fixes another -Wuse-after-free error when compiling glibc with gcc 12. Tested on x86_64 and i686 without regression. Reviewed-by: Siddhesh Poyarekar <siddhesh@sourceware.org>
Diffstat (limited to 'malloc')
-rw-r--r-- | malloc/tst-mallocalign1.c | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/malloc/tst-mallocalign1.c b/malloc/tst-mallocalign1.c index 8bfd50c468..3116748e7e 100644 --- a/malloc/tst-mallocalign1.c +++ b/malloc/tst-mallocalign1.c @@ -20,6 +20,7 @@ #include <stdlib.h> #include <inttypes.h> #include <malloc-size.h> +#include <support/check.h> static void * test (size_t s) @@ -31,41 +32,42 @@ test (size_t s) return p; } +#define ALIGNED(p) (((uintptr_t )p & MALLOC_ALIGN_MASK) == 0) + static int do_test (void) { void *p; - int ret = 0; p = test (2); - ret |= (uintptr_t) p & MALLOC_ALIGN_MASK; + TEST_VERIFY (ALIGNED (p)); free (p); p = test (8); - ret |= (uintptr_t) p & MALLOC_ALIGN_MASK; + TEST_VERIFY (ALIGNED (p)); free (p); p = test (13); - ret |= (uintptr_t) p & MALLOC_ALIGN_MASK; + TEST_VERIFY (ALIGNED (p)); free (p); p = test (16); - ret |= (uintptr_t) p & MALLOC_ALIGN_MASK; + TEST_VERIFY (ALIGNED (p)); free (p); p = test (23); - ret |= (uintptr_t) p & MALLOC_ALIGN_MASK; + TEST_VERIFY (ALIGNED (p)); free (p); p = test (43); - ret |= (uintptr_t) p & MALLOC_ALIGN_MASK; + TEST_VERIFY (ALIGNED (p)); free (p); p = test (123); - ret |= (uintptr_t) p & MALLOC_ALIGN_MASK; + TEST_VERIFY (ALIGNED (p)); free (p); - return ret; + return 0; } #include <support/test-driver.c> |