[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
Duncan P. N. Exon Smith via llvm-dev
llvm-dev at lists.llvm.org
Mon Feb 29 09:22:51 PST 2016
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 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
> This test case "works" with gcc 5.3.0 too, afaict.
> This is what I used:
> Using built-in specs.
> Target: x86_64-apple-darwin15.0.0
> Configured with: ../configure --build=x86_64-apple-darwin15.0.0
> --enable-languages=c,c++,objc,obj-c++,fortran --program-suffix=-5
> --with-gmp=/usr/local/opt/gmp --with-mpfr=/usr/local/opt/mpfr
> --with-mpc=/usr/local/opt/libmpc --with-isl=/usr/local/opt/isl
> --with-system-zlib --enable-libstdcxx-time=yes
> --enable-stage1-checking --enable-checking=release --enable-lto
> --with-build-config=bootstrap-debug --disable-werror
> --with-pkgversion='Homebrew gcc 5.3.0'
> --enable-plugin --disable-nls --enable-multilib
> Thread model: posix
> gcc version 5.3.0 (Homebrew gcc 5.3.0)
> -- Sanjoy
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
More information about the llvm-dev