[PATCH] D156476: [IR] Mark `llvm.trap` as `memory(inaccessiblemem: write)`

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

Making it inaccessible mem only is certainly correct -- but I'm wondering: Does it even need to have a memory effect at all? After all, it already has a divergence effect by dint of not being willreturn, so it's not legal to drop llvm.trap anyway.


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

https://reviews.llvm.org/D156476