Go to the source code of this file.
|
static BoolValue & | clang::dataflow::evaluateBooleanEquality (const Expr &LHS, const Expr &RHS, Environment &Env) |
|
static BoolValue & | clang::dataflow::unpackValue (BoolValue &V, Environment &Env) |
|
template<typename Derived , typename M > |
BoolValue & | clang::dataflow::unpackBinaryBoolValue (Environment &Env, BoolValue &B, M build) |
|
static Value * | clang::dataflow::maybeUnpackLValueExpr (const Expr &E, Environment &Env) |
|
static void | clang::dataflow::propagateValue (const Expr &From, const Expr &To, Environment &Env) |
|
static void | clang::dataflow::propagateStorageLocation (const Expr &From, const Expr &To, Environment &Env) |
|
static void | clang::dataflow::propagateValueOrStorageLocation (const Expr &From, const Expr &To, Environment &Env) |
|
void | clang::dataflow::transfer (const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env) |
| Evaluates S and updates Env accordingly.
|
|