]> git.sesse.net Git - ffmpeg/commitdiff
configure: support gcc-4.8 instrumentation
authorLuca Barbato <lu_zero@gentoo.org>
Tue, 14 May 2013 20:41:14 +0000 (22:41 +0200)
committerLuca Barbato <lu_zero@gentoo.org>
Tue, 28 May 2013 15:22:16 +0000 (17:22 +0200)
Since version 4.8 gcc sports asan and tsan integration that can
be leveraged when hunting bugs.

Signed-off-by: Luca Barbato <lu_zero@gentoo.org>
configure

index 616e4bd719675e78cc094de2b5e9556fc1f68d80..e890c155e93f0a56c1c303b4a595d7e43f98e82e 100755 (executable)
--- a/configure
+++ b/configure
@@ -2214,6 +2214,16 @@ case "$toolchain" in
         add_cflags  -fsanitize=thread -pie
         add_ldflags -fsanitize=thread -pie
     ;;
+    gcc-asan)
+        cc_default="gcc"
+        add_cflags  -fsanitize=address
+        add_ldflags -fsanitize=address
+    ;;
+    gcc-tsan)
+        cc_default="gcc"
+        add_cflags  -fsanitize=thread -pie -fPIC
+        add_ldflags -fsanitize=thread -pie -fPIC
+    ;;
     valgrind-massif)
         target_exec_default="valgrind"
         target_exec_args="--alloc-fn=av_malloc --alloc-fn=av_mallocz"