[llvm-bugs] [Bug 47985] New: MPI-Checker wrongly reports missing wait

[via llvm-bugs]

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: dcoughlin at apple.com
          Reporter: rr.underwood94 at gmail.com
                CC: dcoughlin at apple.com, llvm-bugs at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20201026/499d3bf3/attachment.html>