97                                   const Environment &Env1, Value &Val2,  in compareDistinctValues()
98                                   const Environment &Env2,  in compareDistinctValues()
99                                   Environment::ValueModel &Model) {  in compareDistinctValues()
122                                  const Environment &Env1, Value &Val2,  in joinDistinctValues()
123                                  const Environment &Env2,  in joinDistinctValues()
124                                  Environment &JoinedEnv,  in joinDistinctValues()
125                                  Environment::ValueModel &Model) {  in joinDistinctValues()
162                                        const Environment &PrevEnv,  in widenDistinctValues()
163                                        Value &Current, Environment &CurrentEnv,  in widenDistinctValues()
164                                        Environment::ValueModel &Model) {  in widenDistinctValues()
209                            const Environment &Env1, const Environment &Env2,  in compareKeyToValueMaps()
210                            Environment::ValueModel &Model) {  in compareKeyToValueMaps()
236              const Environment &Env1, const Environment &Env2,  in joinLocToVal()
237              Environment &JoinedEnv, Environment::ValueModel &Model) {  in joinLocToVal()
251     if (Value *JoinedVal = Environment::joinValues(  in joinLocToVal()
266                    Environment &CurEnv, const Environment &PrevEnv,  in widenKeyToValueMap()
267                    Environment::ValueModel &Model, LatticeEffect &Effect) {  in widenKeyToValueMap()
492 void Environment::initialize() {  in initialize()
568 void Environment::initFieldsGlobalsAndFuncs(const ReferencedDecls &Referenced) {  in initFieldsGlobalsAndFuncs()
593 Environment Environment::fork() const {  in fork()
594   Environment Copy(*this);  in fork()
599 bool Environment::canDescend(unsigned MaxDepth,  in canDescend()
604 Environment Environment::pushCall(const CallExpr *Call) const {  in pushCall()
605   Environment Env(*this);  in pushCall()
626 Environment Environment::pushCall(const CXXConstructExpr *Call) const {  in pushCall()
627   Environment Env(*this);  in pushCall()
638 void Environment::pushCallInternal(const FunctionDecl *FuncDecl,  in pushCallInternal()
665 void Environment::popCall(const CallExpr *Call, const Environment &CalleeEnv) {  in popCall()
685 void Environment::popCall(const CXXConstructExpr *Call,  in popCall()
686                           const Environment &CalleeEnv) {  in popCall()
692 bool Environment::equivalentTo(const Environment &Other,  in equivalentTo()
693                                Environment::ValueModel &Model) const {  in equivalentTo()
723 LatticeEffect Environment::widen(const Environment &PrevEnv,  in widen()
724                                  Environment::ValueModel &Model) {  in widen()
761 Environment Environment::join(const Environment &EnvA, const Environment &EnvB,  in join()
762                               Environment::ValueModel &Model,  in join()
772   Environment JoinedEnv(*EnvA.DACtx);  in join()
813 Value *Environment::joinValues(QualType Ty, Value *Val1,  in joinValues()
814                                const Environment &Env1, Value *Val2,  in joinValues()
815                                const Environment &Env2, Environment &JoinedEnv,  in joinValues()
816                                Environment::ValueModel &Model) {  in joinValues()
831 StorageLocation &Environment::createStorageLocation(QualType Type) {  in createStorageLocation()
835 StorageLocation &Environment::createStorageLocation(const ValueDecl &D) {  in createStorageLocation()
842 StorageLocation &Environment::createStorageLocation(const Expr &E) {  in createStorageLocation()
849 void Environment::setStorageLocation(const ValueDecl &D, StorageLocation &Loc) {  in setStorageLocation()
860 StorageLocation *Environment::getStorageLocation(const ValueDecl &D) const {  in getStorageLocation()
870 void Environment::removeDecl(const ValueDecl &D) { DeclToLoc.erase(&D); }  in removeDecl()
872 void Environment::setStorageLocation(const Expr &E, StorageLocation &Loc) {  in setStorageLocation()
883 StorageLocation *Environment::getStorageLocation(const Expr &E) const {  in getStorageLocation()
892 Environment::getResultObjectLocation(const Expr &RecordPRValue) const {  in getResultObjectLocation()
907 PointerValue &Environment::getOrCreateNullPointerValue(QualType PointeeType) {  in getOrCreateNullPointerValue()
911 void Environment::initializeFieldsWithValues(RecordStorageLocation &Loc,  in initializeFieldsWithValues()
922 void Environment::setValue(const StorageLocation &Loc, Value &Val) {  in setValue()
928 void Environment::setValue(const Expr &E, Value &Val) {  in setValue()
937 Value *Environment::getValue(const StorageLocation &Loc) const {  in getValue()
943 Value *Environment::getValue(const ValueDecl &D) const {  in getValue()
950 Value *Environment::getValue(const Expr &E) const {  in getValue()
965 Value *Environment::createValue(QualType Type) {  in createValue()
977 Value *Environment::createValueUnlessSelfReferential(  in createValueUnlessSelfReferential()
1015 Environment::createLocAndMaybeValue(QualType Ty,  in createLocAndMaybeValue()
1040 void Environment::initializeFieldsWithValues(RecordStorageLocation &Loc,  in initializeFieldsWithValues()
1084 StorageLocation &Environment::createObjectInternal(const ValueDecl *D,  in createObjectInternal()
1136 void Environment::assume(const Formula &F) {  in assume()
1140 bool Environment::proves(const Formula &F) const {  in proves()
1144 bool Environment::allows(const Formula &F) const {  in allows()
1148 void Environment::dump(raw_ostream &OS) const {  in dump()
1201 void Environment::dump() const { dump(llvm::dbgs()); }  in dump()
1203 Environment::PrValueToResultObject Environment::buildResultObjectMap(  in buildResultObjectMap()
1219 Environment::PrValueToResultObject Environment::buildResultObjectMap(  in buildResultObjectMap()
1230                                                  const Environment &Env) {  in getImplicitObjectLocation()
1244                                              const Environment &Env) {  in getBaseObjectLocation()