Lines Matching refs:Environment
42 const Environment *StmtToEnvMap::getEnvironment(const Stmt &S) const { in getEnvironment()
60 Environment &Env) { in evaluateBooleanEquality()
82 static BoolValue &unpackValue(BoolValue &V, Environment &Env) { in unpackValue()
93 static Value *maybeUnpackLValueExpr(const Expr &E, Environment &Env) { in maybeUnpackLValueExpr()
110 static void propagateValue(const Expr &From, const Expr &To, Environment &Env) { in propagateValue()
118 Environment &Env) { in propagateStorageLocation()
127 Environment &Env) { in propagateValueOrStorageLocation()
139 TransferVisitor(const StmtToEnvMap &StmtToEnv, Environment &Env, in TransferVisitor()
140 Environment::ValueModel &Model) in TransferVisitor()
692 const Environment *TrueEnv = StmtToEnv.getEnvironment(*S->getTrueExpr()); in VisitConditionalOperator()
693 const Environment *FalseEnv = StmtToEnv.getEnvironment(*S->getFalseExpr()); in VisitConditionalOperator()
725 if (Value *Val = Environment::joinValues( in VisitConditionalOperator()
826 if (const Environment *SubExprEnv = StmtToEnv.getEnvironment(SubExpr)) in getLogicOperatorSubExprValue()
885 Environment &Env;
886 Environment::ValueModel &Model;
891 void transfer(const StmtToEnvMap &StmtToEnv, const Stmt &S, Environment &Env, in transfer()
892 Environment::ValueModel &Model) { in transfer()