#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	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 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 543 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 680 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 472 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 275 of file FactsGenerator.cpp.

◆ VisitCastExpr()

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

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

References clang::CXXBindTemporaryExpr::getSubExpr().

◆ VisitCXXConstructExpr()

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

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

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

◆ VisitCXXDeleteExpr()

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

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

References VisitCastExpr().

◆ VisitCXXMemberCallExpr()

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

Definition at line 247 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 733 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 279 of file FactsGenerator.cpp.

◆ VisitCXXOperatorCallExpr()

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

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

References clang::CXXThrowExpr::getSubExpr().

◆ VisitCXXTypeidExpr()

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

Definition at line 779 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 179 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 166 of file FactsGenerator.cpp.

References clang::DeclStmt::decls().

◆ VisitGCCAsmStmt()

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

Definition at line 769 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 599 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 640 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 618 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::MaterializeTemporaryExpr::getStorageDuration(), clang::MaterializeTemporaryExpr::getSubExpr(), clang::Expr::isGLValue(), clang::lifetimes::internal::OriginList::peelOuterOrigin(), and clang::SD_FullExpression.

◆ VisitMemberExpr()

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

Definition at line 259 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 410 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 792 of file FactsGenerator.cpp.

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

◆ VisitUnaryOperator()

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

Definition at line 355 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