================ ---------------- matthias-springer wrote: Also error out if we find a dealloc op in a different block. The only case where we should actually skip is when we see an alloc with dynamic shape. https://github.com/llvm/llvm-project/pull/209106