From 5be86d00585404820ef92d5708d022ecf855e0d5 Mon Sep 17 00:00:00 2001
From: Shaowei Song <1498430017@qq.com>
Date: Mon, 28 Mar 2022 09:48:02 +0800
Subject: [PATCH] [ci] Do not disable overflow_checks for code coverage build

---
 src/libos/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/libos/Makefile b/src/libos/Makefile
index 4c63a41b..d03db13d 100644
--- a/src/libos/Makefile
+++ b/src/libos/Makefile
@@ -131,7 +131,7 @@ ifneq ($(OCCLUM_COV),)
     LIBOS_FEATURES += cov
     COV_FLAGS += "-Zprofile -Ccodegen-units=1 \
         -Cllvm_args=-inline-threshold=0 -Clink-dead-code \
-        -Coverflow-checks=off -Cpanic=abort"
+        -Cpanic=abort"
 endif
 
 ifeq ($(SGX_MODE), HYPER)