Re: test-mcel fails with ASAN

2023-12-15 Thread Bruno Haible
Paul Eggert wrote: > It's a bug in the test case. I installed the attached fix. Thanks. Note that this bug did not get flagged by CHERI (cfarm240.cfarm.net), but only by clang's ASAN. I'll therefore prefer to test with clang ASAN+UBSAN from now on: CC="$CC -fsanitize=address,undefined,signed-i

Re: test-mcel fails with ASAN

2023-12-14 Thread Paul Eggert
Thanks for reporting that. It's a bug in the test case. I installed the attached fix.From 44f6086116dedcc55633f249cbdd00770c88de60 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 14 Dec 2023 17:15:27 -0800 Subject: [PATCH] mcel-tests: fix thinko in test * tests/test-mcel.c (main): Fix typo

test-mcel fails with ASAN

2023-12-03 Thread Bruno Haible
Hi Paul, In a testdir of the 'mcel' module, compiled with "gcc -fsanitize=address" (and CFLAGS="-O0 -fno-omit-frame-pointer -ggdb" and ASAN_OPTIONS="detect_leaks=0 abort_on_error=1"), I see this test failure: ERROR: AddressSanitizer: stack-buffer-overflow on address 0x7ffc6de32ad3 at pc 0x558658