Lines Matching refs:Environment

40 const Environment *StmtToEnvMap::getEnvironment(const Stmt &S) const {  in getEnvironment()
54                                           Environment &Env) {  in evaluateBooleanEquality()
68 static BoolValue &unpackValue(BoolValue &V, Environment &Env) {  in unpackValue()
79 static Value *maybeUnpackLValueExpr(const Expr &E, Environment &Env) {  in maybeUnpackLValueExpr()
96 static void propagateValue(const Expr &From, const Expr &To, Environment &Env) {  in propagateValue()
102                                      Environment &Env) {  in propagateStorageLocation()
111                                             Environment &Env) {  in propagateValueOrStorageLocation()
123   TransferVisitor(const StmtToEnvMap &StmtToEnv, Environment &Env)  in TransferVisitor()
764     if (const Environment *SubExprEnv = StmtToEnv.getEnvironment(SubExpr))  in getLogicOperatorSubExprValue()
824   Environment &Env;
829 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env) {  in transfer()