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

Sanjoy Das via llvm-dev llvm-dev at lists.llvm.org
Mon Feb 29 15:24:46 PST 2016

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)

> 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

More information about the llvm-dev mailing list