clang::lifetimes::internal::FieldEscapeFact Class Reference

Represents that an origin escapes via assignment to a field. More...

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

Inheritance diagram for clang::lifetimes::internal::FieldEscapeFact:

Public Member Functions
	FieldEscapeFact (OriginID OID, const FieldDecl *FDecl)
const FieldDecl *	getFieldDecl () const
void	dump (llvm::raw_ostream &OS, const LoanManager &, const OriginManager &OM) const override
Public Member Functions inherited from clang::lifetimes::internal::OriginEscapesFact
	OriginEscapesFact (OriginID OID, EscapeKind EscKind)
OriginID	getEscapedOriginID () const
EscapeKind	getEscapeKind () const
Public Member Functions inherited from clang::lifetimes::internal::Fact
virtual	~Fact ()=default
Kind	getKind () const
void	setID (FactID ID)
FactID	getID () const
template<typename T>
const T *	getAs () const

Static Public Member Functions
static bool	classof (const Fact *F)
Static Public Member Functions inherited from clang::lifetimes::internal::OriginEscapesFact
static bool	classof (const Fact *F)

Additional Inherited Members
Public Types inherited from clang::lifetimes::internal::OriginEscapesFact
enum class	EscapeKind : uint8_t { Return , Field }
	The way an origin can escape the current scope. More...
Public Types inherited from clang::lifetimes::internal::Fact
enum class	Kind : uint8_t {   Issue , Expire , OriginFlow , Use ,   TestPoint , OriginEscapes }
Public Attributes inherited from clang::lifetimes::internal::OriginEscapesFact
enum clang::lifetimes::internal::OriginEscapesFact::EscapeKind	EscKind
Protected Member Functions inherited from clang::lifetimes::internal::Fact
	Fact (Kind K)

Detailed Description

Represents that an origin escapes via assignment to a field.

Example: this->view = local_var; where local_var outlives the assignment but not the object containing the field.

Definition at line 183 of file Facts.h.

Constructor & Destructor Documentation

FieldEscapeFact()

clang::lifetimes::internal::FieldEscapeFact::FieldEscapeFact ( OriginID OID, const FieldDecl * FDecl )

inline

Definition at line 187 of file Facts.h.

References clang::lifetimes::internal::OriginEscapesFact::Field, and clang::lifetimes::internal::OriginEscapesFact::OriginEscapesFact().

Member Function Documentation

classof()

bool clang::lifetimes::internal::FieldEscapeFact::classof ( const Fact * F )

inlinestatic

Definition at line 190 of file Facts.h.

References clang::lifetimes::internal::OriginEscapesFact::Field, clang::lifetimes::internal::OriginEscapesFact::getEscapeKind(), clang::lifetimes::internal::Fact::getKind(), clang::lifetimes::internal::Fact::OriginEscapes, and clang::lifetimes::internal::OriginEscapesFact::OriginEscapesFact().

dump()

void clang::lifetimes::internal::FieldEscapeFact::dump ( llvm::raw_ostream & OS, const LoanManager & , const OriginManager & OM ) const

overridevirtual

Reimplemented from clang::lifetimes::internal::Fact.

Definition at line 55 of file Facts.cpp.

References clang::lifetimes::internal::OriginManager::dump(), and clang::lifetimes::internal::OriginEscapesFact::getEscapedOriginID().

getFieldDecl()

const FieldDecl * clang::lifetimes::internal::FieldEscapeFact::getFieldDecl ( ) const

inline

Definition at line 195 of file Facts.h.

---

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

• include/clang/Analysis/Analyses/LifetimeSafety/Facts.h
• lib/Analysis/LifetimeSafety/Facts.cpp