search for: 803efb77

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>