diff -r a726281c809f -r 802ab24f67aa make/project.xml
--- a/make/project.xml Tue Dec 23 10:00:02 2025 +0100
+++ b/make/project.xml Tue Dec 23 10:14:13 2025 +0100
@@ -94,6 +94,11 @@
-fsanitize=address
+
+ -fsanitize=undefined
+ -fsanitize=undefined
+
+
test -z "$FEATURE_COVERAGE"
@@ -125,6 +130,10 @@
address sanitizer
asan
+
+ undefined behavior sanitizer
+ ubsan
+
cxx
the check-cxx makefile target