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()
408                              [](Environment &Env, BoolValue &ExprVal,  in transferValueOrStringEmptyCall()
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()
608                                  const clang::Expr *E, Environment &Env) {  in transferOptionalAndValueCmp()
777                                                const Environment &Env) {  in diagnoseUnwrapCall()
799   return CFGMatchSwitchBuilder<const Environment, std::vector<SourceLocation>>()  in buildDiagnoseMatchSwitch()
804              const Environment &Env) {  in buildDiagnoseMatchSwitch()
812              const Environment &Env) {  in buildDiagnoseMatchSwitch()
830                                             NoopLattice &L, Environment &Env) {  in transfer()
836     QualType Type, const Value &Val1, const Environment &Env1,  in compare()
837     const Value &Val2, const Environment &Env2) {  in compare()
853                                          const Environment &Env1,  in merge()
855                                          const Environment &Env2,  in merge()
857                                          Environment &MergedEnv) {  in merge()
878                                            const Environment &PrevEnv,  in widen()
880                                            Environment &CurrentEnv) {  in widen()
907     ASTContext &Ctx, const CFGElement *Elt, const Environment &Env) {  in diagnose()