clang  6.0.0svn
Classes | Typedefs | Enumerations | Functions
clang::consumed Namespace Reference

Classes

class  ConsumedAnalyzer
 A class that handles the analysis of uniqueness violations. More...
 
class  ConsumedBlockInfo
 
class  ConsumedStateMap
 
class  ConsumedStmtVisitor
 
class  ConsumedWarningsHandlerBase
 
class  PropagationInfo
 

Typedefs

typedef SmallVector< PartialDiagnosticAt, 1 > OptionalNotes
 
typedef std::pair< PartialDiagnosticAt, OptionalNotesDelayedDiag
 
typedef std::list< DelayedDiagDiagList
 

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)
 
static void splitVarStateForIf (const IfStmt *IfNode, const VarTestResult &Test, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates)
 
static void splitVarStateForIfBinOp (const PropagationInfo &PInfo, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates)
 

Typedef Documentation

◆ DelayedDiag

Definition at line 40 of file Consumed.h.

◆ DiagList

Definition at line 41 of file Consumed.h.

◆ OptionalNotes

Definition at line 37 of file Consumed.h.

Enumeration Type Documentation

◆ ConsumedState

Enumerator
CS_None 
CS_Unknown 
CS_Unconsumed 
CS_Consumed 

Definition at line 28 of file Consumed.h.

◆ EffectiveOp

Enumerator
EO_And 
EO_Or 

Definition at line 282 of file Consumed.cpp.

Function Documentation

◆ setStateForVarOrTmp()

static void clang::consumed::setStateForVarOrTmp ( ConsumedStateMap StateMap,
const PropagationInfo PInfo,
ConsumedState  State 
)
inlinestatic

◆ splitVarStateForIf()

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

◆ splitVarStateForIfBinOp()

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