[Bug tree-optimization/53007] New: [4.8 REGRESSION] ICE verify_ssa failed with -Ofast and lto

[vincenzo.innocente at cern dot ch]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53007

             Bug #: 53007
           Summary: [4.8 REGRESSION] ICE verify_ssa failed with -Ofast and
                    lto
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: vincenzo.innocente@cern.ch


Created attachment 27168
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=27168
tar compressed directory  containing the "test case"

I'm sure it was not the case with
gcc version 4.8.0 20120403 (experimental) (GCC) 

being in lto not easy to produce a reduced test case:
attached the whole directory

tar -zxf buggy.tgz
cd buggy
c++ -Ofast *.c 
[innocent@vinavx0 buggy]$ c++ -O3 *.c -flto
[innocent@vinavx0 buggy]$ c++ -Ofast *.c -flto
In file included from :6:0:
kernel.c: In function 'kernel_measureLU':
kernel.c:188:12: error: definition in block 26 follows the use
     double kernel_measureLU(int N, double min_time, Random R)
            ^
for SSA_NAME: reassocpow.3_161 in statement:
D.2821_127 = reassocpow.3_161 *
6.6666666666666662965923251249478198587894439697265625e-1;
kernel.c:188:12: internal compiler error: verify_ssa failed
     double kernel_measureLU(int N, double min_time, Random R)
            ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
lto-wrapper: c++ returned 1 exit status
collect2: error: lto-wrapper returned 1 exit status
[innocent@vinavx0 buggy]$ c++ -v
Using built-in specs.
COLLECT_GCC=c++
COLLECT_LTO_WRAPPER=/afs/cern.ch/user/i/innocent/w2/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ./configure --prefix=/afs/cern.ch/user/i/innocent/w2
--enable-languages=c,c++,fortran -enable-gold=yes --enable-lto
--with-build-config=bootstrap-lto --with-gmp-lib=/usr/local/lib64
--with-mpfr-lib=/usr/local/lib64 -with-mpc-lib=/usr/local/lib64
--enable-cloog-backend=isl --with-cloog=/usr/local
--with-ppl-lib=/usr/local/lib64 CFLAGS='-O2 -ftree-vectorize -fPIC'
CXXFLAGS='-O2 -fPIC -ftree-vectorize -fvisibility-inlines-hidden -march=native'
-enable-libitm -disable-multilib
Thread model: posix
gcc version 4.8.0 20120416 (experimental) (GCC)