#include "clang/AST/Stmt.h"#include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"#include "llvm/ADT/Optional.h"
Include dependency graph for Transfer.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| struct | clang::dataflow::ContextSensitiveOptions |
| struct | clang::dataflow::TransferOptions |
| class | clang::dataflow::StmtToEnvMap |
| Maps statements to the environments of basic blocks that contain them. More... | |
Namespaces | |
| clang | |
| clang::dataflow | |
| Dataflow Directional Tag Classes. | |
Functions | |
| void | clang::dataflow::transfer (const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env, TransferOptions Options) |
Evaluates S and updates Env accordingly. More... | |
