tree eed9b43cf284187156e849b23875cabc22f2b7cb
parent f54f4cf262bd286c6f14f4faae035a4df9db32e8
author Matthias Springer <me@m-sp.org> 1746517228 +0200
committer GitHub <noreply@github.com> 1746517228 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoGbzsCRC1aQ7uu5UhlAAAslMQAEbpixar7CRsU/7YNcCngOx2
 u0g7fwhalbnyKjvtHNXHBWM+M0MOj1N7eJtsUjuZxBwPlps01USrNtNphSVPseUS
 dWWZuz3rM7Zwj9wePrQVLTxg0w8LYiSEdKSmaoxwuEl9ymOsiAvEO3hT/xtPOEu+
 pBbeAs+bdxMytlkao7UR+enL7t7+LIf7U1ECgPPILWVEsvkqZXbaUMpaZItzrKk0
 tIcE+5OrsKgBY2AhdytPGhAVm8EAaTEUAofn3/7MC9Kzh08N7tH1nGx54+M9/GrR
 aPv9yA8dvVcKI6ktpSfzI5JU4m6GlU43gJxdXlDu4El7x03nUL5Dhikpr0YpO0+o
 q/ZL+Hxyd9z3CwrsZXKGxr1JQ3hm/hQAD3RfMPWLENuzgdEWefnqJVED+morHcg+
 8JbEIc9IHPXstcS/B6p+7YQIJzaiLl4UvLjGIt6iDyBTrOysHZFVMol08LU2ZqCu
 IjiC+br8kLU8XqRbgRxG0fAnNHp5Fbu8s5x7O1Q891UNCHXDSvcllXJUVYj1i4Ez
 Qj7xOYJcHb4Xc6mGvkJY6pm7387Uucrqx8TKyc78HslzT4ffWqKiNlaWq+AtwDr1
 zwVuhpIMiWmwCzp6gHPugJ5ZqcFJeqtxt9FnKFIYwA4/vGMke436W1GY9gYmQ5Iu
 WkqSn5/5eaPuSIVGkjsR
 =jIRt
 -----END PGP SIGNATURE-----
 

[mlir][memref] Remove runtime verification for `memref.reinterpret_cast` (#132547)

The runtime verification code used to verify that the result of a
`memref.reinterpret_cast` is in-bounds with respect to the source
memref. This is incorrect: `memref.reinterpret_cast` allows users to
construct almost arbitrary memref descriptors and there is no
correctness expectation.

This op is supposed to be used when the user "knows what they are
doing." Similarly, the static verifier of `memref.reinterpret_cast` does
not verify in-bounds semantics either.