diff options
| author | Matthias Springer <me@m-sp.org> | 2025-05-06 09:40:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-05-06 09:40:28 +0200 |
| commit | fd161cf56f4356c38f82a6d68a80236e00bce39d (patch) | |
| tree | eed9b43cf284187156e849b23875cabc22f2b7cb /flang/lib/Frontend/CompilerInvocation.cpp | |
| parent | f54f4cf262bd286c6f14f4faae035a4df9db32e8 (diff) | |
| download | llvm-fd161cf56f4356c38f82a6d68a80236e00bce39d.zip llvm-fd161cf56f4356c38f82a6d68a80236e00bce39d.tar.gz llvm-fd161cf56f4356c38f82a6d68a80236e00bce39d.tar.bz2 | |
[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.
Diffstat (limited to 'flang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions