LiveVariables.cpp File Reference (original) (raw)

#include "[clang/Analysis/Analyses/LiveVariables.h](LiveVariables%5F8h%5Fsource.html)"
#include "[clang/AST/Stmt.h](Stmt%5F8h%5Fsource.html)"
#include "[clang/AST/StmtVisitor.h](StmtVisitor%5F8h%5Fsource.html)"
#include "[clang/Analysis/AnalysisDeclContext.h](AnalysisDeclContext%5F8h%5Fsource.html)"
#include "[clang/Analysis/CFG.h](CFG%5F8h%5Fsource.html)"
#include "[clang/Analysis/FlowSensitive/DataflowWorklist.h](DataflowWorklist%5F8h%5Fsource.html)"
#include "llvm/ADT/DenseMap.h"
#include "llvm/Support/raw_ostream.h"
#include <algorithm>
#include <optional>
#include <vector>

Go to the source code of this file.

Functions
static LiveVariablesImpl &	getImpl (void *x)

static bool	isAlwaysAlive (const VarDecl *D)

static const VariableArrayType *	FindVA (QualType Ty)

static const Expr *	LookThroughExpr (const Expr *E)

static void	AddLiveExpr (llvm::ImmutableSet< const Expr * > &Set, llvm::ImmutableSet< const Expr * >::Factory &F, const Expr *E)

static void	AddAllConditionalTerms (llvm::ImmutableSet< const Expr * > &Set, llvm::ImmutableSet< const Expr * >::Factory &F, const Expr *Cond)
	Add as a live expression all individual conditions in a logical expression.

static bool	writeShouldKill (const VarDecl *VD)

◆ AddAllConditionalTerms()

static void AddAllConditionalTerms ( llvm::ImmutableSet< const Expr * > & Set, llvm::ImmutableSet< const Expr * >::Factory & F, const Expr * Cond )	static

◆ AddLiveExpr()

static void AddLiveExpr ( llvm::ImmutableSet< const Expr * > & Set, llvm::ImmutableSet< const Expr * >::Factory & F, const Expr * E )	static

◆ FindVA()

◆ getImpl()

static LiveVariablesImpl & getImpl ( void * x)	static

◆ isAlwaysAlive()

◆ LookThroughExpr()

static const Expr * LookThroughExpr ( const Expr * E)	static

◆ writeShouldKill()

static bool writeShouldKill ( const VarDecl * VD)	static