clang::threadSafety::CFGBlockInfo Struct Reference

Collaboration diagram for clang::threadSafety::CFGBlockInfo:

List of all members.

Public Member Functions
const FactSet &	getSet (CFGBlockSide Side) const
SourceLocation	getLocation (CFGBlockSide Side) const
Static Public Member Functions
static CFGBlockInfo	getEmptyBlockInfo (LocalVariableMap &M)
Public Attributes
FactSet	EntrySet
FactSet	ExitSet
LocalVarContext	EntryContext
LocalVarContext	ExitContext
SourceLocation	EntryLoc
SourceLocation	ExitLoc
unsigned	EntryIndex
bool	Reachable

---

Detailed Description

CFGBlockInfo is a struct which contains all the information that is maintained for each block in the CFG. See LocalVariableMap for more information about the contexts.

Definition at line 251 of file ThreadSafety.cpp.

---

Member Function Documentation

CFGBlockInfo clang::threadSafety::CFGBlockInfo::getEmptyBlockInfo

(

LocalVariableMap &

M

)

[static]

Definition at line 492 of file ThreadSafety.cpp.

References clang::threadSafety::LocalVariableMap::getEmptyContext().

Referenced by clang::threadSafety::ThreadSafetyAnalyzer::runAnalysis().

SourceLocation clang::threadSafety::CFGBlockInfo::getLocation

(

CFGBlockSide

Side

)

const [inline]

Definition at line 264 of file ThreadSafety.cpp.

References clang::threadSafety::CBS_Entry, EntryLoc, and ExitLoc.

const FactSet& clang::threadSafety::CFGBlockInfo::getSet

(

CFGBlockSide

Side

)

const [inline]

Definition at line 261 of file ThreadSafety.cpp.

References clang::threadSafety::CBS_Entry, EntrySet, and ExitSet.

---

Member Data Documentation

LocalVarContext clang::threadSafety::CFGBlockInfo::EntryContext

Definition at line 254 of file ThreadSafety.cpp.

Referenced by clang::threadSafety::LocalVariableMap::traverseCFG().

unsigned clang::threadSafety::CFGBlockInfo::EntryIndex

Definition at line 258 of file ThreadSafety.cpp.

Referenced by clang::threadSafety::LocalVariableMap::traverseCFG().

SourceLocation clang::threadSafety::CFGBlockInfo::EntryLoc

Definition at line 256 of file ThreadSafety.cpp.

Referenced by clang::threadSafety::findBlockLocations(), getLocation(), and clang::threadSafety::ThreadSafetyAnalyzer::runAnalysis().

FactSet clang::threadSafety::CFGBlockInfo::EntrySet

Definition at line 252 of file ThreadSafety.cpp.

Referenced by getSet(), and clang::threadSafety::ThreadSafetyAnalyzer::runAnalysis().

LocalVarContext clang::threadSafety::CFGBlockInfo::ExitContext

Definition at line 255 of file ThreadSafety.cpp.

Referenced by clang::threadSafety::ThreadSafetyAnalyzer::getEdgeLockset(), and clang::threadSafety::LocalVariableMap::traverseCFG().

SourceLocation clang::threadSafety::CFGBlockInfo::ExitLoc

Definition at line 257 of file ThreadSafety.cpp.

Referenced by clang::threadSafety::findBlockLocations(), getLocation(), and clang::threadSafety::ThreadSafetyAnalyzer::runAnalysis().

FactSet clang::threadSafety::CFGBlockInfo::ExitSet

Definition at line 253 of file ThreadSafety.cpp.

Referenced by getSet(), and clang::threadSafety::ThreadSafetyAnalyzer::runAnalysis().

bool clang::threadSafety::CFGBlockInfo::Reachable

Definition at line 259 of file ThreadSafety.cpp.

Referenced by clang::threadSafety::ThreadSafetyAnalyzer::runAnalysis().

---

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

• ThreadSafety.cpp