Files
valgrind/mpi
Paul Floyd 89da13e731 mpi: remove NULL checks before frees
As Coverity points out, paths reaching these NULL checks will
have already dereferenced the pointers. So use the same condition
as for the allocation.
2023-11-21 21:58:36 +01:00
..
2022-04-07 23:44:02 +02:00