Remove ENABLE_UBSAN

Author: henrybear327

.github/workflows/main.yml

@@ -78,12 +78,12 @@ jobs:
             make ENABLE_JIT=1 clean clean && make ENABLE_JIT=1 ENABLE_UBSAN=1 check -j$(nproc)
     - name: valgrind check (without JIT)
       run: |
-            make clean && make ENABLE_SDL=0 ENABLE_JIT=0 ENABLE_VALGRIND=1
+            make clean && make ENABLE_SDL=0 ENABLE_JIT=0 ENABLE_UBSAN=1
             valgrind --leak-check=full --show-leak-kinds=all --error-exitcode=1 ./build/rv32emu ./build/hello.elf 
             valgrind --leak-check=full --show-leak-kinds=all --error-exitcode=1 ./build/rv32emu ./build/aes.elf 
     - name: valgrind check (with JIT)
       run: |
-            make clean && make ENABLE_SDL=0 ENABLE_JIT=1 ENABLE_VALGRIND=1
+            make clean && make ENABLE_SDL=0 ENABLE_JIT=1 ENABLE_UBSAN=1
             valgrind --leak-check=full --show-leak-kinds=all --error-exitcode=1 ./build/rv32emu ./build/hello.elf 
             valgrind --leak-check=full --show-leak-kinds=all --error-exitcode=1 ./build/rv32emu ./build/aes.elf 
 

Makefile

@@ -11,7 +11,6 @@ CFLAGS = -std=gnu99 -O2 -Wall -Wextra
 CFLAGS += -Wno-unused-label
 CFLAGS += -include src/common.h
 
-ENABLE_VALGRIND ?= 0
 ifeq ("$(ENABLE_UBSAN)", "1")
 # according to gcc's man page: "If you use multiple -O options, with or without level numbers, the last such option is the one that is effective."
 # In order to use Valgrind, we need to compile with -g