Index: test/Analysis/MPICheckerHelper.cpp
===================================================================
--- test/Analysis/MPICheckerHelper.cpp
+++ test/Analysis/MPICheckerHelper.cpp
@@ -0,0 +1,15 @@
+// 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);
+}