[PATCH] D158081: [IR] Add writable attribute

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

I think this is fine. I still think we might just want to add this as a modifier in dereferenceable (if it is tied anyway): `dereferenceable(writeable: N)`.
Again, the motivation stems also from the fact that we could then make `dereferenceable_globally` another modifier:  `dereferenceable(globally[, writeable]: N)`.


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

https://reviews.llvm.org/D158081