2890     bool IsKnown;  in isImpliedByMustprogressAndReadonly()  local
2891     if (AA::isAssumedReadOnly(A, getIRPosition(), *this, IsKnown))  in isImpliedByMustprogressAndReadonly()
2892       return IsKnown || !KnownOnly;  in isImpliedByMustprogressAndReadonly()
3098     bool IsKnown;  in updateImpl()  local
3099     if (AA::isAssumedReadOnly(A, getIRPosition(), *this, IsKnown))  in updateImpl()
3479     bool IsKnown;  in isAssumedSideEffectFree()  local
3480     return AA::isAssumedReadOnly(A, CallIRP, *this, IsKnown);  in isAssumedSideEffectFree()
5132   bool IsKnown;  in updateImpl()  local
5133   if (AA::isAssumedReadOnly(A, FnPos, *this, IsKnown)) {  in updateImpl()
5135     if (IsKnown)  in updateImpl()
5543       bool IsKnown;  in updateImpl()  local
5544       if (!AA::isAssumedReadOnly(A, getIRPosition(), *this, IsKnown))  in updateImpl()
6923     bool IsKnown;  in updateImpl()  local
6924     if (!AA::isAssumedReadOnly(A, IRP, *this, IsKnown)) {  in updateImpl()