Displaying 2 results from an estimated 2 matches for "pr26774".
2016 Feb 29
0
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
Nice repro. It looks well-defined to me too.
Is there a PR open yet?
> On 2016-Feb-29, at 08:21, Sanjoy Das via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>
> On Sat, Feb 27, 2016 at 1:41 PM, Sanjoy Das
> <sanjoy at playingwithpointers.com> wrote:
>> Just as a reality check, I wrote up a demonstration where one link
>> order causes a SIGFPE and another
2016 Feb 29
3
Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
On Sat, Feb 27, 2016 at 1:41 PM, Sanjoy Das
<sanjoy at playingwithpointers.com> wrote:
> Just as a reality check, I wrote up a demonstration where one link
> order causes a SIGFPE and another doesn't (and the program is well
> defined, as far as I can tell). All TUs are compiled with -O3. This is also
> an instance where we don't actually speculate an inline function,