[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")

[Sanjoy Das via llvm-dev]

On Mon, Feb 29, 2016 at 2:58 PM, Philip Reames
<listmail at philipreames.com> wrote:

> Chandler, I'm more in agreement with Hal here.  I see your point, but given
> gcc appears to be getting this equally wrong,

In the bug I filed against GCC, I was told that this is likely fixed
in gcc 6 (I personally haven't verified this)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70018#c5

> and we've never seen this case
> in practice, I don't see fixing this as a critical issue.  I'm also strongly

Before this weekend I'd have agreed with you (in fact, I said
something on the lines of "may just be a theoretical issue" above),
but the test case to trigger this is surprisingly simple (< 50loc); so
I'm more cautious now.

-- Sanjoy