[PATCH] D123309: [SafeStack] Don't create SCEV min between pointer and integer (PR54784)

[Eli Friedman via Phabricator via llvm-commits]

efriedma accepted this revision.
efriedma added a comment.
This revision is now accepted and ready to land.

LGTM

In some cases, we could prove that the access is either in-range, or not based on the alloca.  (For example, given an alloca "a" and an access "min(a,b)+1", the pointer is either "a+1", or "b+1".  "a+1" is in range, and "b" is unrelated to the alloca, so the access is safe.)  But it seems unlikely to be important.


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

https://reviews.llvm.org/D123309