List of all unexpected defects found by CIVL:


MPI:

wave1dBad.c (mpi) : the two cells at two ends of the array "u_next"
should be initialized as zero but are not



CUDA:

mm.cu (cuda) : uninitialized variable and incorrect array index
expression



OpenMP:

omp_bug5fix.c (omp) : i should have been declared private

dotProduct_critical.c (omp) : tid should have been declared private



Pthreads:

hello_arg1.c (pthread/llnl): memory leak



MPI+Pthreads:

mp_mat_vec.c (mpi-pthread) : race condition leading to array index out
of bound 



MPI+OpenMP:

mpi-omp-mat-vect-mult-blkstp.c (mpi-omp) : failure to free Vector in
all procs (memory leak), deadlock due to MPI_Gather called only by
Proc 0

mpi-omp-mat-infnorm-blkstp.c (mpi-omp) : failure to free the rows
of the matrix (as they were malloced)
