clang::lifetimes::internal::InvalidateOriginFact Class Reference

Represents that an origin's storage has been invalidated by a container operation (e.g., vector::push_back may reallocate, invalidating iterators). More...

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

Inheritance diagram for clang::lifetimes::internal::InvalidateOriginFact:

Public Member Functions
	InvalidateOriginFact (OriginID OID, const Expr *InvalidationExpr)
OriginID	getInvalidatedOrigin () const
const Expr *	getInvalidationExpr () const
void	dump (llvm::raw_ostream &OS, const LoanManager &, const OriginManager &OM) const override
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)

Additional Inherited Members
Public Types inherited from clang::lifetimes::internal::Fact
enum class	Kind : uint8_t {   Issue , Expire , OriginFlow , Use ,   MovedOrigin , TestPoint , OriginEscapes , InvalidateOrigin }
Protected Member Functions inherited from clang::lifetimes::internal::Fact
	Fact (Kind K)

Detailed Description

Represents that an origin's storage has been invalidated by a container operation (e.g., vector::push_back may reallocate, invalidating iterators).

Created when a container method that may invalidate references/iterators is called on the container.

Definition at line 231 of file Facts.h.

Constructor & Destructor Documentation

InvalidateOriginFact()

clang::lifetimes::internal::InvalidateOriginFact::InvalidateOriginFact ( OriginID OID, const Expr * InvalidationExpr )

inline

Definition at line 240 of file Facts.h.

References clang::lifetimes::internal::Fact::Fact(), and clang::lifetimes::internal::Fact::InvalidateOrigin.

Member Function Documentation

classof()

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

inlinestatic

Definition at line 236 of file Facts.h.

References clang::lifetimes::internal::Fact::Fact(), clang::lifetimes::internal::Fact::getKind(), and clang::lifetimes::internal::Fact::InvalidateOrigin.

dump()

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

overridevirtual

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

Definition at line 85 of file Facts.cpp.

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

getInvalidatedOrigin()

OriginID clang::lifetimes::internal::InvalidateOriginFact::getInvalidatedOrigin ( ) const

inline

Definition at line 244 of file Facts.h.

Referenced by dump().

getInvalidationExpr()

const Expr * clang::lifetimes::internal::InvalidateOriginFact::getInvalidationExpr ( ) const

inline

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