[Bug tree-optimization/38369] New: [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[Bug tree-optimization/38369] New: [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[doko at ubuntu dot com]

seen with 4.3 20081129, not seen on 4.2 and trunk

$ gcc -c -O1 spinmc_factory_test.ii 
spinmc_factory.C: In constructor 'AbstractSpinSim<MAT>::AbstractSpinSim(const
alps::ProcessList&, const alps::Parameters&, int) [with MAT =
SquareMatrix<double, 3>]':
spinmc_factory.C:194: internal compiler error: Segmentation fault
Please submit a full bug report,

Program received signal SIGSEGV, Segmentation fault.
0x083826ba in number_of_iterations_exit (loop=0xf22d11b0, exit=0xe5a33640,
niter=0xffe39bd8, warn=0 '\0')
    at ../../src/gcc/tree-ssa-loop-niter.c:429
429           cond = COND_EXPR_COND (last_stmt (e->src));


-- 
           Summary: [4.3 regression] ICE (SIGSEGV in
                    number_of_iterations_exit)
           Product: gcc
           Version: 4.3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: doko at ubuntu dot com


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[doko at ubuntu dot com]

------- Comment #1 from doko at ubuntu dot com  2008-12-02 10:12 -------
Created an attachment (id=16807)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16807&action=view)
preprocessed source


-- 


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[doko at ubuntu dot com]

------- Comment #2 from doko at ubuntu dot com  2008-12-02 10:14 -------
works with -O0


-- 


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2008-12-02 12:07 -------
reducing.


-- 

rguenth 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=38369

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 859 bytes --]



------- Comment #4 from rguenth at gcc dot gnu dot org  2008-12-04 12:59 -------
Created an attachment (id=16823)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16823&action=view)
somewhat reduced testcase

./cc1plus -quiet /tmp/20508.3.min.3.3.i -O -m32
/tmp/20508.3.min.3.3.i: In constructor
‘AbstractSpinSim<MAT>::AbstractSpinSim(const alps::ProcessList&, const
alps::Parameters&, int) [with MAT = MIdMatrix<double, 1>]’:
/tmp/20508.3.min.3.3.i:497: error: true/false edge after a non-COND_EXPR in bb
7
/tmp/20508.3.min.3.3.i:497: error: true/false edge after a non-COND_EXPR in bb
7
/tmp/20508.3.min.3.3.i:497: 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.


-- 


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2008-12-04 13:09 -------
This is after early inlining / cfg_cleanup btw.

(gdb) call debug_bb_n (7)
;; basic block 7, loop depth 0, count 0
;; prev block 6, next block 8
;; pred:       5 [100.0%]  (fallthru,exec) 6 [100.0%]  (fallthru,dfs_back,exec)
;; succ:       6 [50.0%]  (true,exec) 8 [50.0%]  (false,exec)
<bb 7>:
# __first_46 = PHI <D.5122_52(5), __first_47(6)>
D.5119 = &this_1(D)->h_normalized.vec_[1];

(gdb) call debug_bb_n (6)
;; basic block 6, loop depth 0, count 0
;; prev block 5, next block 7
;; pred:       7 [50.0%]  (true,exec)
;; succ:       7 [100.0%]  (fallthru,dfs_back,exec)
<bb 6>:
*__first_46 ={v} 0.0;
__first_47 = __first_46 + 8;

this CFG is seriously hosed ... ;)


-- 

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
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-04 13:09:34
               date|                            |
   Target Milestone|---                         |4.3.3


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[reichelt at gcc dot gnu dot org]

------- Comment #6 from reichelt at gcc dot gnu dot org  2008-12-28 17:57 -------
Shorter testcase:

=========================================
struct A
{
  A()
  {
    for (int* p = x; p != x+1; ++p)
      *p = 0;
  }

  A foo()
  {
    A a;
    a.x[0] = x[0];
    return a;
  }

  int x[1];
};

struct B
{
  B() : a(A().foo()) {}
  A a;
};

B b;
=========================================


-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reichelt at gcc dot gnu dot
                   |                            |org
           Keywords|                            |monitored
      Known to fail|4.3.3                       |4.3.0 4.3.3


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[reichelt at gcc dot gnu dot org]

------- Comment #7 from reichelt at gcc dot gnu dot org  2008-12-28 18:01 -------
The bug disappeared on mainline between 2008-08-23 and 2008-09-19.


-- 


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2009-01-24 10:21 -------
GCC 4.3.3 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.3                       |4.3.4


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2009-06-18 15:00 -------
Re-confirmed on the branch.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2008-12-04 13:09:34         |2009-06-18 15:00:39
               date|                            |


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[mikpe at it dot uu dot se]

------- Comment #10 from mikpe at it dot uu dot se  2009-07-09 14:45 -------
I've identified Jakub's r140177 (PR37356) as the point where these test cases
were fixed in 4.4.0. A backport doesn't look easy (to me anyway).


-- 

mikpe at it dot uu dot se changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikpe at it dot uu dot se


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2009-08-04 12:29 -------
GCC 4.3.4 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.4                       |4.3.5


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu dot org]

------- Comment #12 from rguenth at gcc dot gnu dot org  2010-05-22 18:12 -------
GCC 4.3.5 is being released, adjusting target milestone.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.3.5                       |4.3.6


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

[Bug tree-optimization/38369] [4.3 regression] ICE (SIGSEGV in number_of_iterations_exit)

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to work|                            |
         Resolution|                            |FIXED
   Target Milestone|4.3.6                       |4.4.0
      Known to fail|                            |

--- Comment #13 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-27 11:37:27 UTC ---
Fixed for 4.4.0.