clang 22.0.0git
Public Member Functions | List of all members
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 286 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 313 of file Consumed.cpp.

References VarTest.

◆ PropagationInfo() [3/8]

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

Definition at line 316 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 322 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 331 of file Consumed.cpp.

References BinTest.

◆ PropagationInfo() [6/8]

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

Definition at line 343 of file Consumed.cpp.

References State.

◆ PropagationInfo() [7/8]

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

Definition at line 345 of file Consumed.cpp.

References Var.

◆ PropagationInfo() [8/8]

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

Definition at line 346 of file Consumed.cpp.

References Tmp.

Member Function Documentation

◆ getAsState()

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

Definition at line 379 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 359 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

◆ getRTest()

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

Definition at line 364 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

◆ getState()

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

Definition at line 349 of file Consumed.cpp.

References State.

◆ getTmp()

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

Definition at line 374 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 369 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 354 of file Consumed.cpp.

References VarTest.

◆ invertTest()

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

Definition at line 417 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 405 of file Consumed.cpp.

◆ isPointerToValue()

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

Definition at line 413 of file Consumed.cpp.

◆ isState()

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

Definition at line 403 of file Consumed.cpp.

Referenced by getAsState().

◆ isTest()

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

Definition at line 409 of file Consumed.cpp.

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

◆ isTmp()

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

Definition at line 407 of file Consumed.cpp.

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

◆ isValid()

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

Definition at line 402 of file Consumed.cpp.

◆ isVar()

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

Definition at line 406 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 404 of file Consumed.cpp.

◆ testEffectiveOp()

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

Definition at line 392 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

◆ testSourceNode()

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

Definition at line 397 of file Consumed.cpp.

References BinTest.

Member Data Documentation

◆ BinTest

BinTestTy clang::consumed::PropagationInfo::BinTest

Definition at line 308 of file Consumed.cpp.

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

◆ State

ConsumedState clang::consumed::PropagationInfo::State

Definition at line 304 of file Consumed.cpp.

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

◆ Tmp

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

Definition at line 307 of file Consumed.cpp.

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

◆ Var

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

Definition at line 306 of file Consumed.cpp.

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

◆ VarTest

VarTestResult clang::consumed::PropagationInfo::VarTest

Definition at line 305 of file Consumed.cpp.

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

The documentation for this class was generated from the following file:
Generated on for clang by doxygen 1.14.0