clang: lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h File Reference (original) (raw)

This file provides definitions to model concepts of MPI.

The mpi::Request class defines a wrapper class, in order to make MPI requests trackable for path-sensitive analysis.

Definition in file MPITypes.h.