MPI-Checker test helper

[Alexander_Droste]

Summary

This file contains definitions that help to test MPI-Checker functionality,
on function bodies not visible to the analyzer, as they are defined in a distinct
translation unit. The main MPI-Checker testfile is MPIChecker.cpp.

[zaks.anna]

You do not have to supply these. Just declaring and not defining the functions in the main test file should be sufficient.

test/Analysis/MPICheckerHelper.cpp

+// This file contains definitions that help to test MPI-Checker functionality,
+// on functions not visible to the analyzer, as they are defined in a distinct
+// translation unit. The main MPI-Checker testfile is MPIChecker.cpp.
+
+#include "MPIMock.h"
+
+void callNonblockingExtern(MPI_Request *req) {
+  static double buf = 0;
+  MPI_Ireduce(MPI_IN_PLACE, &buf, 1, MPI_DOUBLE, MPI_SUM, 0, MPI_COMM_WORLD,
+              req);
+}
+
+void callWaitExtern(MPI_Request *req) {
+  MPI_Wait(req, MPI_STATUS_IGNORE);
+}