[flang-commits] [flang] [flang] Follow memory source through more operations (PR #66713)

Renaud Kauffmann via flang-commits flang-commits at lists.llvm.org
Tue Sep 19 08:44:53 PDT 2023


================
@@ -80,12 +95,27 @@ AliasResult AliasAnalysis::alias(Value lhs, Value rhs) {
              llvm::dbgs() << "  rhsSrc: " << rhsSrc << "\n";
              llvm::dbgs() << "\n";);
 
+  // SourceKind::Unknown is set for the addresses wrapped in a global boxes.
----------------
Renaud-K wrote:

I agree that there is a bit of overlap between these unknowns and the general unknowns. If things are truly unknown, how can we know that they are not target or pointer? I had started up with the introduction of a new SourceKind but early feedback deemed it too complex. However from this baseline, I believe it would be reasonable to reintroduce it. 

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


More information about the flang-commits mailing list