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
