[PATCH] D92045: [DSE] Consider out-of-bound writes in isOverwrite.
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 24 11:19:02 PST 2020
nikic added inline comments.
Comment at: llvm/lib/Transforms/Scalar/DeadStoreElimination.cpp:500
+ // if the writes are fully inside the underlying object, because the
+ // out-of-bounds access is guaranteed to execute. Note that the case when
+ // the block is exited early due to unwinding is already handled
Why is it guaranteed to execute? Can't you have `call @infinite_loop()` in between?
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
More information about the llvm-commits