#include "clang/AST/Decl.h"#include "clang/AST/DeclBase.h"#include "clang/AST/Expr.h"#include "clang/AST/Type.h"#include "clang/Analysis/FlowSensitive/ControlFlowContext.h"#include "clang/Analysis/FlowSensitive/DataflowAnalysisContext.h"#include "clang/Analysis/FlowSensitive/DataflowLattice.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/Support/ErrorHandling.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 | |
| namespace | clang |
| namespace | clang::dataflow |
| Dataflow Directional Tag Classes. | |
Enumerations | |
| enum class | clang::dataflow::SkipPast { clang::dataflow::None , clang::dataflow::Reference , clang::dataflow::ReferenceThenPointer } |
| Indicates what kind of indirections should be skipped past when retrieving storage locations or values. More... | |
| enum class | clang::dataflow::ComparisonResult { clang::dataflow::Same , clang::dataflow::Different , clang::dataflow::Unknown } |
| Indicates the result of a tentative comparison. More... | |
