[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
Xinliang David Li via llvm-dev
llvm-dev at lists.llvm.org
Sat Feb 27 16:21:20 PST 2016
So in this case, ptr = 10 is propagated into one copy of maybe_devide
(in source a), and ptr=10 in caller_a is DSEed ?
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
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the llvm-dev