[Mlir-commits] [mlir] [mlir][bufferization] Refine tensor-buffer compatibility checks (PR #167705)

[Andrei Golubev]

================
@@ -1,4 +1,4 @@
-// RUN: mlir-opt %s -test-tensorlike-bufferlike -split-input-file | FileCheck %s
+// RUN: mlir-opt %s -test-tensorlike-bufferlike -verify-diagnostics -split-input-file | FileCheck %s
----------------
andrey-golubev wrote:

perhaps this is my lack of knowledge: i wanted to make sure verifiers are run and so added -verify-diagnostics. I think I've seen in the past (at least in our downstream) that verifiers are not guaranteed if e.g. IR parsing uses `::get()` instead of `::getChecked()`.

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