clang  16.0.0git
Classes | Namespaces | Enumerations
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/ControlFlowContext.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 "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

 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...
 
enum  clang::dataflow::ComparisonResult { clang::dataflow::ComparisonResult::Same, clang::dataflow::ComparisonResult::Different, clang::dataflow::ComparisonResult::Unknown }
 Indicates the result of a tentative comparison. More...