Facts.h File Reference

#include "clang/AST/Decl.h"
#include "clang/Analysis/Analyses/LifetimeSafety/Loans.h"
#include "clang/Analysis/Analyses/LifetimeSafety/Origins.h"
#include "clang/Analysis/Analyses/LifetimeSafety/Utils.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/ADT/STLFunctionalExtras.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include <cstdint>
#include <optional>

Go to the source code of this file.

Classes
class	clang::lifetimes::UseSite
	Where and how an origin is used, for diagnostics. More...
class	clang::lifetimes::internal::Fact
	An abstract base class for a single, atomic lifetime-relevant event. More...
class	clang::lifetimes::internal::IssueFact
class	clang::lifetimes::internal::ExpireFact
	When an AccessPath expires (e.g., a variable goes out of scope), all loans that are associated with this path expire. More...
class	clang::lifetimes::internal::OriginFlowFact
class	clang::lifetimes::internal::OriginEscapesFact
	Represents that an origin escapes the current scope through various means. More...
class	clang::lifetimes::internal::ReturnEscapeFact
	Represents that an origin escapes via a return statement. More...
class	clang::lifetimes::internal::FieldEscapeFact
	Represents that an origin escapes via assignment to a field. More...
class	clang::lifetimes::internal::GlobalEscapeFact
	Represents that an origin escapes via assignment to global or static storage. More...
class	clang::lifetimes::internal::ThisEscapeFact
	Represents an origin escaping through the enclosing object this, which outlives the current method. More...
class	clang::lifetimes::internal::UseFact
class	clang::lifetimes::internal::InvalidateOriginFact
	Represents that an origin's storage has been invalidated by a container operation (e.g., vector::push_back may reallocate, invalidating iterators). More...
class	clang::lifetimes::internal::MovedOriginFact
	Top-level origin of the expression which was found to be moved, e.g, when being used as an argument to an r-value reference parameter. More...
class	clang::lifetimes::internal::TestPointFact
	A dummy-fact used to mark a specific point in the code for testing. More...
class	clang::lifetimes::internal::KillOriginFact
	All loans are cleared from an origin (e.g., assigning a callable without tracked origins to std::function). More...
class	clang::lifetimes::internal::FactManager

Namespaces
namespace	clang
	Top level wrappers for InstallAPI frontend operations.
namespace	clang::lifetimes
namespace	clang::lifetimes::internal

Typedefs
using	clang::lifetimes::internal::FactID = utils::ID<struct FactTag>
using	clang::lifetimes::internal::ProgramPoint = const Fact *
	A ProgramPoint identifies a location in the CFG by pointing to a specific Fact.

Enumerations
enum class	clang::lifetimes::UseKind { clang::lifetimes::Explicit , clang::lifetimes::Destructor , clang::lifetimes::Cleanup }
	How an origin is used: by an expression, or implicitly at scope exit by a destructor or a cleanup callback that may read the borrows it holds. More...