[mlir] [llvm] [clang] [flang] [compiler-rt] [clang-tools-extra] [mlir] Verify non-negative `offset` and `size` (PR #72059)

[Rik Huijzer via llvm-commits]

rikhuijzer wrote:

> Both options are correct, but they should be consistent. Not folding negative dimension seems like a straightforward thing I think?

After finding the right minimal reproducer, it was yes. Thanks.

I've updated the first comment of this PR now that folding on negative dimensions will be avoided.

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