[Bug middle-end/39124] New: -fno-exceptions leads to a ICE

[Bug middle-end/39124] New: -fno-exceptions leads to a ICE

[linuxl4 at sohu dot com]

{~/tmp}$g++ --version
g++ (GCC) 4.4.0 20090207 (experimental)

{~/tmp}$g++ -c PredicateSimplifier.cpp -O2 -fno-exceptions -funroll-loops
/svn/llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp: In member function
'void<unnamed>::ValueRanges::applyRange(unsigned int, const
llvm::ConstantRange&, <unnamed>::DomTreeDFS::Node*, <unnamed>::VRPSolver*)':
/svn/llvm/lib/Transforms/Scalar/PredicateSimplifier.cpp:1231: internal compiler
error: in get_loop_body, at cfgloop.c:816
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary:  -fno-exceptions leads to a ICE
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: linuxl4 at sohu dot com
 GCC build triplet: x86_64-linux-pc-linux
  GCC host triplet: x86_64-linux-pc-linux
GCC target triplet: x86_64-linux-pc-linux


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

[Bug middle-end/39124] -fno-exceptions leads to a ICE

[linuxl4 at sohu dot com]

------- Comment #1 from linuxl4 at sohu dot com  2009-02-07 06:17 -------
Created an attachment (id=17266)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17266&action=view)
the preprocessed source


-- 


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

[Bug middle-end/39124] -fno-exceptions leads to a ICE

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-02-07 12:18 -------
Reducing.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org
            Summary| -fno-exceptions leads to a |-fno-exceptions leads to a
                   |ICE                         |ICE


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

[Bug middle-end/39124] [4.4 Regression]: -fno-exceptions leads to a ICE

[hjl dot tools at gmail dot com]

-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
      Known to fail|                            |4.4.0
      Known to work|                            |4.3.2
   Last reconfirmed|0000-00-00 00:00:00         |2009-02-07 18:37:49
               date|                            |
            Summary|-fno-exceptions leads to a  |[4.4 Regression]: -fno-
                   |ICE                         |exceptions leads to a ICE
   Target Milestone|---                         |4.4.0


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

[Bug middle-end/39124] [4.4 Regression]: -fno-exceptions leads to a ICE

[hjl dot tools at gmail dot com]

------- Comment #3 from hjl dot tools at gmail dot com  2009-02-07 18:55 -------
This is caused by revision 139756:

http://gcc.gnu.org/ml/gcc-cvs/2008-08/msg01321.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jh at suse dot cz


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

[Bug middle-end/39124] [4.4 Regression]: -fno-exceptions leads to a ICE

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-02-07 23:26 -------
Created an attachment (id=17267)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17267&action=view)
reduced testcase


-- 


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

[Bug middle-end/39124] [4.4 Regression]: -fno-exceptions leads to a ICE

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2009-02-10 14:11 -------
Created an attachment (id=17276)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17276&action=view)
gcc44-pr39124.patch

The problem is that remove_path first calls remove_bbs and afterwards
cancel_loop_tree.  The first call removes all bbs from one loop (a loop inside
of another loop that has niter == 0 and is peeled completely to nothing) and
the second attempts to remove it.  But, get_loop_body asserts the loop has at
least one bb, which is not true after all its bbs have been removed.

This patch fixes this by first calling cancel_loop_tree and afterwards
remove_bbs.  E.g. tree-loop-distribution.c also calls it in this order, first
cancel_loop_tree, then delete_basic_blocks.  Also cancel_loop comment suggests
that bbs should be removed afterwards.


-- 

jakub at gcc dot gnu dot org changed:

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


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

[Bug middle-end/39124] [4.4 Regression]: -fno-exceptions leads to a ICE

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2009-02-10 16:23 -------
Subject: Bug 39124

Author: jakub
Date: Tue Feb 10 16:23:17 2009
New Revision: 144066

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=144066
Log:
        PR middle-end/39124
        * cfgloopmanip.c (remove_path): Call remove_bbs after
        cancel_loop_tree, not before it.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgloopmanip.c


-- 


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

[Bug middle-end/39124] [4.4 Regression]: -fno-exceptions leads to a ICE

[jakub at gcc dot gnu dot org]

------- Comment #7 from jakub at gcc dot gnu dot org  2009-02-10 16:35 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

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


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