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/AST/TypeOrdering.h"
#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"
#include "clang/Analysis/FlowSensitive/DataflowLattice.h"
#include "clang/Analysis/FlowSensitive/StorageLocation.h"
#include "clang/Analysis/FlowSensitive/Value.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/DenseSet.h"
#include <memory>
#include <type_traits>
#include <utility>

Include dependency graph for DataflowEnvironment.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
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
	clang
	clang::dataflow
	Dataflow Directional Tag Classes.

Enumerations
enum	clang::dataflow::SkipPast { clang::dataflow::SkipPast::None, clang::dataflow::SkipPast::Reference, clang::dataflow::SkipPast::ReferenceThenPointer }
	Indicates what kind of indirections should be skipped past when retrieving storage locations or values. More...