#include "clang/Analysis/Analyses/LifetimeSafety/FactsGenerator.h"

Inheritance diagram for clang::lifetimes::internal::FactsGenerator:

Public Member Functions
	FactsGenerator (FactManager &FactMgr, AnalysisDeclContext &AC, const LifetimeSafetyOpts &LSOpts)
void	run ()
void	VisitDeclStmt (const DeclStmt *DS)
void	VisitDeclRefExpr (const DeclRefExpr *DRE)
void	VisitCXXConstructExpr (const CXXConstructExpr *CCE)
void	VisitCXXDefaultInitExpr (const CXXDefaultInitExpr *DIE)
void	VisitCXXMemberCallExpr (const CXXMemberCallExpr *MCE)
void	VisitMemberExpr (const MemberExpr *ME)
void	VisitCallExpr (const CallExpr *CE)
void	VisitCXXNullPtrLiteralExpr (const CXXNullPtrLiteralExpr *N)
void	VisitCastExpr (const CastExpr *CE)
void	VisitUnaryOperator (const UnaryOperator *UO)
void	VisitReturnStmt (const ReturnStmt *RS)
void	VisitBinaryOperator (const BinaryOperator *BO)
void	VisitAbstractConditionalOperator (const AbstractConditionalOperator *CO)
	Visits conditional operators (e.g., cond ?
void	VisitCXXOperatorCallExpr (const CXXOperatorCallExpr *OCE)
void	VisitCXXFunctionalCastExpr (const CXXFunctionalCastExpr *FCE)
void	VisitInitListExpr (const InitListExpr *ILE)
void	VisitCXXBindTemporaryExpr (const CXXBindTemporaryExpr *BTE)
void	VisitMaterializeTemporaryExpr (const MaterializeTemporaryExpr *MTE)
void	VisitLambdaExpr (const LambdaExpr *LE)
void	VisitArraySubscriptExpr (const ArraySubscriptExpr *ASE)
void	VisitCXXNewExpr (const CXXNewExpr *NE)
void	VisitCXXDeleteExpr (const CXXDeleteExpr *DE)
void	VisitCXXThrowExpr (const CXXThrowExpr *TE)
void	VisitGCCAsmStmt (const GCCAsmStmt *AS)
void	VisitCXXTypeidExpr (const CXXTypeidExpr *TE)
void	VisitStmtExpr (const StmtExpr *SE)
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) LLVM_ATTRIBUTE_ALWAYS_INLINE RetTy VisitStmt(PTR(Stmt) Node

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

Detailed Description

Definition at line 29 of file FactsGenerator.h.

Constructor & Destructor Documentation

◆ FactsGenerator()

clang::lifetimes::internal::FactsGenerator::FactsGenerator	(	FactManager &	FactMgr,
		AnalysisDeclContext &	AC,
		const LifetimeSafetyOpts &	LSOpts )

inline

Definition at line 33 of file FactsGenerator.h.

References clang::CPlusPlus, and clang::ObjC.

Member Function Documentation

◆ run()

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

Definition at line 119 of file FactsGenerator.cpp.

References clang::Block, clang::CFGElement::getAs(), clang::CFG::getEntry(), clang::CFG::getExit(), clang::Initializer, and clang::StmtVisitorBase< Ptr, ImplClass, RetTy, ParamTys >::Visit().

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

◆ VisitAbstractConditionalOperator()

void clang::lifetimes::internal::FactsGenerator::VisitAbstractConditionalOperator ( const AbstractConditionalOperator * CO )

Visits conditional operators (e.g., cond ?

a : b).

To prevent liveness leakage across loop backedges (which causes false positives like in while (...) { int x; consume(cond ? &x : nullptr); }), we generate the flow facts in the respective predecessor blocks of the arms rather than in the merge block. This ensures that the liveness of the temporary origin from one arm does not propagate into the other arm's path.

Definition at line 556 of file FactsGenerator.cpp.

References clang::lifetimes::internal::findPredBlockForExpr(), clang::AbstractConditionalOperator::getFalseExpr(), and clang::AbstractConditionalOperator::getTrueExpr().

◆ VisitArraySubscriptExpr()

void clang::lifetimes::internal::FactsGenerator::VisitArraySubscriptExpr ( const ArraySubscriptExpr * ASE )

Definition at line 697 of file FactsGenerator.cpp.

References clang::ArraySubscriptExpr::getBase(), clang::lifetimes::internal::OriginList::getOuterOriginID(), and clang::Expr::isGLValue().

◆ VisitBinaryOperator()

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

Definition at line 485 of file FactsGenerator.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::lifetimes::internal::OriginList::getOuterOriginID(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isAssignmentOp(), clang::BinaryOperator::isCompoundAssignmentOp(), clang::Type::isPointerType(), and clang::lifetimes::internal::OriginList::peelOuterOrigin().

◆ VisitCallExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCallExpr ( const CallExpr * CE )

Definition at line 285 of file FactsGenerator.cpp.

◆ VisitCastExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCastExpr ( const CastExpr * CE )

Definition at line 296 of file FactsGenerator.cpp.

References clang::CastExpr::getCastKind(), clang::lifetimes::internal::OriginList::getLength(), clang::lifetimes::internal::OriginList::getOuterOriginID(), clang::CastExpr::getSubExpr(), clang::Expr::IgnoreParens(), and clang::isa().

Referenced by VisitCXXFunctionalCastExpr().

◆ VisitCXXBindTemporaryExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXBindTemporaryExpr ( const CXXBindTemporaryExpr * BTE )

Definition at line 626 of file FactsGenerator.cpp.

References clang::CXXBindTemporaryExpr::getSubExpr().

◆ VisitCXXConstructExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXConstructExpr ( const CXXConstructExpr * CCE )

Definition at line 206 of file FactsGenerator.cpp.

References clang::CXXConstructExpr::getArg(), clang::Type::getAsCXXRecordDecl(), clang::CXXConstructExpr::getConstructor(), clang::CXXConstructExpr::getNumArgs(), clang::Expr::getType(), clang::CXXConstructorDecl::isCopyOrMoveConstructor(), clang::FunctionDecl::isDefaulted(), clang::lifetimes::isGslPointerType(), and clang::lifetimes::isStdCallableWrapperType().

◆ VisitCXXDefaultInitExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXDefaultInitExpr ( const CXXDefaultInitExpr * DIE )

Definition at line 236 of file FactsGenerator.cpp.

References clang::CXXDefaultInitExpr::getExpr(), and clang::Init.

◆ VisitCXXDeleteExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXDeleteExpr ( const CXXDeleteExpr * DE )

Definition at line 801 of file FactsGenerator.cpp.

References clang::CXXDeleteExpr::getArgument(), and clang::lifetimes::internal::OriginList::getOuterOriginID().

◆ VisitCXXFunctionalCastExpr()

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

Definition at line 603 of file FactsGenerator.cpp.

References VisitCastExpr().

◆ VisitCXXMemberCallExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXMemberCallExpr ( const CXXMemberCallExpr * MCE )

Definition at line 248 of file FactsGenerator.cpp.

References clang::CallExpr::getCalleeDecl(), clang::CXXMemberCallExpr::getImplicitObjectArgument(), clang::Expr::getType(), clang::lifetimes::isGslOwnerType(), and clang::lifetimes::isGslPointerType().

◆ VisitCXXNewExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXNewExpr ( const CXXNewExpr * NE )

Definition at line 750 of file FactsGenerator.cpp.

References clang::lifetimes::internal::createLoan(), clang::lifetimes::internal::Loan::getID(), clang::lifetimes::internal::OriginList::getOuterOriginID(), clang::Init, and clang::lifetimes::internal::OriginList::peelOuterOrigin().

◆ VisitCXXNullPtrLiteralExpr()

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

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

Definition at line 289 of file FactsGenerator.cpp.

◆ VisitCXXOperatorCallExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXOperatorCallExpr ( const CXXOperatorCallExpr * OCE )

Definition at line 571 of file FactsGenerator.cpp.

References clang::CallExpr::getArg(), clang::Type::getAsCXXRecordDecl(), clang::CallExpr::getDirectCallee(), clang::CallExpr::getNumArgs(), clang::CXXOperatorCallExpr::getOperator(), clang::Expr::getType(), clang::lifetimes::isGslOwnerType(), clang::lifetimes::isGslPointerType(), clang::Type::isPointerOrReferenceType(), and clang::lifetimes::isStdCallableWrapperType().

◆ VisitCXXThrowExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXThrowExpr ( const CXXThrowExpr * TE )

Definition at line 781 of file FactsGenerator.cpp.

References clang::CXXThrowExpr::getSubExpr().

◆ VisitCXXTypeidExpr()

void clang::lifetimes::internal::FactsGenerator::VisitCXXTypeidExpr ( const CXXTypeidExpr * TE )

Definition at line 796 of file FactsGenerator.cpp.

References clang::CXXTypeidExpr::getExprOperand(), and clang::CXXTypeidExpr::isPotentiallyEvaluated().

◆ VisitDeclRefExpr()

void clang::lifetimes::internal::FactsGenerator::VisitDeclRefExpr ( const DeclRefExpr * DRE )

Definition at line 180 of file FactsGenerator.cpp.

References clang::lifetimes::internal::createLoan(), clang::lifetimes::internal::doesDeclHaveStorage(), clang::DeclRefExpr::getDecl(), clang::DeclRefExpr::getFoundDecl(), clang::lifetimes::internal::Loan::getID(), clang::lifetimes::internal::OriginList::getOuterOriginID(), clang::Decl::isFunctionOrFunctionTemplate(), and clang::Expr::isGLValue().

◆ VisitDeclStmt()

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

Definition at line 167 of file FactsGenerator.cpp.

References clang::DeclStmt::decls().

◆ VisitGCCAsmStmt()

void clang::lifetimes::internal::FactsGenerator::VisitGCCAsmStmt ( const GCCAsmStmt * AS )

Definition at line 786 of file FactsGenerator.cpp.

References clang::AsmStmt::getNumOutputs(), clang::GCCAsmStmt::getOutputExpr(), clang::AsmStmt::inputs(), and clang::AsmStmt::isOutputPlusConstraint().

◆ VisitInitListExpr()

void clang::lifetimes::internal::FactsGenerator::VisitInitListExpr ( const InitListExpr * ILE )

Definition at line 612 of file FactsGenerator.cpp.

References clang::InitListExpr::getInit(), and clang::InitListExpr::getNumInits().

◆ VisitLambdaExpr()

void clang::lifetimes::internal::FactsGenerator::VisitLambdaExpr ( const LambdaExpr * LE )

Definition at line 657 of file FactsGenerator.cpp.

References clang::C, clang::cast(), clang::lifetimes::internal::OriginList::getOuterOriginID(), and clang::Init.

◆ VisitMaterializeTemporaryExpr()

void clang::lifetimes::internal::FactsGenerator::VisitMaterializeTemporaryExpr ( const MaterializeTemporaryExpr * MTE )

Definition at line 631 of file FactsGenerator.cpp.

References clang::lifetimes::internal::createLoan(), clang::MaterializeTemporaryExpr::getExtendingDecl(), clang::lifetimes::internal::Loan::getID(), clang::lifetimes::internal::OriginList::getLength(), clang::lifetimes::internal::OriginList::getOuterOriginID(), clang::MaterializeTemporaryExpr::getStorageDuration(), clang::MaterializeTemporaryExpr::getSubExpr(), clang::Expr::isGLValue(), clang::lifetimes::internal::OriginList::peelOuterOrigin(), and clang::SD_Automatic.

◆ VisitMemberExpr()

void clang::lifetimes::internal::FactsGenerator::VisitMemberExpr ( const MemberExpr * ME )

Definition at line 260 of file FactsGenerator.cpp.

References clang::lifetimes::internal::createLoan(), clang::lifetimes::internal::doesDeclHaveStorage(), clang::MemberExpr::getBase(), clang::lifetimes::internal::Loan::getID(), clang::MemberExpr::getMemberDecl(), clang::lifetimes::internal::OriginList::getOuterOriginID(), clang::isa(), and clang::Expr::isGLValue().

◆ VisitReturnStmt()

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

Definition at line 423 of file FactsGenerator.cpp.

References clang::ReturnStmt::getRetValue(), and clang::lifetimes::internal::OriginList::peelOuterOrigin().

◆ VisitStmtExpr()

void clang::lifetimes::internal::FactsGenerator::VisitStmtExpr ( const StmtExpr * SE )

Definition at line 809 of file FactsGenerator.cpp.

References clang::StmtExpr::getSubStmt(), and clang::Last.

◆ VisitUnaryOperator()

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

Definition at line 368 of file FactsGenerator.cpp.

References clang::UnaryOperator::getOpcode(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::Type::isFunctionType(), clang::Expr::isGLValue(), clang::Type::isPointerType(), clang::Type::isVoidType(), and clang::lifetimes::internal::OriginList::peelOuterOrigin().

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

include/clang/Analysis/Analyses/LifetimeSafety/FactsGenerator.h
lib/Analysis/LifetimeSafety/FactsGenerator.cpp

Public Member Functions

Additional Inherited Members