On 2024-10-19 15:06, Bruno Haible wrote:
What I would propose is that the modules 'realloc-posix' and 'realloc-gnu'
implement a configure option
--enable-sanitized-realloc change realloc so that it aborts in cases
of undefined behaviour (experimental)
Although something along these lines would work, the GNU Coding
Standards say that --enable-* is for user-level facilities, whereas this
is for builders and debuggers.
--with-* doesn't seem right either.
Maybe this interim strategy should just be something a builder puts into
CC or CFLAGS? That would better match the proposed long-term strategy
for builders, which is to build with CC="gcc -fsanitize=undefined".
