[PATCH] D20116: Add speculatable function attribute

[Matt Arsenault via Phabricator via llvm-commits]

arsenm added a comment.

> 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.


https://reviews.llvm.org/D20116