Displaying 3 results from an estimated 3 matches for "803efb77".
Did you mean:
0d3efb77
2016 Feb 26
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
Sanjoy Das via llvm-dev <llvm-dev at lists.llvm.org> writes:
> On Thu, Feb 25, 2016 at 6:35 PM, Duncan P. N. Exon Smith
> <dexonsmith at apple.com> wrote:
>>> // In C
>>> void foo() {
>>> int c;
>>> if (c) print("X");
>>> escape(&c); // escape is an empty function
>>> }
>>>
>>>
2016 Feb 26
2
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
On Thu, Feb 25, 2016 at 6:35 PM, Duncan P. N. Exon Smith
<dexonsmith at apple.com> wrote:
>> // In C
>> void foo() {
>> int c;
>> if (c) print("X");
>> escape(&c); // escape is an empty function
>> }
>>
>> which I think is not UB in C (is it?), but will boil down to the kind
>> of IR above.
>
> I'm
2016 Feb 26
2
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/20160226/803efb77/attachment.html>