Merge pull request #366 from visitorckw/ci-add-undefined-behaviour-test

CI: Add undefined behavior test
sysprog21 · Feb 29, 2024 · 9e4e13e · 9e4e13e
2 parents 10fba76 + 17db3b2
commit 9e4e13e
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -69,6 +69,10 @@ jobs:
             make ENABLE_EXT_A=0 ENABLE_JIT=1 clean check
             make ENABLE_EXT_F=0 ENABLE_JIT=1 clean check
             make ENABLE_EXT_C=0 ENABLE_JIT=1 clean check
+    - name: undefined behavior test
+      run: |
+            make ENABLE_UBSAN=1 clean check
+            make ENABLE_JIT=1 ENABLE_UBSAN=1 clean check
 
   host-arm64:
     needs: [detect-code-related-file-changes]

diff --git a/Makefile b/Makefile
@@ -136,6 +136,12 @@ ifeq ("$(CC_IS_EMCC)", "1")
 CFLAGS += -mtail-call
 endif
 
+ENABLE_UBSAN ?= 0
+ifeq ("$(ENABLE_UBSAN)", "1")
+CFLAGS += -fsanitize=undefined -fno-sanitize=alignment -fno-sanitize-recover=all
+LDFLAGS += -fsanitize=undefined -fno-sanitize=alignment -fno-sanitize-recover=all
+endif
+
 $(OUT)/emulate.o: CFLAGS += -foptimize-sibling-calls -fomit-frame-pointer -fno-stack-check -fno-stack-protector
 
 # Clear the .DEFAULT_GOAL special variable, so that the following turns