clang::lifetimes::internal::FactGenerator Class Reference

Inheritance diagram for clang::lifetimes::internal::FactGenerator:

Public Member Functions
	FactGenerator (FactManager &FactMgr, AnalysisDeclContext &AC)
void	run ()
void	VisitDeclStmt (const DeclStmt *DS)
void	VisitCXXNullPtrLiteralExpr (const CXXNullPtrLiteralExpr *N)
void	VisitImplicitCastExpr (const ImplicitCastExpr *ICE)
void	VisitUnaryOperator (const UnaryOperator *UO)
void	VisitReturnStmt (const ReturnStmt *RS)
void	VisitBinaryOperator (const BinaryOperator *BO)
void	VisitCXXFunctionalCastExpr (const CXXFunctionalCastExpr *FCE)
Public Member Functions inherited from clang::StmtVisitorBase< Ptr, ImplClass, RetTy, ParamTys >
RetTy	Visit (PTR(Stmt) S, ParamTys... P)
	BINOP_FALLBACK (PtrMemD) BINOP_FALLBACK(PtrMemI) BINOP_FALLBACK(Mul) BINOP_FALLBACK(Div) BINOP_FALLBACK(Rem) BINOP_FALLBACK(Add) BINOP_FALLBACK(Sub) BINOP_FALLBACK(Shl) BINOP_FALLBACK(LT) BINOP_FALLBACK(GT) BINOP_FALLBACK(LE) BINOP_FALLBACK(GE) BINOP_FALLBACK(EQ) BINOP_FALLBACK(NE) BINOP_FALLBACK(And) BINOP_FALLBACK(Xor) BINOP_FALLBACK(Or) BINOP_FALLBACK(LAnd) BINOP_FALLBACK(LOr) CAO_FALLBACK(MulAssign) CAO_FALLBACK(DivAssign) CAO_FALLBACK(RemAssign) CAO_FALLBACK(AddAssign) CAO_FALLBACK(SubAssign) CAO_FALLBACK(ShlAssign) CAO_FALLBACK(ShrAssign) CAO_FALLBACK(AndAssign) CAO_FALLBACK(OrAssign) UNARYOP_FALLBACK(PostInc) UNARYOP_FALLBACK(PostDec) UNARYOP_FALLBACK(PreInc) UNARYOP_FALLBACK(PreDec) UNARYOP_FALLBACK(AddrOf) UNARYOP_FALLBACK(Deref) UNARYOP_FALLBACK(Plus) UNARYOP_FALLBACK(Minus) UNARYOP_FALLBACK(Not) UNARYOP_FALLBACK(LNot) UNARYOP_FALLBACK(Real) UNARYOP_FALLBACK(Imag) UNARYOP_FALLBACK(Extension) UNARYOP_FALLBACK(Coawait) RetTy VisitStmt(PTR(Stmt) Node

Additional Inherited Members
Public Attributes inherited from clang::StmtVisitorBase< Ptr, ImplClass, RetTy, ParamTys >
ParamTys	P { return RetTy()

Detailed Description

Definition at line 406 of file LifetimeSafety.cpp.

Constructor & Destructor Documentation

FactGenerator()

clang::lifetimes::internal::FactGenerator::FactGenerator ( FactManager &  FactMgr, AnalysisDeclContext &  AC  )

inline

Definition at line 410 of file LifetimeSafety.cpp.

Member Function Documentation

run()

void clang::lifetimes::internal::FactGenerator::run ( )

inline

Definition at line 413 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::FactManager::addBlockFacts(), clang::Block, clang::AnalysisDeclContext::getAnalysis(), and clang::StmtVisitorBase< Ptr, ImplClass, RetTy, ParamTys >::Visit().

Referenced by clang::lifetimes::internal::LifetimeSafetyAnalysis::run().

VisitBinaryOperator()

void clang::lifetimes::internal::FactGenerator::VisitBinaryOperator ( const BinaryOperator *  BO )

inline

Definition at line 490 of file LifetimeSafety.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getRHS(), and clang::BinaryOperator::isAssignmentOp().

VisitCXXFunctionalCastExpr()

void clang::lifetimes::internal::FactGenerator::VisitCXXFunctionalCastExpr ( const CXXFunctionalCastExpr *  FCE )

inline

Definition at line 507 of file LifetimeSafety.cpp.

VisitCXXNullPtrLiteralExpr()

void clang::lifetimes::internal::FactGenerator::VisitCXXNullPtrLiteralExpr ( const CXXNullPtrLiteralExpr *  N )

inline

TODO: Handle nullptr expr as a special 'null' loan. Uninitialized pointers can use the same type of loan.

Definition at line 439 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::OriginManager::getOrCreate(), and clang::lifetimes::internal::FactManager::getOriginMgr().

VisitDeclStmt()

void clang::lifetimes::internal::FactGenerator::VisitDeclStmt ( const DeclStmt *  DS )

inline

Definition at line 431 of file LifetimeSafety.cpp.

References D, and clang::DeclStmt::decls().

VisitImplicitCastExpr()

void clang::lifetimes::internal::FactGenerator::VisitImplicitCastExpr ( const ImplicitCastExpr *  ICE )

inline

Definition at line 445 of file LifetimeSafety.cpp.

References clang::CastExpr::getSubExpr(), clang::Expr::getType(), and clang::StmtVisitorBase< Ptr, ImplClass, RetTy, ParamTys >::Visit().

VisitReturnStmt()

void clang::lifetimes::internal::FactGenerator::VisitReturnStmt ( const ReturnStmt *  RS )

inline

Definition at line 480 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::FactManager::createFact(), clang::lifetimes::internal::OriginManager::getOrCreate(), clang::lifetimes::internal::FactManager::getOriginMgr(), and clang::ReturnStmt::getRetValue().

VisitUnaryOperator()

void clang::lifetimes::internal::FactGenerator::VisitUnaryOperator ( const UnaryOperator *  UO )

inline

Definition at line 457 of file LifetimeSafety.cpp.

References clang::lifetimes::internal::LoanManager::addLoan(), clang::lifetimes::internal::FactManager::createFact(), clang::lifetimes::internal::OriginManager::get(), clang::lifetimes::internal::FactManager::getLoanMgr(), clang::UnaryOperator::getOpcode(), clang::lifetimes::internal::OriginManager::getOrCreate(), clang::lifetimes::internal::FactManager::getOriginMgr(), clang::UnaryOperator::getSubExpr(), and clang::lifetimes::internal::Loan::ID.

---

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

• lib/Analysis/LifetimeSafety.cpp