Re: test-mcel fails with ASAN

[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-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