DataflowEnvironment.h File Reference

#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/Expr.h"
#include "clang/AST/Type.h"
#include "clang/Analysis/FlowSensitive/ASTOps.h"
#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"
#include "clang/Analysis/FlowSensitive/DataflowLattice.h"
#include "clang/Analysis/FlowSensitive/Formula.h"
#include "clang/Analysis/FlowSensitive/Logger.h"
#include "clang/Analysis/FlowSensitive/StorageLocation.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/MapVector.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/ErrorHandling.h"
#include <cassert>
#include <memory>
#include <type_traits>
#include <utility>
#include <vector>

Go to the source code of this file.

Classes
struct	clang::dataflow::WidenResult
	The result of a widen operation. More...
class	clang::dataflow::Environment
	Holds the state of the program (store and heap) at a given program point. More...
class	clang::dataflow::Environment::ValueModel
	Supplements Environment with non-standard comparison and join operations. More...

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

Enumerations
enum class	clang::dataflow::ComparisonResult { clang::dataflow::Same , clang::dataflow::Different , clang::dataflow::Unknown }
	Indicates the result of a tentative comparison. More...

Functions
RecordStorageLocation *	clang::dataflow::getImplicitObjectLocation (const CXXMemberCallExpr &MCE, const Environment &Env)
	Returns the storage location for the implicit object of a CXXMemberCallExpr, or null if none is defined in the environment.
RecordStorageLocation *	clang::dataflow::getBaseObjectLocation (const MemberExpr &ME, const Environment &Env)
	Returns the storage location for the base object of a MemberExpr, or null if none is defined in the environment.