[Bug tree-optimization/45354] New: ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[Bug tree-optimization/45354] New: ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[zsojka at seznam dot cz]

Command line:
$ gcc -O -fschedule-insns -fselective-scheduling -freorder-blocks-and-partition
-fprofile-generate gcc.dg/tree-prof/update-cunroll-2.c
$ rm *.gcda
$ ./a.out
$ gcc -O -fschedule-insns -fselective-scheduling -freorder-blocks-and-partition
-fprofile-use gcc.dg/tree-prof/update-cunroll-2.c
gcc.dg/tree-prof/update-cunroll-2.c: In function 't':
gcc.dg/tree-prof/update-cunroll-2.c:12:1: error: fallthru edge crosses section
boundary (bb 6)
gcc.dg/tree-prof/update-cunroll-2.c:12: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.

I wasn't able to further reduce the testcase.

Tested revisions:
r163371 - crash


-- 
           Summary: ICE: verify_flow_info failed: fallthru edge crosses
                    section boundary (bb 6) with gcc.dg/tree-prof/update-
                    cunroll-2.c
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: zsojka at seznam dot cz
  GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu


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

[Bug rtl-optimization/45354] ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2010-08-23 21:09 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|tree-optimization           |rtl-optimization
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-08-23 21:09:21
               date|                            |


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

[Bug rtl-optimization/45354] ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[zsojka at seznam dot cz]

------- Comment #2 from zsojka at seznam dot cz  2010-09-06 20:19 -------
g++.dg/bprob/g++-bprob-1.C fails the same way:

$ g++ -Os -freorder-blocks-and-partition -fselective-scheduling2
-fnon-call-exceptions g++.dg/bprob/g++-bprob-1.C -fprofile-generate
$ rm *.gcda
$ ./a.out
$ g++ -Os -freorder-blocks-and-partition -fselective-scheduling2
-fnon-call-exceptions g++.dg/bprob/g++-bprob-1.C -fprofile-use     
g++.dg/bprob/g++-bprob-1.C: In function 'int test_ifelse2(int)':
g++.dg/bprob/g++-bprob-1.C:130:1: error: fallthru edge crosses section boundary
(bb 7)
g++.dg/bprob/g++-bprob-1.C:130: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.


-- 


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

[Bug rtl-optimization/45354] [4.5/4.6 Regression] ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[zsojka at seznam dot cz]

------- Comment #3 from zsojka at seznam dot cz  2010-09-06 20:27 -------
Tested revisions:
r163921 - crash
r153685 - crash
4.4 r160770 - warns
4.4 r149995 - warns

the 4.4 warning looks like:
cc1plus: note: -freorder-blocks-and-partition does not work with exceptions


-- 

zsojka at seznam dot cz changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.5.2 4.6.0
      Known to work|                            |4.4.5
            Summary|ICE: verify_flow_info       |[4.5/4.6 Regression] ICE:
                   |failed: fallthru edge       |verify_flow_info failed:
                   |crosses section boundary (bb|fallthru edge crosses
                   |6) with gcc.dg/tree-        |section boundary (bb 6) with
                   |prof/update-cunroll-2.c     |gcc.dg/tree-prof/update-
                   |                            |cunroll-2.c


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

[Bug rtl-optimization/45354] [4.5/4.6 Regression] ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[zsojka at seznam dot cz]

------- Comment #4 from zsojka at seznam dot cz  2010-09-06 20:32 -------
The original testcase (comment #0) fails in 4.4 r160770 with:
$ CC=/mnt/svn/gcc-4_4/binary-160770-checking-yes/bin/gcc
$ $CC -O -fschedule-insns -fselective-scheduling -freorder-blocks-and-partition
-fprofile-generate
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/tree-prof/update-cunroll-2.c
$ rm *.gcda
$ ./a.out
$ $CC -O -fschedule-insns -fselective-scheduling -freorder-blocks-and-partition
-fprofile-use
/mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/tree-prof/update-cunroll-2.c
/tmp/ccHCIjjf.s: Assembler messages:
/tmp/ccHCIjjf.s:37: Error: .cfi_endproc without corresponding .cfi_startproc
/tmp/ccHCIjjf.s:53: Error: previous CFI entry not closed (missing .cfi_endproc)

I don't know if this PR is a regression or not.


-- 


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

[Bug rtl-optimization/45354] [4.5/4.6 Regression] ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.2


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

[Bug rtl-optimization/45354] [4.5/4.6 Regression] ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug rtl-optimization/45354] [4.5/4.6 Regression] ICE: verify_flow_info failed: fallthru edge crosses section boundary (bb 6) with gcc.dg/tree-prof/update-cunroll-2.c

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org
         AssignedTo|unassigned at gcc dot       |ebotcazou at gcc dot
                   |gnu.org                     |gnu.org
      Known to fail|                            |

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2010-11-26 08:50:10 UTC ---
Investigating.