[Bug tree-optimization/44545] [4.5/4.6 regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[Bug tree-optimization/44545] [4.5/4.6 regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-16 11:48:10 UTC ---
Can't reproduce it on current trunk.  Looking at it on the branch.

[Bug tree-optimization/44545] [4.5/4.6 regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[ebotcazou at gcc dot gnu.org]

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

--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2010-11-16 12:06:42 UTC ---
> Can't reproduce it on current trunk.  Looking at it on the branch.

Try -fstack-check=generic on the trunk.

[Bug tree-optimization/44545] [4.5 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.6.0
         Depends on|                            |45232
            Summary|[4.5/4.6 regression]        |[4.5 Regression] internal
                   |internal compiler error: in |compiler error: in
                   |remove_unreachable_handlers |remove_unreachable_handlers
                   |, at tree-eh                |, at tree-eh

--- Comment #9 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-16 12:13:12 UTC ---
The fix for PR45232 fixed it on the trunk.

[Bug tree-optimization/44545] [4.5 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu.org]

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

--- Comment #10 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-16 13:53:53 UTC ---
Author: rguenth
Date: Tue Nov 16 13:53:50 2010
New Revision: 166796

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166796
Log:
2010-11-16  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/44545
    * tree-ssa-reassoc.c (linearize_expr_tree): Possibly throwing
    statements are not reassociatable.
    (reassociate_bb): Likewise.

    * gcc.dg/pr44545.c: New testcase.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr44545.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_5-branch/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/44545] [4.5 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu.org]

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

--- Comment #11 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-16 14:15:59 UTC ---
Author: rguenth
Date: Tue Nov 16 14:15:55 2010
New Revision: 166799

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166799
Log:
2010-11-16  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/44545
    * tree-ssa-reassoc.c (linearize_expr_tree): Possibly throwing
    statements are not reassociatable.
    (reassociate_bb): Likewise.

    * gcc.dg/pr44545.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/pr44545.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-reassoc.c

[Bug tree-optimization/44545] [4.5 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

--- Comment #12 from Richard Guenther <rguenth at gcc dot gnu.org> 2010-11-16 14:17:33 UTC ---
Fixed.

[Bug tree-optimization/44545] [4.5/4.6 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu dot org]

------- Comment #6 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=44545

[Bug tree-optimization/44545] [4.5/4.6 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2010-06-29 22:09 -------
(gdb) p debug_bb_n(6)
;; basic block 6, loop depth 0, count 0
;; prev block 5, next block 7
;; pred:       5 [100.0%]  (fallthru,exec)
;; succ:       9 (eh,exec) 7 [100.0%]  (fallthru,exec)
<bb 6>:
D.1986_12 = D.1986_7;
x_10 = D.1986_7 + x_9(D);
D.1989_14 = x_10 + -5;


Yep, the assignment to x_10 can trap which means it can throw an exception
which reassociation needs to be corrected/turned off for non call exceptions
with trapv turned on.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/44545] [4.5/4.6 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2010-06-29 22:04 -------
Reduced even further:
int DrawChunk(int *tabSize, int x) 
{
    const int numEnds = 10;
    int ends[numEnds + 2];
    if (*tabSize > 0) {
        x -= 5;
        x = (x + *tabSize) / *tabSize;
    }
}
--- CUT ---

Compile with -O2 -fstack-check  -fnon-call-exceptions  -ftrapv -fexceptions
(the last option is needed for C front-end).  As far as I can tell the
reassoication pass causes the ICE.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/44545] [4.5/4.6 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

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

[Bug tree-optimization/44545] [4.5/4.6 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2010-06-16 09:30 -------
class CallTip {
    int tabSize;
    int DrawChunk(int &x);
    int NextTabPos(int x);
};
int CallTip::NextTabPos(int x) 
{
    if (tabSize > 0) {
        x -= 5;
        x = (x + tabSize) / tabSize;
    }
}
int CallTip::DrawChunk(int &x) 
{
    const int numEnds = 10;
    int ends[numEnds + 2];
    return NextTabPos(x);
}


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/44545] [4.5/4.6 Regression] internal compiler error: in remove_unreachable_handlers, at tree-eh

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2010-06-16 09:07 -------
CallTip.cxx: In member function 'void CallTip::DrawChunk(Surface*, int&, const
char*, int, int, int, PRectangle, bool, bool)':
CallTip.cxx:87:6: error: control flow in the middle of basic block 64
CallTip.cxx:87: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.

Reducing.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to work|                            |4.4.4
   Last reconfirmed|0000-00-00 00:00:00         |2010-06-16 09:07:16
               date|                            |
            Summary|internal compiler error: in |[4.5/4.6 Regression]
                   |remove_unreachable_handlers,|internal compiler error: in
                   |at tree-eh                  |remove_unreachable_handlers,
                   |                            |at tree-eh
   Target Milestone|---                         |4.5.1


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