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