[Bug tree-optimization/27291] New: [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[Bug tree-optimization/27291] New: [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[tbm at cyrius dot com]

This happens on powerpc, not on i386 or x86_86:

1084:tbm@test: ~/delta/bin] /usr/lib/gcc-snapshot/bin/g++ -c -O2 mini.c
mini.c: In member function 'BASE* alps::detail::creator<BASE, T>::create()
const [with BASE = alps::BufferedRandomNumberGeneratorBase, T =
alps::BufferedRandomNumberGenerator<boost::random::lagged_fibonacci_01<double,
48, 607u, 273u> >]':
mini.c:333: error: too many outgoing branch edges from bb 4
mini.c:333: internal compiler error: verify_flow_info failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
zsh: exit 1     /usr/lib/gcc-snapshot/bin/g++ -c -O2 mini.c
1085:tbm@test: ~/delta/bin] /usr/lib/gcc-snapshot/bin/g++ -c mini.c
1086:tbm@test: ~/delta/bin] g++-4.1 -c -O2  mini.c
1087:tbm@test: ~/delta/bin]


-- 
           Summary: [4.2 regression] verify_flow_info failed: too many
                    outgoing branch edges from bb 4
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com
 GCC build triplet: powerpc-linux-gnu
  GCC host triplet: powerpc-linux-gnu
GCC target triplet: powerpc-linux-gnu


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

[Bug tree-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2006-04-24 17:15 -------
Created an attachment (id=11329)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11329&action=view)
test case (fairly large still)


-- 


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

[Bug middle-end/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-04-24 23:48 -------
I forgot if the error is a RTL issue or a tree level issue.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|tree-optimization           |middle-end
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |4.2.0


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

[Bug rtl-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-04-25 01:30 -------
Confirmed, but very interesting.  It ICEs in RTL.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|middle-end                  |rtl-optimization
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-04-25 01:30:12
               date|                            |


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

[Bug rtl-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-04-25 01:32 -------
"-O2 -fno-branch-count-reg" works.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org


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

[Bug rtl-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[rakdver at gcc dot gnu dot org]

-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-04-25 01:30:12         |2006-04-27 06:26:58
               date|                            |


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

[Bug rtl-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[rakdver at gcc dot gnu dot org]

------- Comment #5 from rakdver at gcc dot gnu dot org  2006-04-27 22:21 -------
Patch:

http://gcc.gnu.org/ml/gcc-patches/2006-04/msg01058.html


-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2006-
                   |                            |04/msg01058.html
           Keywords|                            |patch


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

[Bug rtl-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[rakdver at gcc dot gnu dot org]

------- Comment #6 from rakdver at gcc dot gnu dot org  2006-05-01 20:46 -------
Subject: Bug 27291

Author: rakdver
Date: Mon May  1 20:46:22 2006
New Revision: 113430

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=113430
Log:
        PR rtl-optimization/27291
        * loop-doloop.c (add_test, doloop_modify): Handle the case condition is
        folded to a constant.

        * g++.dg/tree-ssa/pr27291.C: New test.


Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr27291.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/loop-doloop.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2006-05-02 04:44 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/27291] [4.2 regression] verify_flow_info failed: too many outgoing branch edges from bb 4

[sje at gcc dot gnu dot org]

------- Comment #8 from sje at gcc dot gnu dot org  2006-08-03 16:35 -------
Subject: Bug 27291

Author: sje
Date: Thu Aug  3 16:35:31 2006
New Revision: 115904

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=115904
Log:
        PR rtl-optimization/28221
        Backport from mainline.
        2005-11-30  Nathan Sidwell  <nathan@codesourcery.com>
        * loop-doloop.c (add_test): Only add jump note if we did emit a jump.
        2006-05-01  Zdenek Dvorak  <dvorakz@suse.cz>
        PR rtl-optimization/27291
        * loop-doloop.c (add_test, doloop_modify): Handle the case condition
        is folded to a constant.

Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/loop-doloop.c


-- 


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