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

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

Public Member Functions
	FactsGenerator (FactManager &FactMgr, AnalysisDeclContext &AC)
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	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 27 of file FactsGenerator.h.

Constructor & Destructor Documentation

◆ FactsGenerator()

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

inline

Definition at line 31 of file FactsGenerator.h.

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

Member Function Documentation

◆ run()

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

Definition at line 118 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 596 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 722 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 523 of file FactsGenerator.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::lifetimes::internal::OriginList::getOuterOriginID(), clang::BinaryOperator::getRHS(), clang::lifetimes::internal::getRValueOrigins(), 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 291 of file FactsGenerator.cpp.

References clang::CallExpr::getDirectCallee().

◆ VisitCastExpr()

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

Definition at line 303 of file FactsGenerator.cpp.

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

Referenced by VisitCXXFunctionalCastExpr().

◆ VisitCXXBindTemporaryExpr()

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

Definition at line 671 of file FactsGenerator.cpp.

References clang::CXXBindTemporaryExpr::getSubExpr().

◆ VisitCXXConstructExpr()

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

Definition at line 208 of file FactsGenerator.cpp.

References clang::CXXConstructExpr::getArg(), clang::Type::getAsCXXRecordDecl(), clang::CXXConstructExpr::getConstructor(), clang::CXXConstructExpr::getNumArgs(), clang::lifetimes::internal::getRValueOrigins(), 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 240 of file FactsGenerator.cpp.

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

◆ VisitCXXDeleteExpr()

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

Definition at line 803 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 648 of file FactsGenerator.cpp.

References VisitCastExpr().

◆ VisitCXXMemberCallExpr()

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

Definition at line 252 of file FactsGenerator.cpp.

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

◆ VisitCXXNewExpr()

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

Definition at line 773 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 296 of file FactsGenerator.cpp.

◆ VisitCXXOperatorCallExpr()

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

Definition at line 611 of file FactsGenerator.cpp.

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

◆ VisitDeclRefExpr()

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

Definition at line 181 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 168 of file FactsGenerator.cpp.

References clang::DeclStmt::decls().

◆ VisitInitListExpr()

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

Definition at line 657 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 698 of file FactsGenerator.cpp.

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

◆ VisitMaterializeTemporaryExpr()

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

Definition at line 676 of file FactsGenerator.cpp.

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

◆ VisitMemberExpr()

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

Definition at line 275 of file FactsGenerator.cpp.

References clang::lifetimes::internal::doesDeclHaveStorage(), clang::MemberExpr::getBase(), 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 433 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::lifetimes::internal::getRValueOrigins(), clang::StmtExpr::getSubStmt(), and clang::Last.

◆ VisitUnaryOperator()

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

Definition at line 377 of file FactsGenerator.cpp.

References clang::UnaryOperator::getOpcode(), clang::lifetimes::internal::getRValueOrigins(), 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