[PATCH] D158081: [IR] Add writable attribute

[Florian Hahn via Phabricator via llvm-commits]

fhahn added inline comments.


================
Comment at: llvm/docs/LangRef.rst:1536
+``writable``
+    This attribute is only meaningful in conjunction with ``dereferenceable(N)``
+    or another attribute that implies the first ``N`` bytes of the pointer
----------------
Can/should this be enforced by the verifier? If yes, might be good to strengthen the wording from `meaningful` to something like ` must be used in conjunction`


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

https://reviews.llvm.org/D158081