https://bugs.llvm.org/show_bug.cgi?id=47985
Bug ID: 47985
Summary: MPI-Checker wrongly reports missing wait
Product: clang
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Static Analyzer
Assignee: dcough...@apple.com
Reporter: rr.underwoo...@gmail.com
CC: dcough...@apple.com, llvm-bugs@lists.llvm.org
Created attachment 24104
--> https://bugs.llvm.org/attachment.cgi?id=24104&action=edit
reproducer
MPI-Checker incorrectly warns for "no matching wait" when a non-blocking
collective request is completed using MPI_Test rather than MPI_Wait. Attaching
a minimal reproducer.
The relevant section of the MPI Standard is as follows:
(3.7.3) "The functions MPI_WAIT and MPI_TEST are used to complete a nonblocking
communication...A call to MPI_TEST returns flag = true if the operation
identified by request is complete. In such a case, the status object is set to
contain information on the completed operation... [if the request is not an
active persistant request, it] ... is deallocated and the request handle is set
to MPI_REQUEST_NULL"
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
