|
clang
5.0.0
|
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) |
| static void | splitVarStateForIf (const IfStmt *IfNode, const VarTestResult &Test, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates) |
| static void | splitVarStateForIfBinOp (const PropagationInfo &PInfo, ConsumedStateMap *ThenStates, ConsumedStateMap *ElseStates) |
| 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.
Definition at line 37 of file Consumed.h.
| Enumerator | |
|---|---|
| CS_None | |
| CS_Unknown | |
| CS_Unconsumed | |
| CS_Consumed | |
Definition at line 28 of file Consumed.h.
| Enumerator | |
|---|---|
| EO_And | |
| EO_Or | |
Definition at line 282 of file Consumed.cpp.
|
inlinestatic |
Definition at line 442 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().
|
static |
Definition at line 952 of file Consumed.cpp.
References CS_Unknown, clang::consumed::ConsumedStateMap::getState(), invertConsumedUnconsumed(), clang::consumed::ConsumedStateMap::markUnreachable(), and clang::consumed::ConsumedStateMap::setState().
|
static |
Definition at line 969 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().
1.8.6