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

[Philip Reames via Phabricator via llvm-commits]

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

(Thought of a counter example - of comment, not implementation)

(To flesh out later - read side check for signaled state with checkpoint mechanism solely in caller to avoid need for write while still validly syncronized.)


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

https://reviews.llvm.org/D99138