From d596eff7932d22b821aa52727e659e34dd8eb465 Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Fri, 12 Dec 2025 16:14:54 +0100 Subject: [PATCH] Makefile: enable ubsan by default for debug builds --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index 3fc5f4d07..6057c46b9 100644 --- a/Makefile +++ b/Makefile @@ -81,6 +81,10 @@ ifeq ($(ENABLE_PYOSYS),1) ENABLE_LIBYOSYS := 1 endif +ifeq ($(ENABLE_DEBUG),1) +SANITIZER = undefined +endif + BINDIR := $(PREFIX)/bin LIBDIR := $(PREFIX)/lib/$(PROGRAM_PREFIX)yosys DATDIR := $(PREFIX)/share/$(PROGRAM_PREFIX)yosys @@ -777,6 +781,7 @@ libyosys.a: $(filter-out kernel/driver.o,$(OBJS)) %.o: %.cc $(Q) mkdir -p $(dir $@) + echo $(CXX) -o $@ -c $(CPPFLAGS) $(CXXFLAGS) $< $(P) $(CXX) -o $@ -c $(CPPFLAGS) $(CXXFLAGS) $< %.pyh: %.h