Alexander_Droste created this revision.
Alexander_Droste added a reviewer: zaks.anna.
Alexander_Droste added subscribers: dcoughlin, xazax.hun, cfe-commits.
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.
http://reviews.llvm.org/D18595
Files:
test/Analysis/MPICheckerHelper.cpp
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);
+}
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);
+}
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
