[Bug middle-end/54669] New: [4.8 Regression] ICE: verify_flow_info failed: BB 5 last statement has incorrectly set lp with -fnon-call-exceptions

[zsojka at seznam dot cz]

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



             Bug #: 54669

           Summary: [4.8 Regression] ICE: verify_flow_info failed: BB 5

                    last statement has incorrectly set lp with

                    -fnon-call-exceptions

    Classification: Unclassified

           Product: gcc

           Version: 4.8.0

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: middle-end

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: zso...@seznam.cz





Created attachment 28247

  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28247

reduced testcase



Compiler output:

$ gcc -O2 -fexceptions -fnon-call-exceptions testcase.c         

testcase.c: In function 'foo':

testcase.c:4:1: error: BB 5 last statement has incorrectly set lp

 foo (void)

 ^

testcase.c:4: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.





Backtrace:

(gdb) bt

#0  0x000000000111f2e0 in internal_error(char const*, ...) ()

#1  0x000000000069d48e in verify_flow_info() () at

/mnt/svn/gcc-trunk/gcc/cfghooks.c:260

#2  0x0000000000a06825 in cleanup_tree_cfg() () at

/mnt/svn/gcc-trunk/gcc/tree-cfgcleanup.c:693

#3  0x00000000010ea8d9 in tree_unroll_loops_completely(bool, bool) () at

/mnt/svn/gcc-trunk/gcc/tree-ssa-loop-ivcanon.c:648

#4  0x0000000000ad64f2 in tree_complete_unroll_inner() ()

#5  0x00000000008fb90d in execute_one_pass(opt_pass*) () at

/mnt/svn/gcc-trunk/gcc/passes.c:2199

#6  0x00000000008fbcc5 in execute_pass_list(opt_pass*) () at

/mnt/svn/gcc-trunk/gcc/passes.c:2254

#7  0x00000000008fbcd7 in execute_pass_list(opt_pass*) () at

/mnt/svn/gcc-trunk/gcc/passes.c:2255

#8  0x00000000006c0098 in expand_function(cgraph_node*) () at

/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1601

#9  0x00000000006c1f42 in compile() () at

/mnt/svn/gcc-trunk/gcc/cgraphunit.c:1705

#10 0x00000000006c2535 in finalize_compilation_unit() () at

/mnt/svn/gcc-trunk/gcc/cgraphunit.c:2080

#11 0x000000000059f930 in c_write_global_declarations() () at

/mnt/svn/gcc-trunk/gcc/c/c-decl.c:10116

#12 0x00000000009e0a85 in compile_file() () at

/mnt/svn/gcc-trunk/gcc/toplev.c:560

#13 0x00000000009e265a in toplev_main(int, char**) () at

/mnt/svn/gcc-trunk/gcc/toplev.c:1863

#14 0x00007ffff69594bd in __libc_start_main () from /lib64/libc.so.6

#15 0x0000000000586611 in _start ()





Version:

$ gcc -v

Using built-in specs.

COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc

COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-191586-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper

Target: x86_64-unknown-linux-gnu

Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df

--enable-languages=c,c++,lto,fortran

--prefix=/mnt/svn/gcc-trunk/binary-191586-lto-fortran-checking-yes-rtl-df/

--without-cloog --without-ppl

Thread model: posix

gcc version 4.8.0 20120920 (experimental) (GCC) 





Tested revisions:

r191586 - crash

4.7 r188682 - OK