[Bug c++/49912] New: ICE from -freorder-blocks-and-partition : verify_flow_info failed

[Bug c++/49912] New: ICE from -freorder-blocks-and-partition : verify_flow_info failed

[b3timmons at speedymail dot org]

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

           Summary: ICE from -freorder-blocks-and-partition :
                    verify_flow_info failed
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: b3timmons@speedymail.org
              Host: i686-pc-linux-gnu
            Target: i686-pc-linux-gnu
             Build: i686-pc-linux-gnu


Created attachment 24870
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24870
preprocessed source compressed with bzip2

Using built-in specs.
COLLECT_GCC=/usr/local/bin/gcc
COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/i686-pc-linux-gnu/4.7.0/lto-wrapper
Target: i686-pc-linux-gnu
Configured with: ../gcc/configure --enable-languages=c,c++
--enable-__cxa_atexit --enable-cloog-backend=ppl --with-cloog=/usr/local
Thread model: posix
gcc version 4.7.0 20110729 (experimental) (GCC) 
COLLECT_GCC_OPTIONS='-v' '-B' '.' '-r' '-nostdlib' '-Wall' '-O'
'-freorder-blocks-and-partition' '-mtune=generic' '-march=pentiumpro'
 /usr/local/libexec/gcc/i686-pc-linux-gnu/4.7.0/cc1plus -fpreprocessed elf.ii
-quiet -dumpbase elf.ii -mtune=generic -march=pentiumpro -auxbase elf -O -Wall
-version -freorder-blocks-and-partition -o /tmp/ccZ24I88.s
GNU C++ (GCC) version 4.7.0 20110729 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.7.0 20110729 (experimental), GMP version
5.0.1, MPFR version 3.0.1, MPC version 0.9
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.7.0 20110729 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.7.0 20110729 (experimental), GMP version
5.0.1, MPFR version 3.0.1, MPC version 0.9
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: ba0648b8eea6bd4be4f484a576bf2c59
elf.cpp: In member function void ElfDynamic_Section::setValueForType(unsigned
int, ElfValue*):
elf.cpp:666:28: warning: deleting object of polymorphic class type ElfValue
which has non-virtual destructor might cause undefined behaviour
[-Wdelete-non-virtual-dtor]
elf.cpp: In destructor virtual ElfDynamic_Section::~ElfDynamic_Section():
elf.cpp:780:24: warning: deleting object of polymorphic class type ElfValue
which has non-virtual destructor might cause undefined behaviour
[-Wdelete-non-virtual-dtor]
In file included from elf.cpp:41:0:
elfxx.h: In member function virtual void Elf_Ehdr::serialize(std::ofstream&,
char, char):
elfxx.h:432:5: error: wrong number of branch edges after unconditional jump 17
elfxx.h:432:5: error: wrong number of branch edges after unconditional jump 16
elfxx.h:432:5: internal compiler error: verify_flow_info failed

[Bug c++/49912] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[b3timmons at speedymail dot org]

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

--- Comment #1 from Bake Timmons <b3timmons at speedymail dot org> 2011-07-30 16:49:14 UTC ---
Sorry, forgot command line that led to the ICE:  gcc -v -B. -r -nostdlib -Wall
-O -freorder-blocks-and-partition elf.ii

[Bug c++/49912] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[zsojka at seznam dot cz]

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

--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> 2011-08-06 14:03:50 UTC ---
Created attachment 24934
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24934
reduced testcase

It is reduced from libstdc++-v3/testsuite/util/testsuite_abi.cc, not from the
original testcase in this PR.

Compiler output:
$ gcc -O -freorder-blocks-and-partition testcase.C 
testcase.C: In member function 'void vector<<anonymous> >::_M_insert_aux(const
string&) [with int <anonymous> = 0]':
testcase.C:39:1: error: wrong number of branch edges after unconditional jump 7
testcase.C:39:1: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

$ gcc -v
Using built-in specs.
COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc
COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-177503-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/smatz/gcc-trunk//configure --enable-checking=yes,rtl,df
--enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-177503-lto-fortran-checking-yes-rtl-df/
--with-cloog --with-ppl --with-cloog-include=/usr/include/cloog-ppl/
--disable-ppl-version-check
Thread model: posix
gcc version 4.7.0 20110806 (experimental) (GCC) 


Tested revisions (x86_64-unknown-linux-gnu):
r177503 - crash
r177422 - crash
r173150 - OK

[Bug c++/49912] [4.7 Regression] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[paolo.carlini at oracle dot com]

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

Paolo Carlini <paolo.carlini at oracle dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-10-09
                 CC|                            |rguenth at gcc dot gnu.org
            Summary|ICE from                    |[4.7 Regression] ICE from
                   |-freorder-blocks-and-partit |-freorder-blocks-and-partit
                   |ion : verify_flow_info      |ion : verify_flow_info
                   |failed                      |failed
     Ever Confirmed|0                           |1

--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-10-09 14:45:24 UTC ---
This is a regression. Looking for a more appropriate "Component"
categorization..

[Bug rtl-optimization/49912] [4.7 Regression] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|rguenth at gcc dot gnu.org  |
          Component|c++                         |rtl-optimization
   Target Milestone|---                         |4.7.0

[Bug rtl-optimization/49912] [4.7 Regression] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

[Bug rtl-optimization/49912] [4.7 Regression] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-25 09:11:56 UTC ---
Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=176696

[Bug rtl-optimization/49912] [4.7 Regression] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-25 09:43:31 UTC ---
Created attachment 25911
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25911
gcc47-pr49912.patch

Seems to be a verification issue only.

[Bug rtl-optimization/49912] [4.7 Regression] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-26 20:50:32 UTC ---
Author: jakub
Date: Sat Nov 26 20:50:28 2011
New Revision: 181743

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181743
Log:
    PR rtl-optimization/49912
    * cfgrtl.c (rtl_verify_flow_info_1): Ignore also EDGE_PRESERVE bit
    when counting n_branch.

    * g++.dg/other/pr49912.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/other/pr49912.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgrtl.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/49912] [4.7 Regression] ICE from -freorder-blocks-and-partition : verify_flow_info failed

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-11-26 20:51:44 UTC ---
Fixed.