[clang] [analyzer] Recognize missing MPI collectives in MPI-Checker (PR #209263)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Jul 14 07:19:36 PDT 2026


================
@@ -174,6 +174,48 @@ void MPIFunctionClassifier::initCollectiveIdentifiers(ASTContext &ASTCtx) {
   MPINonBlockingTypes.push_back(IdentInfo_MPI_Ialltoall);
   MPIType.push_back(IdentInfo_MPI_Ialltoall);
   assert(IdentInfo_MPI_Ialltoall);
+
+  // Register the remaining standard collectives. These are not referenced by
+  // any of the individual is<Kind>Type() predicates, so they don't need a
+  // dedicated IdentifierInfo member; the checker only relies on them being
+  // classified as collective / nonblocking. All nonblocking (MPI_I...)
+  // variants take an MPI_Request as their last argument.
----------------
steakhal wrote:

Dropped the comment in ff28b1c55ff490e471581b04bdb7d24762450b47

https://github.com/llvm/llvm-project/pull/209263


More information about the cfe-commits mailing list