endif()
endif()
+if(enable_address_sanitizer)
+ set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fsanitize=address -fno-omit-frame-pointer")
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=address -fno-omit-frame-pointer")
+ set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} -fsanitize=address")
+ set(TESH_OPTION --enable-sanitizers)
+endif()
+
+if(enable_thread_sanitizer)
+ set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fsanitize=thread -fno-omit-frame-pointer")
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=thread -fno-omit-frame-pointer")
+ set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} -fsanitize=thread")
+endif()
+
+if(enable_undefined_sanitizer)
+ set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -fsanitize=undefined -fno-omit-frame-pointer")
+ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fsanitize=undefined -fno-omit-frame-pointer")
+ set(CMAKE_C_LINK_FLAGS "${CMAKE_C_LINK_FLAGS} -fsanitize=undefined")
+endif()
+
if(NOT $ENV{CFLAGS} STREQUAL "")
message(STATUS "Add CFLAGS: \"$ENV{CFLAGS}\" to CMAKE_C_FLAGS")
set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} $ENV{CFLAGS}")
mark_as_advanced(enable_memcheck)
option(enable_memcheck_xml "Enable memcheck with xml output." off)
mark_as_advanced(enable_memcheck_xml)
+option(enable_address_sanitizer "Whether address sanitizer is turned on." off)
+mark_as_advanced(enable_address_sanitizer)
+option(enable_thread_sanitizer "Whether thread sanitizer is turned on." off)
+mark_as_advanced(enable_thread_sanitizer)
+option(enable_undefined_sanitizer "Whether undefined sanitizer is turned on." off)
+mark_as_advanced(enable_undefined_sanitizer)
# Cmake, Y U NO hide your garbage??
###
--- /dev/null
+#!/bin/sh
+
+set -e
+
+die() {
+ echo "$@"
+ exit 1
+}
+
+do_cleanup() {
+ for d in "$WORKSPACE/build"
+ do
+ if [ -d "$d" ]
+ then
+ rm -rf "$d" || die "Could not remote $d"
+ fi
+ done
+}
+
+### Check the node installation
+
+for pkg in xsltproc
+do
+ if command -v $pkg
+ then
+ echo "$pkg is installed. Good."
+ else
+ die "please install $pkg before proceeding"
+ fi
+done
+
+### Cleanup previous runs
+
+! [ -z "$WORKSPACE" ] || die "No WORKSPACE"
+[ -d "$WORKSPACE" ] || die "WORKSPACE ($WORKSPACE) does not exist"
+
+do_cleanup
+
+for d in "$WORKSPACE/build"
+do
+ mkdir "$d" || die "Could not create $d"
+done
+
+NUMPROC="$(nproc)" || NUMPROC=1
+
+cd $WORKSPACE/build
+
+ctest -D ExperimentalStart || true
+
+cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=ON \
+ -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
+ -Denable_jedule=ON -Denable_mallocators=ON \
+ -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \
+ -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=ON -Denable_coverage=OFF -Denable_address_sanitizer=ON $WORKSPACE
+
+make -j$NUMPROC
+ctest -D ExperimentalTest || true
+
+if [ -f Testing/TAG ] ; then
+ xsltproc $WORKSPACE/tools/jenkins/ctest2junit.xsl Testing/`head -n 1 < Testing/TAG`/Test.xml > CTestResults_address.xml
+ mv CTestResults_address.xml $WORKSPACE
+fi
+
+make clean
+
+export TSAN_OPTIONS="memory_limit_mb=1500"
+
+ctest -D ExperimentalStart || true
+
+cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=ON \
+ -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
+ -Denable_jedule=ON -Denable_mallocators=ON \
+ -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \
+ -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=ON -Denable_coverage=OFF -Denable_address_sanitizer=OFF -Denable_thread_sanitizer=ON $WORKSPACE
+
+make -j$NUMPROC
+ctest -D ExperimentalTest || true
+
+if [ -f Testing/TAG ] ; then
+ xsltproc $WORKSPACE/tools/jenkins/ctest2junit.xsl Testing/`head -n 1 < Testing/TAG`/Test.xml > CTestResults_thread.xml
+ mv CTestResults_thread.xml $WORKSPACE
+fi
+
+make clean
+
+ctest -D ExperimentalStart || true
+
+cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=ON \
+ -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON \
+ -Denable_jedule=ON -Denable_mallocators=ON \
+ -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \
+ -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=ON -Denable_coverage=OFF -Denable_address_sanitizer=OFF -Denable_thread_sanitizer=OFF -Denable_undefined_sanitizer=ON $WORKSPACE
+
+make -j$NUMPROC
+ctest -D ExperimentalTest || true
+
+if [ -f Testing/TAG ] ; then
+ xsltproc $WORKSPACE/tools/jenkins/ctest2junit.xsl Testing/`head -n 1 < Testing/TAG`/Test.xml > CTestResults_undefined.xml
+ mv CTestResults_undefined.xml $WORKSPACE
+fi
+
+
--cfg arg : add parameter --cfg=arg to each command line
--log arg : add parameter --log=arg to each command line
--enable-coverage : ignore output lines starting with "profiling:"
+ --enable-sanitizers : ignore output lines starting with containing warnings
=head1 TEST SUITE FILE SYTAX
}
my $enable_coverage = 0;
+my $enable_sanitizers = 0;
my $diff_tool = 0;
my $diff_tool_tmp_fh = 0;
my $diff_tool_tmp_filename = 0;
'cfg=s' => sub { $opts{'cfg'} .= " --cfg=$_[1]" },
'log=s' => sub { $opts{'log'} .= " --log=$_[1]" },
'enable-coverage+' => \$enable_coverage,
+ 'enable-sanitizers+' => \$enable_sanitizers,
);
$tesh_file = pop @ARGV;
$tesh_name =~ s|^.*?/([^/]*)$|$1|;
print "Enable coverage\n" if ($enable_coverage);
+print "Enable sanitizers\n" if ($enable_sanitizers);
if ($diff_tool) {
use File::Temp qw/ tempfile /;
chomp $got;
print $diff_tool_tmp_fh "> $got\n" if ($diff_tool);
- unless ( $enable_coverage and $got =~ /^profiling:/ ) {
+ unless (( $enable_coverage and $got =~ /^profiling:/ ) or
+ ( $enable_sanitizers and $got =~ m/WARNING: ASan doesn't fully support/))
+ {
push @got, $got;
- }
+ }
}
# How did the child process terminate?