203 BoolValue &forceBoolValue(Environment &Env, const Expr &Expr) {  in forceBoolValue()
223 StructValue &createOptionalValue(Environment &Env, BoolValue &HasValueVal) {  in createOptionalValue()
231 BoolValue *getHasValue(Environment &Env, Value *OptionalVal) {  in getHasValue()
280                                                     Environment &Env) {  in maybeInitializeOptionalValueMember()
333 bool isEmptyOptional(const Value &OptionalVal, const Environment &Env) {  in isEmptyOptional()
342 bool isNonEmptyOptional(const Value &OptionalVal, const Environment &Env) {  in isNonEmptyOptional()
385                          BoolValue &(*ModelPred)(Environment &Env,  in transferValueOrImpl()
388   auto &Env = State.Env;  in transferValueOrImpl()  local
425                       [](Environment &Env, BoolValue &ExprVal,  in transferValueOrNotEqX()
446 void assignOptionalValue(const Expr &E, Environment &Env,  in assignOptionalValue()
568 BoolValue &evaluateEquality(Environment &Env, BoolValue &EqVal, BoolValue &LHS,  in evaluateEquality()
594   Environment &Env = State.Env;  in transferOptionalAndOptionalCmp()  local
608                                  const clang::Expr *E, Environment &Env) {  in transferOptionalAndValueCmp()
777                                                const Environment &Env) {  in diagnoseUnwrapCall()
804              const Environment &Env) {  in buildDiagnoseMatchSwitch()
812              const Environment &Env) {  in buildDiagnoseMatchSwitch()
830                                             NoopLattice &L, Environment &Env) {  in transfer()
907     ASTContext &Ctx, const CFGElement *Elt, const Environment &Env) {  in diagnose()