Lines Matching refs:Environment
40 Environment &Env) { in evaluateBooleanEquality()
54 static BoolValue &unpackValue(BoolValue &V, Environment &Env);
57 BoolValue &unpackBinaryBoolValue(Environment &Env, BoolValue &B, M build) { in unpackBinaryBoolValue()
70 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
96 &Environment::makeAnd); in unpackValue()
99 &Environment::makeOr); in unpackValue()
102 Env, V, &Environment::makeImplication); in unpackValue()
105 &Environment::makeIff); in unpackValue()
112 static Value *maybeUnpackLValueExpr(const Expr &E, Environment &Env) { in maybeUnpackLValueExpr()
133 TransferVisitor(const StmtToEnvMap &StmtToEnv, Environment &Env) in TransferVisitor()
759 if (const Environment *SubExprEnv = StmtToEnv.getEnvironment(SubExpr)) { in getLogicOperatorSubExprValue()
831 Environment &Env;
834 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env) { in transfer()