clang 19.0.0git
Classes | 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 ConsumedStategetState () const
 
const VarTestResult & getVarTest () const
 
const VarTestResult & getLTest () const
 
const VarTestResult & getRTest () const
 
const VarDeclgetVar () const
 
const CXXBindTemporaryExprgetTmp () const
 
ConsumedState getAsState (const ConsumedStateMap *StateMap) const
 
EffectiveOp testEffectiveOp () const
 
const BinaryOperatortestSourceNode () 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 293 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 320 of file Consumed.cpp.

◆ PropagationInfo() [3/8]

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

Definition at line 323 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 329 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 338 of file Consumed.cpp.

References BinTest.

◆ PropagationInfo() [6/8]

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

Definition at line 350 of file Consumed.cpp.

◆ PropagationInfo() [7/8]

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

Definition at line 352 of file Consumed.cpp.

◆ PropagationInfo() [8/8]

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

Definition at line 353 of file Consumed.cpp.

Member Function Documentation

◆ getAsState()

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

◆ getLTest()

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

Definition at line 366 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

◆ getRTest()

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

Definition at line 371 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

◆ getState()

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

Definition at line 356 of file Consumed.cpp.

References State.

◆ getTmp()

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

Definition at line 381 of file Consumed.cpp.

References Tmp.

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

◆ getVar()

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

◆ getVarTest()

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

Definition at line 361 of file Consumed.cpp.

References VarTest.

◆ invertTest()

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

◆ isBinTest()

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

Definition at line 412 of file Consumed.cpp.

◆ isPointerToValue()

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

Definition at line 420 of file Consumed.cpp.

◆ isState()

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

Definition at line 410 of file Consumed.cpp.

Referenced by getAsState().

◆ isTest()

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

◆ isTmp()

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

◆ isValid()

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

Definition at line 409 of file Consumed.cpp.

◆ isVar()

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

◆ isVarTest()

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

Definition at line 411 of file Consumed.cpp.

◆ testEffectiveOp()

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

Definition at line 399 of file Consumed.cpp.

References BinTest.

Referenced by splitVarStateForIfBinOp().

◆ testSourceNode()

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

Definition at line 404 of file Consumed.cpp.

References BinTest.

Member Data Documentation

◆ BinTest

BinTestTy clang::consumed::PropagationInfo::BinTest

◆ State

ConsumedState clang::consumed::PropagationInfo::State

Definition at line 311 of file Consumed.cpp.

Referenced by getAsState(), and getState().

◆ Tmp

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

Definition at line 314 of file Consumed.cpp.

Referenced by getAsState(), and getTmp().

◆ Var

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

Definition at line 313 of file Consumed.cpp.

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

◆ VarTest

VarTestResult clang::consumed::PropagationInfo::VarTest

Definition at line 312 of file Consumed.cpp.

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


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