[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")

[Xinliang David Li via llvm-dev]

So in this case, ptr[0] = 10 is propagated into one copy of maybe_devide
(in source a), and ptr[0]=10 in caller_a is DSEed ?

David

On Sat, Feb 27, 2016 at 1:41 PM, Sanjoy Das via llvm-dev <
llvm-dev at lists.llvm.org> 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, but only
> DSE across it (after deducing readnone).
>
> Here's the link https://github.com/sanjoy/comdat-ipo
>
> I've tested this with my system clang:
>   Apple LLVM version 7.0.2 (clang-700.1.81)
>   Target: x86_64-apple-darwin15.3.0
>   Thread model: posix
>
> I didn't test with ToT, since I don't have a build lying around.
>
> -- Sanjoy
> _______________________________________________
> 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/20160227/20c46f8d/attachment.html>