1*67e74705SXin Li // RUN: %clang_cc1 -analyze -analyzer-checker=optin.mpi.MPI-Checker -verify %s
2*67e74705SXin Li
3*67e74705SXin Li #include "MPIMock.h"
4*67e74705SXin Li
5*67e74705SXin Li // Use MPI-Checker to test 'getDescriptiveName', as the checker uses the
6*67e74705SXin Li // function for diagnostics.
testGetDescriptiveName()7*67e74705SXin Li void testGetDescriptiveName() {
8*67e74705SXin Li int rank = 0;
9*67e74705SXin Li MPI_Comm_rank(MPI_COMM_WORLD, &rank);
10*67e74705SXin Li MPI_Request sendReq1;
11*67e74705SXin Li MPI_Wait(&sendReq1, MPI_STATUS_IGNORE); // expected-warning{{Request 'sendReq1' has no matching nonblocking call.}}
12*67e74705SXin Li }
13*67e74705SXin Li
testGetDescriptiveName2()14*67e74705SXin Li void testGetDescriptiveName2() {
15*67e74705SXin Li int rank = 0;
16*67e74705SXin Li MPI_Comm_rank(MPI_COMM_WORLD, &rank);
17*67e74705SXin Li MPI_Request sendReq1[10][10][10];
18*67e74705SXin Li MPI_Wait(&sendReq1[1][7][9], MPI_STATUS_IGNORE); // expected-warning{{Request 'sendReq1[1][7][9]' has no matching nonblocking call.}}
19*67e74705SXin Li }
20*67e74705SXin Li
testGetDescriptiveName3()21*67e74705SXin Li void testGetDescriptiveName3() {
22*67e74705SXin Li int rank = 0;
23*67e74705SXin Li MPI_Comm_rank(MPI_COMM_WORLD, &rank);
24*67e74705SXin Li typedef struct { MPI_Request req; } ReqStruct;
25*67e74705SXin Li ReqStruct rs;
26*67e74705SXin Li MPI_Request *r = &rs.req;
27*67e74705SXin Li MPI_Wait(r, MPI_STATUS_IGNORE); // expected-warning{{Request 'rs.req' has no matching nonblocking call.}}
28*67e74705SXin Li }
29*67e74705SXin Li
testGetDescriptiveName4()30*67e74705SXin Li void testGetDescriptiveName4() {
31*67e74705SXin Li int rank = 0;
32*67e74705SXin Li MPI_Comm_rank(MPI_COMM_WORLD, &rank);
33*67e74705SXin Li typedef struct { MPI_Request req[2][2]; } ReqStruct;
34*67e74705SXin Li ReqStruct rs;
35*67e74705SXin Li MPI_Request *r = &rs.req[0][1];
36*67e74705SXin Li MPI_Wait(r, MPI_STATUS_IGNORE); // expected-warning{{Request 'rs.req[0][1]' has no matching nonblocking call.}}
37*67e74705SXin Li }
38*67e74705SXin Li
testGetDescriptiveName5()39*67e74705SXin Li void testGetDescriptiveName5() {
40*67e74705SXin Li int rank = 0;
41*67e74705SXin Li MPI_Comm_rank(MPI_COMM_WORLD, &rank);
42*67e74705SXin Li typedef struct { MPI_Request req; } ReqStructInner;
43*67e74705SXin Li typedef struct { ReqStructInner req; } ReqStruct;
44*67e74705SXin Li ReqStruct rs;
45*67e74705SXin Li MPI_Request *r = &rs.req.req;
46*67e74705SXin Li MPI_Wait(r, MPI_STATUS_IGNORE); // expected-warning{{Request 'rs.req.req' has no matching nonblocking call.}}
47*67e74705SXin Li }
48