Created
May 10, 2021 19:58
-
-
Save jepler/bc669a1f68d413afa2b9c1b14fd9956b to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
From 167ba52720e272b3795209bac6dcdb460e9faf51 Mon Sep 17 00:00:00 2001 | |
From: Jeff Epler <jepler@gmail.com> | |
Date: Mon, 10 May 2021 14:58:08 -0500 | |
Subject: [PATCH] unix: Enable ubsan for all "coverage" variant builds | |
.. excluding axtls because it has un-fixed problems. | |
--- | |
ports/unix/variants/coverage/mpconfigvariant.mk | 7 +++++-- | |
1 file changed, 5 insertions(+), 2 deletions(-) | |
diff --git a/ports/unix/variants/coverage/mpconfigvariant.mk b/ports/unix/variants/coverage/mpconfigvariant.mk | |
index fac8c0d27..444dcc4d6 100644 | |
--- a/ports/unix/variants/coverage/mpconfigvariant.mk | |
+++ b/ports/unix/variants/coverage/mpconfigvariant.mk | |
@@ -7,9 +7,12 @@ CFLAGS += \ | |
-fprofile-arcs -ftest-coverage \ | |
-Wformat -Wmissing-declarations -Wmissing-prototypes \ | |
-Wold-style-definition -Wpointer-arith -Wshadow -Wuninitialized -Wunused-parameter \ | |
- -DMICROPY_UNIX_COVERAGE | |
+ -DMICROPY_UNIX_COVERAGE \ | |
+ -fsanitize=undefined | |
-LDFLAGS += -fprofile-arcs -ftest-coverage | |
+AXTLS_DEFS_EXTRA += -fno-sanitize=all | |
+ | |
+LDFLAGS += -fprofile-arcs -ftest-coverage -fsanitize=undefined | |
FROZEN_MANIFEST ?= $(VARIANT_DIR)/manifest.py | |
USER_C_MODULES = $(TOP)/examples/usercmodule | |
-- | |
2.29.2 | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment