ΒΆ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