cleanup: Make cmp cimple-compliant.

TokTok · Jan 23, 2024 · 1448c0f · 1448c0f
1 parent e836703
commit 1448c0f
Show file tree

Hide file tree

Showing 5 changed files with 880 additions and 864 deletions.
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ NOFPUTESTCFLAGS ?= $(TESTCFLAGS) -DCMP_NO_FLOAT
 ADDRCFLAGS ?= -fsanitize=address
 MEMCFLAGS ?= -fsanitize=memory -fno-omit-frame-pointer \
 			 -fno-optimize-sibling-calls
-UBCFLAGS ?= -fsanitize=undefined
+UBCFLAGS ?= -fsanitize=undefined,nullability,local-bounds,float-divide-by-zero,integer
 
 .PHONY: all clean test coverage