clang::consumed::PropagationInfo Class Reference

Public Member Functions
	PropagationInfo ()=default
	PropagationInfo (const VarTestResult &VarTest)
	PropagationInfo (const VarDecl *Var, ConsumedState TestsFor)
	PropagationInfo (const BinaryOperator *Source, EffectiveOp EOp, const VarTestResult &LTest, const VarTestResult &RTest)
	PropagationInfo (const BinaryOperator *Source, EffectiveOp EOp, const VarDecl *LVar, ConsumedState LTestsFor, const VarDecl *RVar, ConsumedState RTestsFor)
	PropagationInfo (ConsumedState State)
	PropagationInfo (const VarDecl *Var)
	PropagationInfo (const CXXBindTemporaryExpr *Tmp)
const ConsumedState &	getState () const
const VarTestResult &	getVarTest () const
const VarTestResult &	getLTest () const
const VarTestResult &	getRTest () const
const VarDecl *	getVar () const
const CXXBindTemporaryExpr *	getTmp () const
ConsumedState	getAsState (const ConsumedStateMap *StateMap) const
EffectiveOp	testEffectiveOp () const
const BinaryOperator *	testSourceNode () const
bool	isValid () const
bool	isState () const
bool	isVarTest () const
bool	isBinTest () const
bool	isVar () const
bool	isTmp () const
bool	isTest () const
bool	isPointerToValue () const
PropagationInfo	invertTest () const

Detailed Description

Definition at line 289 of file Consumed.cpp.

Constructor & Destructor Documentation

PropagationInfo() [1/8]

clang::consumed::PropagationInfo::PropagationInfo ( )

default

Referenced by invertTest().

PropagationInfo() [2/8]

clang::consumed::PropagationInfo::PropagationInfo ( const VarTestResult &  VarTest )

inline

Definition at line 316 of file Consumed.cpp.

PropagationInfo() [3/8]

clang::consumed::PropagationInfo::PropagationInfo ( const VarDecl *  Var, ConsumedState  TestsFor  )

inline

Definition at line 319 of file Consumed.cpp.

References Var, and VarTest.

PropagationInfo() [4/8]

clang::consumed::PropagationInfo::PropagationInfo ( const BinaryOperator *  Source, EffectiveOp  EOp, const VarTestResult &  LTest, const VarTestResult &  RTest  )

inline

Definition at line 325 of file Consumed.cpp.

References BinTest.

PropagationInfo() [5/8]

clang::consumed::PropagationInfo::PropagationInfo ( const BinaryOperator *  Source, EffectiveOp  EOp, const VarDecl *  LVar, ConsumedState  LTestsFor, const VarDecl *  RVar, ConsumedState  RTestsFor  )

inline

Definition at line 334 of file Consumed.cpp.

References BinTest.

PropagationInfo() [6/8]

clang::consumed::PropagationInfo::PropagationInfo ( ConsumedState  State )

inline

Definition at line 346 of file Consumed.cpp.

PropagationInfo() [7/8]

clang::consumed::PropagationInfo::PropagationInfo ( const VarDecl *  Var )

inline

Definition at line 348 of file Consumed.cpp.

PropagationInfo() [8/8]

clang::consumed::PropagationInfo::PropagationInfo ( const CXXBindTemporaryExpr *  Tmp )

inline

Definition at line 349 of file Consumed.cpp.

Member Function Documentation

getAsState()

ConsumedState clang::consumed::PropagationInfo::getAsState ( const ConsumedStateMap *  StateMap ) const

inline

Definition at line 382 of file Consumed.cpp.

References clang::consumed::CS_None, clang::consumed::ConsumedStateMap::getState(), isState(), isTmp(), isVar(), State, Tmp, and Var.

Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability(), clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitVarDecl().

getLTest()

const VarTestResult & clang::consumed::PropagationInfo::getLTest ( ) const

inline

Definition at line 362 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

getRTest()

const VarTestResult & clang::consumed::PropagationInfo::getRTest ( ) const

inline

Definition at line 367 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

getState()

const ConsumedState & clang::consumed::PropagationInfo::getState ( ) const

inline

Definition at line 352 of file Consumed.cpp.

References State.

getTmp()

const CXXBindTemporaryExpr * clang::consumed::PropagationInfo::getTmp ( ) const

inline

Definition at line 377 of file Consumed.cpp.

References Tmp.

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and setStateForVarOrTmp().

getVar()

const VarDecl * clang::consumed::PropagationInfo::getVar ( ) const

inline

Definition at line 372 of file Consumed.cpp.

References Var.

Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability(), clang::consumed::ConsumedStmtVisitor::handleCall(), and setStateForVarOrTmp().

getVarTest()

const VarTestResult & clang::consumed::PropagationInfo::getVarTest ( ) const

inline

Definition at line 357 of file Consumed.cpp.

References VarTest.

invertTest()

PropagationInfo clang::consumed::PropagationInfo::invertTest ( ) const

inline

Definition at line 420 of file Consumed.cpp.

References BinTest, clang::consumed::EO_And, clang::consumed::EO_Or, invertConsumedUnconsumed(), PropagationInfo(), and VarTest.

isBinTest()

bool clang::consumed::PropagationInfo::isBinTest ( ) const

inline

Definition at line 408 of file Consumed.cpp.

isPointerToValue()

bool clang::consumed::PropagationInfo::isPointerToValue ( ) const

inline

Definition at line 416 of file Consumed.cpp.

isState()

bool clang::consumed::PropagationInfo::isState ( ) const

inline

Definition at line 406 of file Consumed.cpp.

Referenced by getAsState().

isTest()

bool clang::consumed::PropagationInfo::isTest ( ) const

inline

Definition at line 412 of file Consumed.cpp.

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

isTmp()

bool clang::consumed::PropagationInfo::isTmp ( ) const

inline

Definition at line 410 of file Consumed.cpp.

Referenced by getAsState(), clang::consumed::ConsumedStmtVisitor::handleCall(), and setStateForVarOrTmp().

isValid()

bool clang::consumed::PropagationInfo::isValid ( ) const

inline

Definition at line 405 of file Consumed.cpp.

isVar()

bool clang::consumed::PropagationInfo::isVar ( ) const

inline

Definition at line 409 of file Consumed.cpp.

Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability(), getAsState(), clang::consumed::ConsumedStmtVisitor::handleCall(), and setStateForVarOrTmp().

isVarTest()

bool clang::consumed::PropagationInfo::isVarTest ( ) const

inline

Definition at line 407 of file Consumed.cpp.

testEffectiveOp()

EffectiveOp clang::consumed::PropagationInfo::testEffectiveOp ( ) const

inline

Definition at line 395 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

testSourceNode()

const BinaryOperator * clang::consumed::PropagationInfo::testSourceNode ( ) const

inline

Definition at line 400 of file Consumed.cpp.

References BinTest.

Member Data Documentation

BinTest

BinTestTy clang::consumed::PropagationInfo::BinTest

Definition at line 311 of file Consumed.cpp.

Referenced by getLTest(), getRTest(), invertTest(), PropagationInfo(), testEffectiveOp(), and testSourceNode().

State

ConsumedState clang::consumed::PropagationInfo::State

Definition at line 307 of file Consumed.cpp.

Referenced by getAsState(), and getState().

Tmp

const CXXBindTemporaryExpr* clang::consumed::PropagationInfo::Tmp

Definition at line 310 of file Consumed.cpp.

Referenced by getAsState(), and getTmp().

Var

const VarDecl* clang::consumed::PropagationInfo::Var

Definition at line 309 of file Consumed.cpp.

Referenced by getAsState(), getVar(), and PropagationInfo().

VarTest

VarTestResult clang::consumed::PropagationInfo::VarTest

Definition at line 308 of file Consumed.cpp.

Referenced by getVarTest(), invertTest(), and PropagationInfo().

---

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

• lib/Analysis/Consumed.cpp