[PATCH] D90341: Use deref facts derived from minimum object size of allocations

[Philip Reames via Phabricator via llvm-commits]

reames planned changes to this revision.
reames added a comment.

Realized this is not correct.  I failed to account for the case where the object has been conditionally deallocated along the path leading to the location of interest.  Here's a counter example:

o = new T[];
if (c)  delete o;
loop {

  if (!c) o[i];

}

It's not legal to hoist o[i] above the !c test.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D90341