[PATCH] D20116: Add speculatable function attribute

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

In https://reviews.llvm.org/D20116#708191, @arsenm wrote:

> I suppose it's the same as speculating a load from a pointer marked as dereferencable that isn't really, which is already done


As far as I remember, `dereferenceable` and `!dereferenceable` are carefully designed to avoid this UB-from-dead-code situation.


https://reviews.llvm.org/D20116