Displaying 2 results from an estimated 2 matches for "d7524a33".
2016 Feb 27
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
...t; // %v = load i32 %p
> // ret void
> // }
> if (!Fn.isStrongDefinitionForLinker())
> return false;
>
> -- Sanjoy
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160227/d7524a33/attachment-0001.html>
2016 Feb 27
2
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
On Thu, Feb 25, 2016 at 9:59 AM, Sanjoy Das
<sanjoy at playingwithpointers.com> wrote:
> Couple of other examples:
>
> void @foo(i32* %ptr) available_externally {
> %discard = load i32, i32* %ptr
> }
> void bar() {
> call @foo(i32* %x)
> }
>
> ==>
>
> void @foo(i32* %ptr) available_externally {
> }
> void bar() {
>