diff options
author | Nikita Popov <npopov@redhat.com> | 2022-05-30 16:52:11 +0200 |
---|---|---|
committer | Nikita Popov <npopov@redhat.com> | 2022-05-30 17:04:42 +0200 |
commit | a770f534e6f647d1f6a25544117e7b3d8a0c3486 (patch) | |
tree | 8973ff9191e7311b3843bdd89c4a718ffadb4dde /clang/lib/Frontend/CompilerInvocation.cpp | |
parent | d2e3cb737417a2e5ffad34f666fa8510e88e8bc2 (diff) | |
download | llvm-a770f534e6f647d1f6a25544117e7b3d8a0c3486.zip llvm-a770f534e6f647d1f6a25544117e7b3d8a0c3486.tar.gz llvm-a770f534e6f647d1f6a25544117e7b3d8a0c3486.tar.bz2 |
[InstCombine] When swapping GEPs, only keep inbounds if both are
If only one of the GEPs is inbounds, then after swapping, there is
no guarantee that one of them will be inbounds as well
(see e.g. https://alive2.llvm.org/ce/z/agaCnp).
This is only a partial fix, because even if both are inbounds, the
result is not necessarily inbounds (if the offsets have different
signs).
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions