| /external/llvm-project/clang/test/Analysis/ |
| D | mpicheckernotes.cpp | 9 MPI_Request sendReq; in doubleNonblocking() local
10 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-note{{Request is previ… in doubleNonblocking()
11 …MPI_Irecv(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in doubleNonblocking()
12 MPI_Wait(&sendReq, MPI_STATUS_IGNORE); in doubleNonblocking()
17 MPI_Request sendReq; in missingWait() local
18 …MPI_Ireduce(MPI_IN_PLACE, &buf, 1, MPI_DOUBLE, MPI_SUM, 0, MPI_COMM_WORLD, &sendReq); // expected-… in missingWait()
27 MPI_Request sendReq; in tripleNonblocking() local
28 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-note 2{{Request is pre… in tripleNonblocking()
29 …MPI_Irecv(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
31 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
[all …]
|
| D | mpichecker.cpp | 123 MPI_Request sendReq; in tripleNonblocking() local
124 MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); in tripleNonblocking()
125 …MPI_Irecv(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
126 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
127 MPI_Wait(&sendReq, MPI_STATUS_IGNORE); in tripleNonblocking()
149 MPI_Request sendReq; in missingNonBlocking3() local
150 …MPI_Wait(&sendReq, MPI_STATUS_IGNORE); // expected-warning{{Request 'sendReq' has no matching nonb… in missingNonBlocking3()
156 MPI_Request sendReq[4]; in missingNonBlockingMultiple() local
158 …MPI_Wait(&sendReq[i], MPI_STATUS_IGNORE); // expected-warning-re 1+{{Request {{.*}} has no matchin… in missingNonBlockingMultiple()
|
| /external/clang/test/Analysis/ |
| D | mpicheckernotes.cpp | 9 MPI_Request sendReq; in doubleNonblocking() local
10 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-note{{Request is previ… in doubleNonblocking()
11 …MPI_Irecv(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in doubleNonblocking()
12 MPI_Wait(&sendReq, MPI_STATUS_IGNORE); in doubleNonblocking()
17 MPI_Request sendReq; in missingWait() local
18 …MPI_Ireduce(MPI_IN_PLACE, &buf, 1, MPI_DOUBLE, MPI_SUM, 0, MPI_COMM_WORLD, &sendReq); // expected-… in missingWait()
27 MPI_Request sendReq; in tripleNonblocking() local
28 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-note 2{{Request is pre… in tripleNonblocking()
29 …MPI_Irecv(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
31 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
[all …]
|
| D | mpichecker.cpp | 123 MPI_Request sendReq; in tripleNonblocking() local
124 MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); in tripleNonblocking()
125 …MPI_Irecv(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
126 …MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // expected-warning{{Double nonblo… in tripleNonblocking()
127 MPI_Wait(&sendReq, MPI_STATUS_IGNORE); in tripleNonblocking()
149 MPI_Request sendReq; in missingNonBlocking3() local
150 …MPI_Wait(&sendReq, MPI_STATUS_IGNORE); // expected-warning{{Request 'sendReq' has no matching nonb… in missingNonBlocking3()
156 MPI_Request sendReq[4]; in missingNonBlockingMultiple() local
158 …MPI_Wait(&sendReq[i], MPI_STATUS_IGNORE); // expected-warning-re 1+{{Request {{.*}} has no matchin… in missingNonBlockingMultiple()
|
| /external/llvm-project/clang/docs/analyzer/ |
| D | checkers.rst | 581 MPI_Request sendReq;
582 MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq);
583 MPI_Irecv(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // warn
584 MPI_Isend(&buf, 1, MPI_DOUBLE, 0, 0, MPI_COMM_WORLD, &sendReq); // warn
585 MPI_Wait(&sendReq, MPI_STATUS_IGNORE);
|