Skip to content

Instantly share code, notes, and snippets.

@jepler
Created May 10, 2021 19:58
Show Gist options
  • Save jepler/bc669a1f68d413afa2b9c1b14fd9956b to your computer and use it in GitHub Desktop.
Save jepler/bc669a1f68d413afa2b9c1b14fd9956b to your computer and use it in GitHub Desktop.
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