From 632a3588fa377d7d03dbdb294bff5afeb1ed1e95 Mon Sep 17 00:00:00 2001 From: Kristian Larsson Date: Tue, 8 Nov 2022 20:23:40 +0100 Subject: [PATCH] Sanitize UB in backend DB --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Makefile b/Makefile index fa75acf82..9b577666d 100644 --- a/Makefile +++ b/Makefile @@ -128,8 +128,7 @@ DIST_ZIG=dist/zig CFLAGS_DB = -I. -Ideps -I$(TD)/deps/instdir/include -DLOG_USE_COLOR -g CFLAGS_DB+= $(CFLAGS_TARGET) -# TODO: enable sanitization of undefined behavior! -CFLAGS_DB+= -fno-sanitize=undefined -Werror +CFLAGS_DB+= -fsanitize=undefined -Werror # TODO: clean up casts and remove this! CFLAGS_DB+= -Wno-int-to-pointer-cast -Wno-pointer-to-int-cast # /backend ----------------------------------------------