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