Multi-threaded search testing with valgrind

Also check with valgrind the multi-threaded search.

On top of the fix for issue #1227 (PR #1235).

No functional change.

diff --git a/.travis.yml b/.travis.yml
index c42badd4897fce2a362a6f0c3023299db82277d8..02e35bc9c91eabfd4d1fc52fc7e68cdf5b603016 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -63,6 +63,7 @@ script:
   #
   - export CXXFLAGS=-O1
   - if [ -x "$(command -v valgrind )" ]; then make clean && make -j2 ARCH=x86-64 debug=yes optimize=no build > /dev/null && ../tests/instrumented.sh --valgrind; fi
+  - if [ -x "$(command -v valgrind )" ]; then ../tests/instrumented.sh --valgrind-thread; fi
   #
   # Sanitizer
   #

diff --git a/tests/instrumented.sh b/tests/instrumented.sh
index 878d6cb05739a556445babc7c40a26a93530cc81..2cae793cdf2d957b2d41f390c3cec4a67029fca1 100755 (executable)
--- a/tests/instrumented.sh
+++ b/tests/instrumented.sh
@@ -17,15 +17,22 @@ case $1 in
     postfix='1>/dev/null'
     threads="1"
   ;;
+  --valgrind-thread)
+    echo "valgrind-thread testing started"
+    prefix=''
+    exeprefix='valgrind --error-exitcode=42'
+    postfix='1>/dev/null'
+    threads="2"
+  ;;
   --sanitizer-undefined)
-    echo "sanitizer testing started"
+    echo "sanitizer-undefined testing started"
     prefix='!'
     exeprefix=''
     postfix='2>&1 | grep "runtime error:"'
     threads="1"
   ;;
   --sanitizer-thread)
-    echo "sanitizer testing started"
+    echo "sanitizer-thread testing started"
     prefix='!'
     exeprefix=''
     postfix='2>&1 | grep "WARNING: ThreadSanitizer:"'