[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: test-mcel fails with ASAN
From: |
Bruno Haible |
Subject: |
Re: test-mcel fails with ASAN |
Date: |
Fri, 15 Dec 2023 09:39:41 +0100 |
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-integer-overflow,shift,integer-divide-by-zero"
CXX="$CXX
-fsanitize=address,undefined,signed-integer-overflow,shift,integer-divide-by-zero"
export CC CXX
CFLAGS="-O0 -fno-omit-frame-pointer -ggdb"
CXXFLAGS="-O0 -fno-omit-frame-pointer -ggdb"
export CFLAGS CXXFLAGS
ASAN_OPTIONS="detect_leaks=0 abort_on_error=1 allocator_may_return_null=1"
export ASAN_OPTIONS
Alas, I cannot do the same thing with GCC for now:
<https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112708>
Bruno