From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26374 invoked by alias); 16 Apr 2012 12:41:24 -0000 Received: (qmail 26266 invoked by uid 22791); 16 Apr 2012 12:41:22 -0000 X-SWARE-Spam-Status: No, hits=-3.5 required=5.0 tests=ALL_TRUSTED,AWL,BAYES_00,TW_ZX X-Spam-Check-By: sourceware.org Received: from localhost (HELO gcc.gnu.org) (127.0.0.1) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 16 Apr 2012 12:41:07 +0000 From: "vincenzo.innocente at cern dot ch" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/53007] New: [4.8 REGRESSION] ICE verify_ssa failed with -Ofast and lto Date: Mon, 16 Apr 2012 12:41:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: vincenzo.innocente at cern dot ch X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2012-04/txt/msg01293.txt.bz2 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 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)