[flang-commits] [flang] [flang] Fix FIR AliasAnalysis for zero-offset view chains (PR #192710)

[Razvan Lupusoru via flang-commits]

================
@@ -0,0 +1,73 @@
+// Test that values connected through zero-offset FortranObjectViewOpInterface
+// operations (embox, declare, convert) are recognized as MustAlias, even when
+// getSource() would set approximateSource due to upstream sliced operations.
+// RUN: fir-opt %s -pass-pipeline='builtin.module(func.func(test-fir-alias-analysis))' -split-input-file --mlir-disable-threading 2>&1 | FileCheck %s
+
+// Test: embox(ref) vs ref => MustAlias
+// This is the pattern that arises when a subroutine with acc.deviceptr
----------------
razvanlupusoru wrote:

nit: comment irrelevant

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