[Bug middle-end/22334] New: [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[Bug middle-end/22334] New: [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[jsm28 at gcc dot gnu dot org]

FAIL: 23_containers/vector/bool/6886.cc (test for excess errors)

has appeared on mainline on hppa2.0w-hpux and ia64-hpux (-milp32 only) between
20050706 and 20050707.

/scratch/gcc/nightly-2005-07-06-mainline/src/gcc-mainline/libstdc++-v3/testsuite/23_containers/vector/bool/6886.cc:
In function 'void test02()':
/scratch/gcc/nightly-2005-07-06-mainline/src/gcc-mainline/libstdc++-v3/testsuite/23_containers/vector/bool/6886.cc:27:
internal compiler error: in calc_dfs_tree, at dominance.c:376
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

I'll attach preprocessed source for hppa2.0w-hp-hpux11.11.

-- 
           Summary: [4.1 Regression] 23_containers/vector/bool/6886.cc fails
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jsm28 at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug middle-end/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[jsm28 at gcc dot gnu dot org]

------- Additional Comments From jsm28 at gcc dot gnu dot org  2005-07-06 23:15 -------
Created an attachment (id=9218)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9218&action=view)
preprocessed source for hppa2.0w-hp-hpux11.11

Preprocessed source for hppa2.0w-hp-hpux11.11.	Compile with g++ -O2 to show
the bug.


-- 


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

[Bug middle-end/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-06 23:16 -------
This looks like PR 22332.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22332


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

[Bug middle-end/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at gcc dot gnu dot org
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|middle-end                  |tree-optimization


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

[Bug tree-optimization/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[law at redhat dot com]

------- Additional Comments From law at redhat dot com  2005-07-07 13:51 -------
Subject: Re:  [4.1 Regression]
	23_containers/vector/bool/6886.cc fails

This really shouldn't be mine -- faults in dominance.c aren't something
I'm likely going to be able to fix as I'm not that familiar with with
the code we have to compute and update the dominator tree.

Jeff



-- 


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

[Bug tree-optimization/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-07 13:54 -------
(In reply to comment #3)
> Subject: Re:  [4.1 Regression]
>         23_containers/vector/bool/6886.cc fails
> 
> This really shouldn't be mine -- faults in dominance.c aren't something
> I'm likely going to be able to fix as I'm not that familiar with with
> the code we have to compute and update the dominator tree.

It was almost certain introduced by:
2005-07-06  Jeff Law  <law@redhat.com>

        * tree-ssa-dce.c (cfg_altered): New global.
        (tree_dce_init): Initialize cfg_altered.
        (remove_dead_stmt): If we remove an edge in the CFG, then set
        CFG_ALTERED.
        (perform_tree_ssa_dce): If we altered the CFG, then invalidate
        the dominators.

-- 


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

[Bug tree-optimization/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-07 14:49 -------
Created an attachment (id=9221)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9221&action=view)
a little reduced testcase

I removed a lot of the unneeded code but I don't have time to finish this right
now (and I was getting bored reducing it by hand).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
Attachment #9218 is|0                           |1
           obsolete|                            |


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

[Bug tree-optimization/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-09 17:41 -------
Fixed by:

        PR 21356
        PR 22332
        * passes.c (execute_todo): Cleanup the CFG before updating
        SSA.

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


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

[Bug tree-optimization/22334] [4.1 Regression] 23_containers/vector/bool/6886.cc fails

[laurent at guerby dot net]

-- 
Bug 22334 depends on bug 22332, which changed state.

Bug 22332 Summary: [4.1 Regression] ACATS ICE c34005f c34005i c34005l c34005o calc_dfs_tree, at dominance.c:376
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22332

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED

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