Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://clang.llvm.org/doxygen/CheckExprLifetime_8cpp_source.html below:

clang: lib/Sema/CheckExprLifetime.cpp Source File

llvm::PointerIntPair<const InitializedEntity *, 3, LifetimeKind>;

{Entity, LK_Extended};

{Entity, LK_Extended};

{

, LK_FullExpression};

{

, LK_FullExpression};

{

, LK_Return};

{

, LK_StmtExprResult};

{

, LK_New};

{

, LK_FullExpression};

{InitField, LK_MemInitializer};

{InitField, LK_MemInitializer};

{

, LK_FullExpression};

{

, LK_FullExpression};

{

, LK_FullExpression};

llvm_unreachable(

);

RK_StdInitializerList,

IndirectLocalPathEntry {

GslPointerAssignment,

Decl *

=

;

IndirectLocalPathEntry() {}

IndirectLocalPathEntry(EntryKind K, Expr *E) :

(K),

(

) {}

IndirectLocalPathEntry(EntryKind K, Expr *E,

Decl *

)

IndirectLocalPathEntry(EntryKind K, Expr *E,

LambdaCapture *Capture)

RevertToOldSizeRAII {

RevertToOldSizeRAII(IndirectLocalPath &Path) :

(

) {}

~RevertToOldSizeRAII() {

.resize(OldSize); }

LocalVisitor = llvm::function_ref<

(IndirectLocalPath &

, Local L,

(

:

)

(

.Kind == IndirectLocalPathEntry::VarInit &&

.D == VD)

llvm::any_of(

, [=](IndirectLocalPathEntry

) {

.Kind == IndirectLocalPathEntry::DefaultInit ||

.Kind == IndirectLocalPathEntry::VarInit;

RevisitSubinits);

= RD->hasAttr<

>();

(

*CTSD = dyn_cast<ClassTemplateSpecializationDecl>(RD))

|= CTSD->getSpecializedTemplate()->getTemplatedDecl()->hasAttr<

>();

(

*ND = dyn_cast<NamespaceDecl>(DC))

StringRef Name = II->getName();

(Name.size() >= 2 && Name.front() ==

&&

(

*CTSD =

dyn_cast_if_present<ClassTemplateSpecializationDecl>(Container)) {

(!CTSD->hasAttr<OwnerAttr>())

&TAs = CTSD->getTemplateArgs();

dyn_cast_if_present<ClassTemplateSpecializationDecl>(Container);

(!CTSD->hasAttr<OwnerAttr>())

&TAs = CTSD->getTemplateArgs();

isRecordWithAttr<OwnerAttr>(TAs[0].getAsType());

(

*CTSD =

dyn_cast_if_present<ClassTemplateSpecializationDecl>(RD)) {

&TAs = CTSD->getTemplateArgs();

RD->

() ==

&& TAs.size() > 0 &&

(

*Conv = dyn_cast_or_null<CXXConversionDecl>(Callee))

(isRecordWithAttr<PointerAttr>(Conv->getConversionType()) &&

Callee->getParent()->hasAttr<OwnerAttr>())

(!isRecordWithAttr<PointerAttr>(

Callee->getFunctionObjectParameterType()) &&

!isRecordWithAttr<OwnerAttr>(Callee->getFunctionObjectParameterType()))

(!Callee->getIdentifier())

llvm::StringSwitch<bool>(Callee->getName())

.Cases(

,

,

,

,

)

.Cases(

,

,

,

,

)

.Cases(

,

,

,

)

.Cases(

,

,

,

,

)

(Callee->getReturnType()->isReferenceType()) {

(!Callee->getIdentifier()) {

OO = Callee->getOverloadedOperator();

(!Callee->getParent()->hasAttr<OwnerAttr>())

OO == OverloadedOperatorKind::OO_Subscript ||

OO == OverloadedOperatorKind::OO_Star;

llvm::StringSwitch<bool>(Callee->getName())

.Cases(

,

,

,

,

,

)

(!RD->hasAttr<PointerAttr>() && !RD->hasAttr<OwnerAttr>())

llvm::StringSwitch<bool>(FD->

())

.Cases(

,

,

,

,

)

.Cases(

,

,

,

,

)

.Case(

,

)

llvm::StringSwitch<bool>(FD->

())

.Cases(

,

,

)

*ParamRefType =

(

*TST =

TST->getTemplateName()

(LHSRecordDecl->hasAttr<PointerAttr>())

(!isRecordWithAttr<OwnerAttr>(RHSArgType))

(

*PrimaryCtorTemplate =

PrimaryCtorTemplate &&

PrimaryCtorTemplate->getTemplatedDecl()))) {

*MD = dyn_cast<CXXMethodDecl>(FD);

(MD && MD->isCXXInstanceMember())

LHST = Ctx.getLValueReferenceType(MD->getFunctionObjectParameterType());

(Ctx.hasSameType(RetT, LHST))

cast_if_present<CXXMethodDecl>(

(ATL.

<LifetimeBoundAttr>())

LocalVisitor Visit) {

(

*CE = dyn_cast<CallExpr>(

)) {

Callee = CE->getDirectCallee();

*CCE = cast<CXXConstructExpr>(

);

Callee = CCE->getConstructor();

EnableGSLAnalysis = !Callee->getASTContext().getDiagnostics().isIgnored(

*ObjectArg =

;

(isa<CXXOperatorCallExpr>(

) && Callee->isCXXInstanceMember()) {

Args = Args.slice(1);

}

(

*MCE = dyn_cast<CXXMemberCallExpr>(

)) {

ObjectArg = MCE->getImplicitObjectArgument();

VisitLifetimeBoundArg = [&](

*

,

*Arg) {

.push_back({IndirectLocalPathEntry::LifetimeBoundCall, Arg,

});

(Arg->isGLValue())

ReturnType = Callee->getReturnType();

(ReturnType->isReferenceType() &&

!isRecordWithAttr<OwnerAttr>(ReturnType->getPointeeType())) {

(

IndirectLocalPathEntry &PE : llvm::reverse(

)) {

(PE.Kind == IndirectLocalPathEntry::GslReferenceInit ||

PE.Kind == IndirectLocalPathEntry::LifetimeBoundCall)

(PE.Kind == IndirectLocalPathEntry::GslPointerInit ||

PE.Kind == IndirectLocalPathEntry::GslPointerAssignment)

.push_back({ReturnType->isReferenceType()

? IndirectLocalPathEntry::GslReferenceInit

: IndirectLocalPathEntry::GslPointerInit,

(Arg->isGLValue())

CheckCoroCall =

;

(

*RD = Callee->getReturnType()->getAsRecordDecl()) {

CheckCoroCall = RD->hasAttr<CoroLifetimeBoundAttr>() &&

RD->hasAttr<CoroReturnTypeAttr>() &&

!Callee->hasAttr<CoroDisableLifetimeBoundAttr>();

CheckCoroObjArg = CheckCoroCall;

(

*LE = dyn_cast<LambdaExpr>(ObjectArg->

());

LE && LE->captures().empty())

CheckCoroObjArg =

;

CheckCoroObjArg =

;

VisitLifetimeBoundArg(Callee, ObjectArg);

(EnableGSLAnalysis) {

(

*CME = dyn_cast<CXXMethodDecl>(Callee);

VisitGSLPointerArg(Callee, ObjectArg);

NP = std::min(Callee->getNumParams(), CanonCallee->

());

(

I = 0, N = std::min<unsigned>(NP, Args.size()); I != N; ++I) {

RevertToOldSizeRAII RAII(

);

(

*DAE = dyn_cast<CXXDefaultArgExpr>(Arg)) {

{IndirectLocalPathEntry::DefaultArg, DAE, DAE->getParam()});

Arg = DAE->getExpr();

VisitLifetimeBoundArg(CanonCallee->

(I), Arg);

(

*CaptureAttr =

CaptureAttr && isa<CXXConstructorDecl>(CanonCallee) &&

llvm::any_of(CaptureAttr->params(), [](

ArgIdx) {

return ArgIdx == LifetimeCaptureByAttr::THIS;

VisitLifetimeBoundArg(CanonCallee->

(I), Arg);

(EnableGSLAnalysis && I == 0) {

VisitGSLPointerArg(CanonCallee, Arg);

}

(

*Ctor = dyn_cast<CXXConstructExpr>(

);

VisitGSLPointerArg(Ctor->getConstructor(), Arg);

LocalVisitor Visit) {

RevertToOldSizeRAII RAII(

);

(

*FE = dyn_cast<FullExpr>(

))

= FE->getSubExpr();

(ILE->isTransparent())

= ILE->getInit(0);

(

*ME = dyn_cast<MemberExpr>(

->IgnoreImpCasts()))

{IndirectLocalPathEntry::MemberExpr, ME, ME->getMemberDecl()});

=

*

(

->skipRValueSubobjectAdjustments());

(CE->getSubExpr()->isGLValue())

= CE->getSubExpr();

(

*ASE = dyn_cast<ArraySubscriptExpr>(

)) {

= ASE->getBase();

*ICE = dyn_cast<ImplicitCastExpr>(

);

(ICE && ICE->getCastKind() == CK_ArrayToPointerDecay)

= ICE->getSubExpr();

(

*DIE = dyn_cast<CXXDefaultInitExpr>(

)) {

{IndirectLocalPathEntry::DefaultInit, DIE, DIE->getField()});

= DIE->getExpr();

}

(

!= Old);

(

*MTE = dyn_cast<MaterializeTemporaryExpr>(

)) {

(Visit(

, Local(MTE), RK))

(

*M = dyn_cast<MemberExpr>(

)) {

(

*F = dyn_cast<FieldDecl>(M->getMemberDecl());

F && !F->getType()->isReferenceType())

(isa<CallExpr>(

))

(

->getStmtClass()) {

Stmt::DeclRefExprClass: {

*DRE = cast<DeclRefExpr>(

);

*VD = dyn_cast<VarDecl>(DRE->getDecl());

(VD && VD->hasLocalStorage() &&

!DRE->refersToEnclosingVariableOrCapture()) {

(!VD->getType()->isReferenceType()) {

Visit(

, Local(DRE), RK);

}

(isa<ParmVarDecl>(DRE->getDecl())) {

.push_back({IndirectLocalPathEntry::VarInit, DRE, VD});

RK_ReferenceBinding, Visit);

Stmt::UnaryOperatorClass: {

(

->getOpcode() == UO_Deref)

Stmt::ArraySectionExprClass: {

, cast<ArraySectionExpr>(

)->getBase(), Visit,

);

Stmt::ConditionalOperatorClass:

Stmt::BinaryConditionalOperatorClass: {

*

= cast<AbstractConditionalOperator>(

);

(!

->getTrueExpr()->getType()->isVoidType())

(!

->getFalseExpr()->getType()->isVoidType())

Stmt::CompoundLiteralExprClass: {

(

*CLE = dyn_cast<CompoundLiteralExpr>(

)) {

(!CLE->isFileScope())

Visit(

, Local(CLE), RK);

RevisitSubinits) {

RevertToOldSizeRAII RAII(

);

(

*DIE = dyn_cast<CXXDefaultInitExpr>(

)) {

{IndirectLocalPathEntry::DefaultInit, DIE, DIE->getField()});

= DIE->getExpr();

(

*FE = dyn_cast<FullExpr>(

))

= FE->getSubExpr();

=

*

(

->skipRValueSubobjectAdjustments());

= BTE->getSubExpr();

(

*CE = dyn_cast<CastExpr>(

)) {

(CE->getCastKind()) {

CK_LValueToRValue:

.push_back({IndirectLocalPathEntry::LValToRVal, CE});

[&](IndirectLocalPath &

, Local L, ReferenceKind RK) ->

{

(

*DRE = dyn_cast<DeclRefExpr>(L)) {

*VD = dyn_cast<VarDecl>(DRE->getDecl());

(VD && VD->getType().isConstQualified() && VD->getInit() &&

.push_back({IndirectLocalPathEntry::VarInit, DRE, VD});

}

(

*MTE = dyn_cast<MaterializeTemporaryExpr>(L)) {

(MTE->getType().isConstQualified())

CK_BaseToDerived:

CK_DerivedToBase:

CK_UncheckedDerivedToBase:

CK_UserDefinedConversion:

CK_ConstructorConversion:

CK_IntegralToPointer:

CK_PointerToIntegral:

CK_IntegralCast:

CK_CPointerToObjCPointerCast:

CK_BlockPointerToObjCPointerCast:

CK_AnyPointerToBlockPointerCast:

CK_AddressSpaceConversion:

CK_ArrayToPointerDecay:

.push_back({IndirectLocalPathEntry::AddressOf, CE});

, CE->getSubExpr(), RK_ReferenceBinding, Visit);

= CE->getSubExpr();

}

(Old !=

);

(

*ILE = dyn_cast<CXXStdInitializerListExpr>(

))

RK_StdInitializerList, Visit);

(!RevisitSubinits)

(ILE->isTransparent())

(ILE->getType()->isArrayType()) {

(

I = 0, N = ILE->getNumInits(); I != N; ++I)

(

*RD = ILE->getType()->getAsCXXRecordDecl()) {

assert(RD->isAggregate() &&

);

(RD->isUnion() && ILE->getInitializedFieldInUnion() &&

ILE->getInitializedFieldInUnion()->getType()->isReferenceType())

RK_ReferenceBinding, Visit);

(; Index < RD->getNumBases() && Index < ILE->getNumInits(); ++Index)

(

*I : RD->fields()) {

(Index >= ILE->getNumInits())

(I->isUnnamedBitField())

*SubInit = ILE->getInit(Index);

(I->getType()->isReferenceType())

RK_ReferenceBinding, Visit);

(

*LE = dyn_cast<LambdaExpr>(

)) {

(

*

: LE->capture_inits()) {

assert(CapI != LE->capture_end());

.push_back({IndirectLocalPathEntry::LambdaCaptureInit,

, &Cap});

(

->isGLValue())

(

*CCE = dyn_cast<CXXConstructExpr>(

)) {

(CCE->getConstructor()->isCopyOrMoveConstructor()) {

(

*MTE = dyn_cast<MaterializeTemporaryExpr>(CCE->getArg(0))) {

*Arg = MTE->getSubExpr();

.push_back({IndirectLocalPathEntry::TemporaryCopy, Arg,

CCE->getConstructor()});

(isa<CallExpr>(

) || isa<CXXConstructExpr>(

))

(

*CPE = dyn_cast<CXXParenListInitExpr>(

)) {

RevertToOldSizeRAII RAII(

);

.push_back({IndirectLocalPathEntry::ParenAggInit, CPE});

(

*I : CPE->getInitExprs()) {

(

->getStmtClass()) {

Stmt::UnaryOperatorClass: {

*UO = cast<UnaryOperator>(

);

(UO->getOpcode() == UO_AddrOf) {

(isa<MaterializeTemporaryExpr>(UO->getSubExpr()))

.push_back({IndirectLocalPathEntry::AddressOf, UO});

RK_ReferenceBinding, Visit);

Stmt::BinaryOperatorClass: {

*BO = cast<BinaryOperator>(

);

(!BO->getType()->isPointerType() || (BOK != BO_Add && BOK != BO_Sub))

(BO->getLHS()->getType()->isPointerType())

(BO->getRHS()->getType()->isPointerType())

Stmt::ConditionalOperatorClass:

Stmt::BinaryConditionalOperatorClass: {

*

= cast<AbstractConditionalOperator>(

);

(!

->getTrueExpr()->getType()->isVoidType())

(!

->getFalseExpr()->getType()->isVoidType())

Stmt::BlockExprClass:

(cast<BlockExpr>(

)->getBlockDecl()->hasCaptures()) {

Visit(

, Local(cast<BlockExpr>(

)), RK_ReferenceBinding);

Stmt::AddrLabelExprClass:

Visit(

, Local(cast<AddrLabelExpr>(

)), RK_ReferenceBinding);

(

Elem :

) {

(Elem.Kind == IndirectLocalPathEntry::MemberExpr ||

Elem.Kind == IndirectLocalPathEntry::LambdaCaptureInit)

Elem.Kind == IndirectLocalPathEntry::DefaultInit

(

N =

.size(); I != N; ++I) {

IndirectLocalPathEntry::AddressOf:

IndirectLocalPathEntry::LValToRVal:

IndirectLocalPathEntry::LifetimeBoundCall:

IndirectLocalPathEntry::TemporaryCopy:

IndirectLocalPathEntry::GslReferenceInit:

IndirectLocalPathEntry::GslPointerInit:

IndirectLocalPathEntry::GslPointerAssignment:

IndirectLocalPathEntry::ParenAggInit:

IndirectLocalPathEntry::MemberExpr:

IndirectLocalPathEntry::VarInit:

(cast<VarDecl>(

[I].

)->isImplicit())

IndirectLocalPathEntry::DefaultInit:

[I].E->getSourceRange();

IndirectLocalPathEntry::LambdaCaptureInit:

[I].E->getSourceRange();

IndirectLocalPathEntry::DefaultArg:

cast<CXXDefaultArgExpr>(

[I].

)->getUsedLocation();

->getSourceRange();

(

&It : llvm::reverse(

)) {

IndirectLocalPathEntry::VarInit:

IndirectLocalPathEntry::AddressOf:

IndirectLocalPathEntry::LifetimeBoundCall:

IndirectLocalPathEntry::MemberExpr:

IndirectLocalPathEntry::GslPointerInit:

IndirectLocalPathEntry::GslReferenceInit:

IndirectLocalPathEntry::GslPointerAssignment:

Local L, LifetimeKind LK) {

(

&

:

) {

(

.Kind == IndirectLocalPathEntry::MemberExpr) {

(

*FD = llvm::dyn_cast_or_null<FieldDecl>(

.D);

FD && !FD->getType()->isReferenceType() &&

isRecordWithAttr<OwnerAttr>(FD->getType()) &&

LK != LK_MemInitializer) {

(

.back().Kind == IndirectLocalPathEntry::LifetimeBoundCall) {

llvm::dyn_cast_or_null<FunctionDecl>(

.back().D);

(

*PD = llvm::dyn_cast<ParmVarDecl>(

.back().D))

FD = llvm::dyn_cast<FunctionDecl>(PD->getDeclContext());

(isa_and_present<CXXConstructorDecl>(FD)) {

(isa<DeclRefExpr>(L)) {

*MTE = dyn_cast<MaterializeTemporaryExpr>(L);

IsGslPtrValueFromGslTempOwner =

MTE && !MTE->getExtendingDecl() &&

isRecordWithAttr<OwnerAttr>(MTE->getType());

(!IsGslPtrValueFromGslTempOwner)

diag::warn_dangling_lifetime_pointer_assignment,

());

(EnableGSLAssignmentWarnings &&

(isRecordWithAttr<PointerAttr>(Entity.

->

()) ||

assert(!AEntity || LK == LK_Assignment);

assert(!CapEntity || LK == LK_LifetimeCapture);

assert(!InitEntity || (LK != LK_Assignment && LK != LK_LifetimeCapture));

(LK == LK_FullExpression)

TemporaryVisitor = [&](

IndirectLocalPath &

, Local L,

ReferenceKind RK) ->

{

*MTE = dyn_cast<MaterializeTemporaryExpr>(L);

IsGslPtrValueFromGslTempOwner =

;

IsGslPtrValueFromGslTempOwner =

;

LK_FullExpression:

llvm_unreachable(

);

(IsGslPtrValueFromGslTempOwner && DiagLoc.

()) {

SemaRef.

(DiagLoc, diag::warn_dangling_lifetime_pointer)

MTE->setExtendingDecl(ExtendingEntity->

(),

SemaRef.

(DiagLoc, diag::warn_dangling_variable)

<< ExtendingEntity->

() <<

->isGLValue() << DiagRange;

LK_LifetimeCapture: {

SemaRef.

(DiagLoc, diag::warn_dangling_reference_captured)

<< CapEntity->

<< DiagRange;

SemaRef.

(DiagLoc, diag::warn_dangling_reference_captured_by_unknown)

LK_Assignment: {

(IsGslPtrValueFromGslTempOwner)

SemaRef.

(DiagLoc, diag::warn_dangling_lifetime_pointer_assignment)

<< AEntity->

<< DiagRange;

SemaRef.

(DiagLoc, diag::warn_dangling_pointer_assignment)

LK_MemInitializer: {

(

*ExtendingDecl =

ExtendingEntity ? ExtendingEntity->

() :

) {

(IsGslPtrValueFromGslTempOwner) {

SemaRef.

(DiagLoc, diag::warn_dangling_lifetime_pointer_member)

<< ExtendingDecl << DiagRange;

SemaRef.

(ExtendingDecl->getLocation(),

diag::note_ref_or_ptr_member_declared_here)

IsSubobjectMember = ExtendingEntity != InitEntity;

? diag::err_dangling_member

: diag::warn_dangling_member)

<< ExtendingDecl << IsSubobjectMember << RK << DiagRange;

(

.empty() ||

.back().Kind != IndirectLocalPathEntry::DefaultInit) {

SemaRef.

(ExtendingDecl->getLocation(),

diag::note_lifetime_extending_member_declared_here)

<< RK << IsSubobjectMember;

*DRE = dyn_cast<DeclRefExpr>(L);

(DRE && isRecordWithAttr<OwnerAttr>(DRE->getType()))

*VD = DRE ? dyn_cast<VarDecl>(DRE->getDecl()) :

;

ExtendingEntity ? ExtendingEntity->

() :

) {

IsPointer = !

->getType()->isReferenceType();

SemaRef.

(DiagLoc,

IsPointer ? diag::warn_init_ptr_member_to_parameter_addr

: diag::warn_bind_ref_member_to_parameter)

<< Member << VD << isa<ParmVarDecl>(VD) << DiagRange;

diag::note_ref_or_ptr_member_declared_here)

(isa<MaterializeTemporaryExpr>(L)) {

(IsGslPtrValueFromGslTempOwner)

SemaRef.

(DiagLoc, diag::warn_dangling_lifetime_pointer)

SemaRef.

(DiagLoc, RK == RK_ReferenceBinding

? diag::warn_new_dangling_reference

: diag::warn_new_dangling_initializer_list)

<< !InitEntity->

() << DiagRange;

LK_StmtExprResult:

(

*DRE = dyn_cast<DeclRefExpr>(L)) {

(LK == LK_StmtExprResult)

SemaRef.

(DiagLoc, diag::warn_ret_stack_addr_ref)

<< isa<ParmVarDecl>(DRE->getDecl()) << (LK == LK_MustTail)

}

(isa<BlockExpr>(L)) {

SemaRef.

(DiagLoc, diag::err_ret_local_block) << DiagRange;

}

(isa<AddrLabelExpr>(L)) {

(LK == LK_StmtExprResult)

SemaRef.

(DiagLoc, diag::warn_ret_addr_label) << DiagRange;

}

(

*CLE = dyn_cast<CompoundLiteralExpr>(L)) {

SemaRef.

(DiagLoc, diag::warn_ret_stack_addr_ref)

<< 2 << (LK == LK_MustTail) << DiagRange;

SemaRef.

(DiagLoc, diag::err_ret_local_temp_ref)

(LK == LK_MustTail)

SemaRef.

(DiagLoc, diag::warn_musttail_local_temp_addr_ref)

SemaRef.

(DiagLoc, diag::warn_ret_local_temp_addr_ref)

(

I = 0; I !=

.size(); ++I) {

Elem =

[I];

(Elem.Kind) {

IndirectLocalPathEntry::AddressOf:

IndirectLocalPathEntry::LValToRVal:

IndirectLocalPathEntry::ParenAggInit:

IndirectLocalPathEntry::LifetimeBoundCall:

IndirectLocalPathEntry::TemporaryCopy:

IndirectLocalPathEntry::MemberExpr:

IndirectLocalPathEntry::GslPointerInit:

IndirectLocalPathEntry::GslReferenceInit:

IndirectLocalPathEntry::GslPointerAssignment:

IndirectLocalPathEntry::DefaultInit: {

*FD = cast<FieldDecl>(Elem.D);

SemaRef.

(FD->getLocation(),

diag::note_init_with_default_member_initializer)

IndirectLocalPathEntry::VarInit: {

*VD = cast<VarDecl>(Elem.D);

IndirectLocalPathEntry::LambdaCaptureInit: {

(!Elem.Capture->capturesVariable())

*VD = Elem.Capture->getCapturedVar();

SemaRef.

(Elem.Capture->getLocation(),

diag::note_lambda_capture_initializer)

<< VD << VD->

() << Elem.Capture->isExplicit()

<< (Elem.Capture->getCaptureKind() ==

) << VD

IndirectLocalPathEntry::DefaultArg: {

*DAE = cast<CXXDefaultArgExpr>(Elem.E);

diag::note_init_with_default_argument)

LK_Assignment: {

? IndirectLocalPathEntry::LifetimeBoundCall

: IndirectLocalPathEntry::GslPointerAssignment,

LK_LifetimeCapture: {

.push_back({IndirectLocalPathEntry::GslPointerInit,

});

(

->isGLValue())

LifetimeKind LK = LTResult.getInt();

,

, Init);

,

, Init);

RunAnalysis = (EnableDanglingPointerAssignment &&

, LK_Assignment, &Entity,

diag::warn_dangling_reference_captured_by_unknown,

()))

, LK_LifetimeCapture,

enum clang::sema::@1704::IndirectLocalPathEntry::EntryKind Kind

const LambdaCapture * Capture

C Language Family Type Representation.

Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...

Type source information for an attributed type.

TypeLoc getModifiedLoc() const

The modified type, which is generally canonically different from the attribute type.

Represents binding an expression to a temporary.

Represents a call to a C++ constructor.

Expr * getArg(unsigned Arg)

Return the specified argument.

CXXConstructorDecl * getConstructor() const

Get the constructor that this expression will (ultimately) call.

Represents a C++ constructor within a class.

Represents a static or instance method of a struct/union/class.

const CXXRecordDecl * getParent() const

Return the parent of this method declaration, which is the class in which this method is defined.

Represents a C++ struct/union/class.

CastExpr - Base class for type casts, including both implicit casts (ImplicitCastExpr) and explicit c...

DeclContext - This is used only as base class of specific decl types that can act as declaration cont...

bool isStdNamespace() const

Decl - This represents one declaration (or definition), e.g.

bool isInStdNamespace() const

ASTContext & getASTContext() const LLVM_READONLY

bool isImplicit() const

isImplicit - Indicates whether the declaration was implicitly generated by the implementation.

SourceLocation getLocation() const

OverloadedOperatorKind getCXXOverloadedOperator() const

If this name is the name of an overloadable operator in C++ (e.g., operator+), retrieve the kind of o...

TypeSourceInfo * getTypeSourceInfo() const

bool isIgnored(unsigned DiagID, SourceLocation Loc) const

Determine whether the diagnostic is known to be ignored.

This represents one expression.

Expr * IgnoreImplicit() LLVM_READONLY

Skip past any implicit AST nodes which might surround this expression until reaching a fixed point.

Represents a function declaration or definition.

const ParmVarDecl * getParamDecl(unsigned i) const

QualType getReturnType() const

FunctionTemplateDecl * getPrimaryTemplate() const

Retrieve the primary template that this function template specialization either specializes or was in...

unsigned getNumParams() const

Return the number of parameters this function must have based on its FunctionType.

size_t param_size() const

One of these records is kept for each identifier that is lexed.

Describes an C or C++ initializer list.

Describes an entity that is being initialized.

EntityKind getKind() const

Determine the kind of initialization.

unsigned allocateManglingNumber() const

QualType getType() const

Retrieve type being initialized.

ValueDecl * getDecl() const

Retrieve the variable, parameter, or field being initialized.

const InitializedEntity * getParent() const

Retrieve the parent of the entity being initialized, when the initialization itself is occurring with...

@ EK_Variable

The entity being initialized is a variable.

@ EK_Temporary

The entity being initialized is a temporary object.

@ EK_Binding

The entity being initialized is a structured binding of a decomposition declaration.

@ EK_BlockElement

The entity being initialized is a field of block descriptor for the copied-in c++ object.

@ EK_Parameter_CF_Audited

The entity being initialized is a function parameter; function is member of group of audited CF APIs.

@ EK_LambdaToBlockConversionBlockElement

The entity being initialized is a field of block descriptor for the copied-in lambda object that's us...

@ EK_Member

The entity being initialized is a non-static data member subobject.

@ EK_Base

The entity being initialized is a base member subobject.

@ EK_Result

The entity being initialized is the result of a function call.

@ EK_TemplateParameter

The entity being initialized is a non-type template parameter.

@ EK_StmtExprResult

The entity being initialized is the result of a statement expression.

@ EK_ParenAggInitMember

The entity being initialized is a non-static data member subobject of an object initialized via paren...

@ EK_VectorElement

The entity being initialized is an element of a vector.

@ EK_New

The entity being initialized is an object (or array of objects) allocated via new.

@ EK_CompoundLiteralInit

The entity being initialized is the initializer for a compound literal.

@ EK_Parameter

The entity being initialized is a function parameter.

@ EK_Delegating

The initialization is being done by a delegating constructor.

@ EK_ComplexElement

The entity being initialized is the real or imaginary part of a complex number.

@ EK_ArrayElement

The entity being initialized is an element of an array.

@ EK_LambdaCapture

The entity being initialized is the field that captures a variable in a lambda.

@ EK_Exception

The entity being initialized is an exception object that is being thrown.

@ EK_RelatedResult

The entity being implicitly initialized back to the formal result type.

bool isDefaultMemberInitializer() const

Is this the default member initializer of a member (specified inside the class definition)?

Describes the capture of a variable or of this, or of a C++1y init-capture.

bool capturesVariable() const

Determine whether this capture handles a variable.

MemberExpr - [C99 6.5.2.3] Structure and Union Members.

IdentifierInfo * getIdentifier() const

Get the identifier that names this declaration, if there is one.

StringRef getName() const

Get the name of identifier for this declaration as a StringRef.

DeclarationName getDeclName() const

Get the actual, stored name of the declaration, which may be a special name.

Represents a parameter to a function.

SourceRange getDefaultArgRange() const

Retrieve the source range that covers the entire default argument.

A (possibly-)qualified type.

Represents a struct/union/class.

decl_type * getMostRecentDecl()

Returns the most recent (re)declaration of this declaration.

Base for LValueReferenceType and RValueReferenceType.

SemaDiagnosticBuilder Diag(SourceLocation Loc, unsigned DiagID, bool DeferHint=false)

Emit a diagnostic.

Sema - This implements semantic analysis and AST building for C.

DiagnosticsEngine & getDiagnostics() const

const LangOptions & getLangOpts() const

static bool CanBeGetReturnObject(const FunctionDecl *FD)

Encodes a location in the source.

bool isValid() const

Return true if this is a valid SourceLocation object.

A trivial tuple used to represent a source range.

SourceLocation getBegin() const

@ Type

The template argument is a type.

Represents a type template specialization; the template must be a class template, a type alias templa...

Base wrapper for a particular "section" of type source info.

T getAsAdjusted() const

Convert to the specified TypeLoc type, returning a null TypeLoc if this TypeLoc is not of the desired...

A container of type source information.

TypeLoc getTypeLoc() const

Return the TypeLoc wrapper for the type source info.

The base class of the type hierarchy.

CXXRecordDecl * getAsCXXRecordDecl() const

Retrieves the CXXRecordDecl that this type refers to, either because the type is a RecordType or beca...

bool hasAttr(attr::Kind AK) const

Determine whether this type had the specified attribute applied to it (looking through top-level type...

bool isPointerType() const

bool isReferenceType() const

const CXXRecordDecl * getPointeeCXXRecordDecl() const

If this is a pointer or reference to a RecordType, return the CXXRecordDecl that the type refers to.

QualType getPointeeType() const

If this is a pointer, ObjC object pointer, or block pointer, this returns the respective pointee.

bool isLValueReferenceType() const

const T * getAs() const

Member-template getAs<specific type>'.

bool isNullPtrType() const

RecordDecl * getAsRecordDecl() const

Retrieves the RecordDecl this type refers to.

UnaryOperator - This represents the unary-expression's (except sizeof and alignof),...

Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...

bool isInitCapture() const

Whether this variable is the implicit variable for a lambda init-capture.

Represents a variable declaration or definition.

static bool isStdInitializerListOfPointer(const RecordDecl *RD)

bool implicitObjectParamIsLifetimeBound(const FunctionDecl *FD)

static void checkExprLifetimeImpl(Sema &SemaRef, const InitializedEntity *InitEntity, const InitializedEntity *ExtendingEntity, LifetimeKind LK, const AssignedEntity *AEntity, const CapturingEntity *CapEntity, Expr *Init)

static bool shouldRunGSLAssignmentAnalysis(const Sema &SemaRef, const AssignedEntity &Entity)

static void visitLocalsRetainedByReferenceBinding(IndirectLocalPath &Path, Expr *Init, ReferenceKind RK, LocalVisitor Visit)

Visit the locals that would be reachable through a reference bound to the glvalue expression Init.

void checkExprLifetimeMustTailArg(Sema &SemaRef, const InitializedEntity &Entity, Expr *Init)

Check that the lifetime of the given expr (and its subobjects) is sufficient, assuming that it is pas...

static bool pathOnlyHandlesGslPointer(const IndirectLocalPath &Path)

static void visitLocalsRetainedByInitializer(IndirectLocalPath &Path, Expr *Init, LocalVisitor Visit, bool RevisitSubinits)

Visit the locals that would be reachable through an object initialized by the prvalue expression Init...

static bool isNormalAssignmentOperator(const FunctionDecl *FD)

static AnalysisResult analyzePathForGSLPointer(const IndirectLocalPath &Path, Local L, LifetimeKind LK)

static bool isInStlNamespace(const Decl *D)

static bool isRecordWithAttr(QualType Type)

bool isGLSPointerType(QualType QT)

static bool shouldTrackFirstArgument(const FunctionDecl *FD)

static bool isContainerOfOwner(const RecordDecl *Container)

static SourceRange nextPathEntryRange(const IndirectLocalPath &Path, unsigned I, Expr *E)

Find the range for the first interesting entry in the path at or after I.

static LifetimeResult getEntityLifetime(const InitializedEntity *Entity, const InitializedEntity *InitField=nullptr)

Determine the declaration which an initialized entity ultimately refers to, for the purpose of lifeti...

static const FunctionDecl * getDeclWithMergedLifetimeBoundAttrs(const FunctionDecl *FD)

static bool isContainerOfPointer(const RecordDecl *Container)

void checkInitLifetime(Sema &SemaRef, const InitializedEntity &Entity, Expr *Init)

Check that the lifetime of the given expr (and its subobjects) is sufficient for initializing the ent...

static bool isCopyLikeConstructor(const CXXConstructorDecl *Ctor)

void checkAssignmentLifetime(Sema &SemaRef, const AssignedEntity &Entity, Expr *Init)

Check that the lifetime of the given expr (and its subobjects) is sufficient for assigning to the ent...

static bool shouldTrackFirstArgumentForConstructor(const CXXConstructExpr *Ctor)

PathLifetimeKind

Whether a path to an object supports lifetime extension.

@ NoExtend

Do not lifetime extend along this path.

@ Extend

Lifetime-extend along this path.

static bool isVarOnPath(const IndirectLocalPath &Path, VarDecl *VD)

static bool pathContainsInit(const IndirectLocalPath &Path)

static bool isPointerLikeType(QualType QT)

static void visitFunctionCallArguments(IndirectLocalPath &Path, Expr *Call, LocalVisitor Visit)

void checkCaptureByLifetime(Sema &SemaRef, const CapturingEntity &Entity, Expr *Init)

static bool shouldTrackImplicitObjectArg(const CXXMethodDecl *Callee)

static bool isAssignmentOperatorLifetimeBound(const CXXMethodDecl *CMD)

static PathLifetimeKind shouldLifetimeExtendThroughPath(const IndirectLocalPath &Path)

Determine whether this is an indirect path to a temporary that we are supposed to lifetime-extend alo...

OverloadedOperatorKind

Enumeration specifying the different kinds of C++ overloaded operators.

bool isCompoundAssignmentOperator(OverloadedOperatorKind Kind)

Determine if this is a compound assignment operator.

LLVM_READONLY bool isUppercase(unsigned char c)

Return true if this character is an uppercase ASCII letter: [A-Z].

@ LCK_ByRef

Capturing by reference.

@ Result

The result type of a method or function.

const FunctionProtoType * T

Describes an entity that is being assigned.

CXXMethodDecl * AssignmentOperator

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4