1 files changed, 29 insertions, 6 deletions
diff --git a/test/monniaux/picosat-965/onefile/testcmp.sh b/test/monniaux/picosat-965/onefile/testcmp.sh
index bab609e2..2228c675 100755
--- a/test/monniaux/picosat-965/onefile/testcmp.sh
+++ b/test/monniaux/picosat-965/onefile/testcmp.sh
@@ -2,15 +2,20 @@ DEFINES="-DNALARM -DNZIP -DNGETRUSAGE -DNDEBUG"
 COMPCERT=/local/monniaux/Kalray/mppa-RTLpathSE-verif-hash-junk
 DATA=$COMPCERT/test/monniaux/picosat-965/tiny.dat
 CCOMP="$COMPCERT/ccomp -fbitfields -fduplicate 2 -fall-loads-nontrap $DEFINES"
-GCC="kvx-cos-gcc -O -Wimplicit -Wuninitialized -Werror $DEFINES"
-HOSTCC1="gcc -O -Wimplicit -Wuninitialized -Werror $DEFINES"
-HOSTCC2="gcc -O -Wimplicit -Wuninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES"
-HOSTCC3="gcc -O3 -Wimplicit -Wuninitialized -Werror $DEFINES"
-HOSTCC4="clang -O -Wimplicit -Wuninitialized -Werror $DEFINES"
-HOSTCC5="clang -O -Wimplicit -Wuninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES"
+GCC="kvx-cos-gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
+HOSTCC0="gcc -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
+HOSTCC1="gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
+HOSTCC2="gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES"
+HOSTCC3="gcc -O3 -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES"
+HOSTCC4="clang -Wimplicit -Wuninitialized -Werror $DEFINES"
+HOSTCC5="clang -Wimplicit -Wuninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES"
 CFILES="picosat.c"
 SIMU="kvx-cluster --timeout=100000 -- "
 
+if ! $HOSTCC0 $CFILES -o picosat.cc0.host ;
+then exit 30 ;
+fi
+
 if ! $HOSTCC1 $CFILES -o picosat.cc1.host ;
 then exit 31 ;
 fi
@@ -31,11 +36,21 @@ if ! $HOSTCC5 $CFILES -o picosat.cc5.host ;
 then exit 35 ;
 fi
 
+timeout 1 ./picosat.cc0.host $DATA 2>&1 > picosat.cc0.out
+if [ $? -ge 100 ];
+then exit 40 ;
+fi
+
 timeout 1 ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.out
 if [ $? -ge 100 ];
 then exit 41 ;
 fi
 
+timeout 1 valgrind --log-file=picosat.cc0.valgrind.log ./picosat.cc0.host $DATA 2>&1 > picosat.cc0.valgrind.out
+if [ $? -ge 100 ];
+then exit 50 ;
+fi
+
 timeout 1 valgrind --log-file=picosat.cc1.valgrind.log ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.valgrind.out
 if [ $? -ge 100 ];
 then exit 51 ;
@@ -61,6 +76,14 @@ if [ $? -ge 100 ];
 then exit 45 ;
 fi
 
+if ! cmp picosat.cc0.out picosat.cc1.out ;
+then exit 60 ;
+fi
+
+if ! cmp picosat.cc0.out picosat.cc0.valgrind.out ;
+then exit 70 ;
+fi
+
 if ! cmp picosat.cc1.out picosat.cc1.valgrind.out ;
 then exit 61 ;
 fi