[PATCH] D20116: Add speculatable function attribute

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

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

> > 2. It has undefined behavior, due to the incorrect `speculatable` attribute.
>
> I don't see it as being anything other than this. Marking it as speculatable is saying it has no undefined behavior a condition could possibly be avoiding. If you are lying about this, you get what you get.


I agree.


https://reviews.llvm.org/D20116