ASTOps.cpp File Reference

#include "clang/Analysis/FlowSensitive/ASTOps.h"
#include "clang/AST/ComputeDependence.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/Expr.h"
#include "clang/AST/ExprCXX.h"
#include "clang/AST/Stmt.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/FlowSensitive/StorageLocation.h"
#include "clang/Basic/LLVM.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/STLExtras.h"
#include <cassert>
#include <iterator>
#include <vector>

Go to the source code of this file.

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	clang::dataflow
	Dataflow Directional Tag Classes.

Macros
#define	DEBUG_TYPE   "dataflow"

Functions
const Expr &	clang::dataflow::ignoreCFGOmittedNodes (const Expr &E)
	Skip past nodes that the CFG does not emit.
const Stmt &	clang::dataflow::ignoreCFGOmittedNodes (const Stmt &S)
static void	clang::dataflow::getFieldsFromClassHierarchy (QualType Type, FieldSet &Fields)
FieldSet	clang::dataflow::getObjectFields (QualType Type)
	Returns the set of all fields in the type.
bool	clang::dataflow::containsSameFields (const FieldSet &Fields, const RecordStorageLocation::FieldToLoc &FieldLocs)
	Returns whether Fields and FieldLocs contain the same fields.
template<class InitListT >
static std::vector< const FieldDecl * >	clang::dataflow::getFieldsForInitListExpr (const InitListT *InitList)
	Returns the fields of a RecordDecl that are initialized by an InitListExpr or CXXParenListInitExpr, in the order in which they appear in InitListExpr::inits() / CXXParenListInitExpr::getInitExprs().
static void	clang::dataflow::insertIfGlobal (const Decl &D, llvm::DenseSet< const VarDecl * > &Globals)
static void	clang::dataflow::insertIfFunction (const Decl &D, llvm::DenseSet< const FunctionDecl * > &Funcs)
static MemberExpr *	clang::dataflow::getMemberForAccessor (const CXXMemberCallExpr &C)
static void	clang::dataflow::getReferencedDecls (const Decl &D, ReferencedDecls &Referenced)
static void	clang::dataflow::getReferencedDecls (const Stmt &S, ReferencedDecls &Referenced)
	Traverses S and inserts into Referenced any declarations that are declared in or referenced from sub-statements.
ReferencedDecls	clang::dataflow::getReferencedDecls (const FunctionDecl &FD)
	Returns declarations that are declared in or referenced from FD.
ReferencedDecls	clang::dataflow::getReferencedDecls (const Stmt &S)
	Returns declarations that are declared in or referenced from S.

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "dataflow"

Definition at line 30 of file ASTOps.cpp.