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

Go to the documentation of this file.

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16#ifndef LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPITYPES_H

17#define LLVM_CLANG_LIB_STATICANALYZER_CHECKERS_MPICHECKER_MPITYPES_H

18

21#include "llvm/ADT/SmallSet.h"

22

24namespace ento {

25namespace mpi {

26

28public:

30

32

33 void Profile(llvm::FoldingSetNodeID &Id) const {

35 }

36

39 }

40

42};

43

44

45

46

47

52

53}

54

55template <>

59 static int index = 0;

60 return &index;

61 }

62};

63

64}

65}

66#endif

This file defines functionality to identify and classify MPI functions.

MemRegion - The root abstract class for all memory regions.

void Profile(llvm::FoldingSetNodeID &Id) const

bool operator==(const Request &ToCompare) const

llvm::ImmutableMap< const clang::ento::MemRegion *, clang::ento::mpi::Request > RequestMapImpl

The JSON file list parser is used to communicate input to InstallAPI.