[flang-commits] [flang] [mlir] [RFC][mlir] ViewLikeOpInterface method for detecting partial views. (PR #164020)

[Slava Zakharin via flang-commits]

================
@@ -35,9 +35,12 @@ class AliasResult {
     /// The two locations may or may not alias. This is the least precise
     /// result.
     MayAlias,
-    /// The two locations alias, but only due to a partial overlap.
+    /// The two locations overlap in some way, regardless of whether
+    /// they start at the same address or not.
----------------
vzakhari wrote:

I think the new comment is a clarification of the old one (`The two locations alias, but only due to a partial overlap.`), which may be interpreted differently by the readers.

Yes, I decided to reuse the LLVM definition here, which seems more verbose to me.

I believe there are no current check for `PartialAlias` or `isPartial` in MLIR sources, so the change should be safe in a sense that it should not break any existing code. The change seems good to me also because it is more precise.

https://github.com/llvm/llvm-project/pull/164020