[PATCH] D20116: Add speculatable function attribute

Mehdi AMINI via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Mar 22 16:08:24 PDT 2017

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?


More information about the llvm-commits mailing list