clang
15.0.0git
|
#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>
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... | |