clang::ento::ProgramStateTrait< mpi::RequestMap > Struct Reference

#include "/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h"

Inheritance diagram for clang::ento::ProgramStateTrait< mpi::RequestMap >:

Public Types
typedef mpi::RequestMap::data_type	data_type

Static Public Member Functions
static void *	GDMIndex ()
static void *	MakeVoidPtr (data_type D)
static data_type	MakeData (void *const *P)

Detailed Description

Definition at line 56 of file MPITypes.h.

Member Typedef Documentation

data_type

typedef mpi::RequestMap::data_type clang::ento::ProgramStateTrait< mpi::RequestMap >::data_type

Definition at line 52 of file ProgramState.h.

Member Function Documentation

GDMIndex()

void * clang::ento::ProgramStateTrait< mpi::RequestMap >::GDMIndex ( )

inlinestatic

Definition at line 58 of file MPITypes.h.

MakeData()

data_type clang::ento::ProgramStateTrait< mpi::RequestMap >::MakeData ( void *const * P )

inlinestatic

Definition at line 54 of file ProgramState.h.

MakeVoidPtr()

void * clang::ento::ProgramStateTrait< mpi::RequestMap >::MakeVoidPtr ( data_type D )

inlinestatic

Definition at line 53 of file ProgramState.h.

---

The documentation for this struct was generated from the following file:

• lib/StaticAnalyzer/Checkers/MPI-Checker/MPITypes.h