aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Frontend/CompilerInvocation.cpp
diff options
context:
space:
mode:
authorNikita Popov <npopov@redhat.com>2022-05-30 16:52:11 +0200
committerNikita Popov <npopov@redhat.com>2022-05-30 17:04:42 +0200
commita770f534e6f647d1f6a25544117e7b3d8a0c3486 (patch)
tree8973ff9191e7311b3843bdd89c4a718ffadb4dde /clang/lib/Frontend/CompilerInvocation.cpp
parentd2e3cb737417a2e5ffad34f666fa8510e88e8bc2 (diff)
downloadllvm-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