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