clang API Documentation
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 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.
Definition at line 28 of file Consumed.h.
Definition at line 285 of file Consumed.cpp.
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().