[Mlir-commits] [mlir] [mlir][bufferization] handle exit aliases in buffer-loop-hoisting (PR #226951)

[Matteo Di Iorio]

================
@@ -182,11 +229,15 @@ struct BufferAllocationHoistingStateBase {
   /// The current placement block (if any).
   Block *placementBlock;
 
+  /// The forward alias closure of the current allocation.
+  const BufferViewFlowAnalysis::ValueSetT &aliases;
----------------
splicer3 wrote:

We can keep `aliases` in the loop state only, the template needs both states to accept the same four arguments, but only the loop state uses it. I can move the reference there and leave the fourth argument unnamed in the block state constructor to avoid template changes.

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