[PATCH] D67870: DSE miscompile when store is clobbered across loop iterations

[Artur Pilipenko via Phabricator via llvm-commits]

apilipenko added a comment.

In D67870#1680256 <https://reviews.llvm.org/D67870#1680256>, @efriedma wrote:

> This is specifically a hole in the calloc() handling, right?  This case can't come up in regular load->store no-op stores: the address of the load dominates the load, so the address dominates all the operations between the load and the store, so alias() does the right thing.


That's right. I don't think that load->store case is affected.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67870/new/

https://reviews.llvm.org/D67870