[FFmpeg-devel] [PATCH] configure: do not add --fsanitize= if coverage is tested

Michael Niedermayer michael at niedermayer.cc
Sun Aug 19 23:40:18 EEST 2018


Found-by: Max Moroz
Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 9b5421d5a8..b9c9d0b307 100755
--- a/configure
+++ b/configure
@@ -3964,7 +3964,7 @@ set >> $logfile
 
 test -n "$valgrind" && toolchain="valgrind-memcheck"
 
-enabled ossfuzz && ! echo $CFLAGS | grep -q -- "-fsanitize="  &&{
+enabled ossfuzz && ! echo $CFLAGS | grep -q -- "-fsanitize="  && ! echo $CFLAGS | grep -q -- "-fcoverage-mapping" &&{
     add_cflags  -fsanitize=address,undefined -fsanitize-coverage=trace-pc-guard,trace-cmp -fno-omit-frame-pointer
     add_ldflags -fsanitize=address,undefined -fsanitize-coverage=trace-pc-guard,trace-cmp
 }
-- 
2.18.0



More information about the ffmpeg-devel mailing list