[Mlir-commits] [mlir] [mlir][bufferization] Add edge and error case tests for static memory planner (PR #216610)

[Matthias Springer]

================
@@ -22,3 +22,42 @@ func.func @error_escaping_dealloc(%cond: i1) {
   memref.dealloc %alloc : memref<1024xf32>
   return
 }
+
+// -----
+
+// Test 3: A dynamic-shape alloc with no dealloc should be silently skipped,
+// not an error. Dynamic shapes are the one case where missing deallocs are
+// acceptable — the alloc is simply not eligible for planning.
+// (No expected-error here — the pass must not emit one.)
+func.func @error_dynamic_no_dealloc(%n: index) {
----------------
matthias-springer wrote:

Let's remove this test. (No extra test coverage + not an expected-error test.)

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