3010     const auto &MemBehaviorAA = A.getAAFor<AAMemoryBehavior>(  in updateImpl()  local
3012     if (MemBehaviorAA.isAssumedReadOnly())  in updateImpl()
3056                             const AAMemoryBehavior &MemBehaviorAA,  in mayAliasWithArgument()
3078     bool IsReadOnly = MemBehaviorAA.isAssumedReadOnly();  in mayAliasWithArgument()
3080       A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL);  in mayAliasWithArgument()
3101                                          const AAMemoryBehavior &MemBehaviorAA,  in isKnownNoAliasDueToNoAliasPreservation()
3184       if (mayAliasWithArgument(A, AAR, MemBehaviorAA, CB, OtherArgNo))  in isKnownNoAliasDueToNoAliasPreservation()
3194     auto &MemBehaviorAA =  in updateImpl()  local
3196     if (MemBehaviorAA.isAssumedReadNone()) {  in updateImpl()
3197       A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL);  in updateImpl()
3206     if (isKnownNoAliasDueToNoAliasPreservation(A, AAR, MemBehaviorAA,  in updateImpl()
3369     const auto &MemBehaviorAA =  in isAssumedSideEffectFree()  local
3371     if (MemBehaviorAA.isAssumedReadOnly()) {  in isAssumedSideEffectFree()
3372       if (!MemBehaviorAA.isKnownReadOnly())  in isAssumedSideEffectFree()
3373         A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL);  in isAssumedSideEffectFree()
6834     const auto &MemBehaviorAA =  in updateImpl()  local
6836     if (!MemBehaviorAA.isAssumedReadOnly()) {  in updateImpl()
7204       const auto &MemBehaviorAA = A.getAAFor<AAMemoryBehavior>(  in updateImpl()  local
7206       intersectAssumedBits(MemBehaviorAA.getAssumed());  in updateImpl()
7367     const auto &MemBehaviorAA =  in analyzeUseIn()  local
7371     intersectAssumedBits(MemBehaviorAA.getAssumed());  in analyzeUseIn()
7840     const auto &MemBehaviorAA =  in updateImpl()  local
7842     if (MemBehaviorAA.isAssumedReadNone()) {  in updateImpl()
7843       if (MemBehaviorAA.isKnownReadNone())  in updateImpl()
7847       A.recordDependence(MemBehaviorAA, *this, DepClassTy::OPTIONAL);  in updateImpl()