gustavonihei commented on a change in pull request #4743:
URL: https://github.com/apache/incubator-nuttx/pull/4743#discussion_r740459260
##########
File path: arch/arm/src/arm/Toolchain.defs
##########
@@ -67,6 +67,10 @@ else
MAXOPTIMIZATION ?= -Os
endif
+ifeq ($(CONFIG_MM_KASAN),y)
+ MAXOPTIMIZATION += -fsanitize=kernel-address
Review comment:
Adding it as an "optimization option" seems conceptually wrong. We
should create another variable for the instrumentation options.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
