Displaying 2 results from an estimated 2 matches for "f4b0f420".
2016 Feb 25
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
..._____________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160225/f4b0f420/attachment.html>
2016 Feb 24
6
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
Hi all,
This is something that came up in the "RFC: Add guard intrinsics to
LLVM" thread; and while I'm not exactly blocked on this, figuring out
a path forward here will be helpful in deciding if we can use the
available_externally linkage type to expression certain semantic
properties guard intrinsics will have.
Let's start with an example that shows that we have a problem