[PATCH] D99138: [deref] Use readonly to infer global dereferenceability in a callee

[Philip Reames via Phabricator via llvm-commits]

reames added a comment.

Note for anyone following along.

Given the amount this review has managed to confuse *me*, I'm planning a change in direction here.  (More of a detour really.)  I'm going to pause this patch and focus on having the default pipeline infer nosync in the same set of conditions that attributor does.  Only once that is done will I then return and justify why readonly is a valid precondition for both inferences.  I don't *think* the end result will change, but I decided I need to do a better job of making the argument with each step easy to follow and justify.


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

https://reviews.llvm.org/D99138