[PATCH] D158081: [IR] Add writable attribute

[Ralf via Phabricator via llvm-commits]

RalfJung added a comment.

> introduce *p = *p on function entry

I'm not sure about that. If some but not all of the bytes at `*p` were poison, then after this `*p = *p` they will all be poison (since `*p` will turn a single-byte poison into a whole-value poison).


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

https://reviews.llvm.org/D158081