[PATCH] D20116: Add speculatable function attribute

[Mehdi AMINI via Phabricator via llvm-commits]

mehdi_amini added a comment.

In https://reviews.llvm.org/D20116#708109, @hfinkel wrote:

> In https://reviews.llvm.org/D20116#708076, @mehdi_amini wrote:
>
> > That troubles (and worries) me as well.
>
>
> Why?


Irrational fear? ;-)
It seems unusual, and I'm cautious about introducing unusual properties in the compiler in general, it makes it harder to reason about "stuff" when there aren't "simple" rules to guide the logic.
Are there existing other cases of UB induced by unreachable/dead code?


https://reviews.llvm.org/D20116