[PATCH] D85332: [SCCP] Do not replace deref'able ptr with un-deref'able one.

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

> Note that Alive2 seems to think that the replacement is valid:
> https://alive2.llvm.org/ce/z/2rorhk

This is because Alive2's pointer comparison is approximating its behavior yet; it is right that we cannot replace a pointer with another pointer in general.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85332