genode/repos/libports/lib/mk/libubsan.mk
2019-01-07 12:33:54 +01:00

25 lines
511 B
Makefile

SANITIZER_PORT_DIR := $(call select_from_ports,sanitizer)
SANITIZER_DIR := $(SANITIZER_PORT_DIR)/src/lib/sanitizer
SRC_CC = ubsan_diag.cc \
ubsan_flags.cc \
ubsan_handlers.cc \
ubsan_handlers_cxx.cc \
ubsan_init.cc \
ubsan_type_hash.cc \
ubsan_type_hash_itanium.cc \
ubsan_value.cc
CC_OPT += -DCAN_SANITIZE_UB=1
LIBS += libsanitizer_common
INC_DIR += $(SANITIZER_DIR)
vpath %.cc $(SANITIZER_DIR)/ubsan
SHARED_LIB = yes
CC_CXX_WARN_STRICT =