clang::consumed Namespace Reference

Classes
class	ConsumedWarningsHandlerBase
class	ConsumedStateMap
class	ConsumedBlockInfo
class	ConsumedAnalyzer
	A class that handles the analysis of uniqueness violations. More...
class	PropagationInfo
class	ConsumedStmtVisitor
Typedefs
typedef SmallVector < PartialDiagnosticAt, 1 >	OptionalNotes
typedef std::pair < PartialDiagnosticAt, OptionalNotes >	DelayedDiag
typedef std::list< DelayedDiag >	DiagList
Enumerations
enum	ConsumedState { CS_None, CS_Unknown, CS_Unconsumed, CS_Consumed }
enum	EffectiveOp { EO_And, EO_Or }
Functions
static void	setStateForVarOrTmp (ConsumedStateMap *StateMap, const PropagationInfo &PInfo, ConsumedState State)
void	splitVarStateForIf (const IfStmt *IfNode, const VarTestResult &Test, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates)
void	splitVarStateForIfBinOp (const PropagationInfo &PInfo, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates)

---

Typedef Documentation

typedef std::pair<PartialDiagnosticAt, OptionalNotes> clang::consumed::DelayedDiag

Definition at line 40 of file Consumed.h.

typedef std::list<DelayedDiag> clang::consumed::DiagList

Definition at line 41 of file Consumed.h.

typedef SmallVector<PartialDiagnosticAt, 1> clang::consumed::OptionalNotes

Definition at line 37 of file Consumed.h.

---

Enumeration Type Documentation

enum clang::consumed::ConsumedState

Enumerator:

CS_None
CS_Unknown
CS_Unconsumed
CS_Consumed

Definition at line 28 of file Consumed.h.

enum clang::consumed::EffectiveOp

Enumerator:

EO_And
EO_Or

Definition at line 285 of file Consumed.cpp.

---

Function Documentation

static void clang::consumed::setStateForVarOrTmp	(	ConsumedStateMap *	StateMap,
		const PropagationInfo &	PInfo,
		ConsumedState	State
	)		[inline, static]

Definition at line 445 of file Consumed.cpp.

References clang::consumed::PropagationInfo::getTmp(), clang::consumed::PropagationInfo::getVar(), clang::consumed::PropagationInfo::isTmp(), clang::consumed::PropagationInfo::isVar(), clang::consumed::ConsumedStateMap::setState(), and State.

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall().

void clang::consumed::splitVarStateForIf	(	const IfStmt *	IfNode,
		const VarTestResult &	Test,
		ConsumedStateMap *	ThenStates,
		ConsumedStateMap *	ElseStates
	)

Definition at line 949 of file Consumed.cpp.

References CS_Unknown, clang::consumed::ConsumedStateMap::getState(), invertConsumedUnconsumed(), clang::consumed::ConsumedStateMap::markUnreachable(), and clang::consumed::ConsumedStateMap::setState().

void clang::consumed::splitVarStateForIfBinOp	(	const PropagationInfo &	PInfo,
		ConsumedStateMap *	ThenStates,
		ConsumedStateMap *	ElseStates
	)

Definition at line 967 of file Consumed.cpp.

References CS_None, CS_Unknown, EO_And, clang::consumed::PropagationInfo::getLTest(), clang::consumed::PropagationInfo::getRTest(), clang::consumed::ConsumedStateMap::getState(), invertConsumedUnconsumed(), isKnownState(), clang::consumed::ConsumedStateMap::markUnreachable(), clang::consumed::ConsumedStateMap::setState(), and clang::consumed::PropagationInfo::testEffectiveOp().