[Mlir-commits] [mlir] [mlir][vector] Always print the in_bounds attribute (PR #96031)

[Benjamin Maxwell]

MacDue wrote:

>> right now the default is "no attribute", which is treated as "in bounds"

> Really? Wow, that's really wrong! We can't assume that accesses are in-bounds by default. That would lead to correctness issues... Do you have a pointer to code where this assumption is made?

This is not the case, as shown in the snippet linked in [#96031 (comment)](https://github.com/llvm/llvm-project/pull/96031#issuecomment-2183985697), no in-bounds attributes is interpreted as the dim being out-of-bounds.

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