[Bug tree-optimization/43695] New: [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[Bug tree-optimization/43695] New: [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[zsojka at seznam dot cz]

Command line:
$ g++ -fipa-cp -fipa-cp-clone testcase.C
testcase.C: In function ‘void foo()’:
testcase.C:13:6: error: BB 2 is missing an EH edge
testcase.C:13:6: 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.

Tested revisions:
r158095 - crash
r153685 - crash
4.5 r158113 - segfault (release checking)
4.4 r157895 - OK (with checking)

Valgrind (trunk r158095):
nothing interesting

Valgrind (4.5 r158113, release checking):
==26559== Invalid read of size 4
==26559==    at 0x7AB683: main_block_label (tree-cfg.c:1064)
==26559==    by 0x7AF241: cleanup_dead_labels (tree-cfg.c:1093)
==26559==    by 0x7E0442: execute_cleanup_cfg_post_optimizing
(tree-optimize.c:196)
==26559==    by 0x7105DD: execute_one_pass (passes.c:1568)
==26559==    by 0x710844: execute_pass_list (passes.c:1623)
==26559==    by 0x7E08CF: tree_rest_of_compilation (tree-optimize.c:413)
==26559==    by 0x90E580: cgraph_expand_function (cgraphunit.c:1548)
==26559==    by 0x910865: cgraph_optimize (cgraphunit.c:1721)
==26559==    by 0x910A04: cgraph_finalize_compilation_unit (cgraphunit.c:1096)
==26559==    by 0x4F4C1B: cp_write_global_declarations (decl2.c:3833)
==26559==    by 0x7A52D4: toplev_main (toplev.c:1065)
==26559==    by 0x6586A3C: (below main) (in /lib64/libc-2.10.1.so)
==26559==  Address 0x50 is not stack'd, malloc'd or (recently) free'd


-- 
           Summary: [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2
                    is missing an EH edge with -fipa-cp-clone
           Product: gcc
           Version: 4.5.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=43695

[Bug tree-optimization/43695] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Keywords|                            |EH, ice-on-valid-code
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/43695] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[zsojka at seznam dot cz]

------- Comment #1 from zsojka at seznam dot cz  2010-04-08 19:11 -------
Created an attachment (id=20339)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=20339&action=view)
reduced testcase (from g++.dg/torture/pr34953.C)

Command line:
g++ -fipa-cp -fipa-cp-clone pr43695.C


-- 


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

[Bug tree-optimization/43695] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-04-09 08:46 -------
Well.  I guess we should simply not run IPA passes at -O0 (like we do not
support enabling random scalar passes at -O0, though in the end I'd like
to support that for poor-mans unit-testing).

I suppose the IPA fixup pass needs to be run by the pass manager dependent
on a property which IPA passes can re-set.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-checking
   Last reconfirmed|0000-00-00 00:00:00         |2010-04-09 08:46:13
               date|                            |
   Target Milestone|4.5.0                       |4.5.1


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

[Bug tree-optimization/43695] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[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=43695

[Bug tree-optimization/43695] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[zsojka at seznam dot cz]

------- Comment #3 from zsojka at seznam dot cz  2010-04-20 00:56 -------
I can't reproduce it anymore in r158225 and r158486


-- 


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

[Bug tree-optimization/43695] [4.5/4.6 Regression] ICE: verify_flow_info failed: BB 2 is missing an EH edge with -fipa-cp-clone

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2010-07-31 09:29 -------
GCC 4.5.1 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

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


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