|
clang 23.0.0git
|
Represents that an origin escapes via a return statement. More...
#include "clang/Analysis/Analyses/LifetimeSafety/Facts.h"
Public Member Functions | |
| ReturnEscapeFact (OriginID OID, const Expr *ReturnExpr) | |
| const Expr * | getReturnExpr () 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) | |
|
inline |
Definition at line 167 of file Facts.h.
References clang::lifetimes::internal::OriginEscapesFact::OriginEscapesFact(), and clang::lifetimes::internal::OriginEscapesFact::Return.
Definition at line 170 of file Facts.h.
References clang::lifetimes::internal::OriginEscapesFact::getEscapeKind(), clang::lifetimes::internal::Fact::getKind(), clang::lifetimes::internal::Fact::OriginEscapes, clang::lifetimes::internal::OriginEscapesFact::OriginEscapesFact(), and clang::lifetimes::internal::OriginEscapesFact::Return.
|
overridevirtual |
Reimplemented from clang::lifetimes::internal::Fact.
Definition at line 48 of file Facts.cpp.
References clang::lifetimes::internal::OriginManager::dump(), and clang::lifetimes::internal::OriginEscapesFact::getEscapedOriginID().
|
inline |