ΒΆvoid transfer(
const clang::dataflow::StmtToEnvMap&
StmtToEnv,
const clang::Stmt& S,
clang::dataflow::Environment& Env,
clang::dataflow::TransferOptions Options)
void transfer(
const clang::dataflow::StmtToEnvMap&
StmtToEnv,
const clang::Stmt& S,
clang::dataflow::Environment& Env,
clang::dataflow::TransferOptions Options)
Description
Evaluates `S` and updates `Env` accordingly. Requirements: `S` must not be `ParenExpr` or `ExprWithCleanups`.
Declared at: clang/include/clang/Analysis/FlowSensitive/Transfer.h:45
Parameters
- const clang::dataflow::StmtToEnvMap& StmtToEnv
- const clang::Stmt& S
- clang::dataflow::Environment& Env
- clang::dataflow::TransferOptions Options