[Bug target/23454] New: [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[Bug target/23454] New: [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[debian-gcc at lists dot debian dot org]

[forwarded from http://bugs.debian.org/321215]

CVS 4.0 20050816, not seen with HEAD 20050726, CVS 3.4.
works with -O2 instead of -O3.

  Matthias

g++ -O3 -save-temps -DMYSQL_SERVER -DDEFAULT_MYSQL_HOME="\"/usr\""
-DDATADIR="\"/var/lib/mysql\"" -DSHAREDIR="\"/usr/share/mysql\"" -DHAVE_CONFIG_H
-I. -I. -I.. -I../innobase/include -I../ndb/include -I../ndb/include/ndbapi
-I../include -I../include -I../regex -I.      -DDBUG_OFF -DBIG_JOINS=1
-felide-constructors -fno-rtti  -fno-implicit-templates -fno-exceptions
-fno-rtti  -MT sql_analyse.o -MD -MP -MF ".deps/sql_analyse.Tpo" -c -o
sql_analyse.o sql_analyse.cc
sql_analyse.cc: In member function 'virtual void field_longlong::add()':
sql_analyse.cc:506: internal compiler error: in invert_exp_1, at jump.c:1719
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: [4.0 regression] ICE in invert_exp_1, at jump.c:1719
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: target
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: debian-gcc at lists dot debian dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: sparc-linux


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

[Bug target/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[debian-gcc at lists dot debian dot org]

------- Additional Comments From debian-gcc at lists dot debian dot org  2005-08-18 07:57 -------
Created an attachment (id=9527)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9527&action=view)
preprocessed source


-- 


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

[Bug target/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[debian-gcc at lists dot debian dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.0.2
      Known to work|                            |3.4.4 4.1.0


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

[Bug target/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.0.2


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

[Bug target/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-18 12:17 -------
This is most likely latent on the mainline.

-- 


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-18 12:32 -------
Here is the backtrace:
#0  fancy_abort (file=0x5e7648 "../../gcc/jump.c", line=1719, function=0x5e76ec "invert_exp_1") at ../
../gcc/diagnostic.c:556
#1  0x003a72d4 in invert_exp_1 (insn=0x2b8923c) at ../../gcc/jump.c:1719
#2  0x003a7308 in invert_exp (insn=0x2b8923c) at ../../gcc/jump.c:1730
#3  0x003a73f4 in invert_jump (jump=0x2b8923c, nlabel=0x2b985e8, delete_unused=1) at ../../gcc/
jump.c:1766
#4  0x00561f38 in relax_delay_slots (first=0x2b7e380) at ../../gcc/reorg.c:3404
#5  0x00562aac in dbr_schedule (first=0x2b7e380, file=0x0) at ../../gcc/reorg.c:3667
#6  0x00491f60 in rest_of_handle_delay_slots () at ../../gcc/passes.c:352


So this is rtl opt bug and not a target one.  This is most likely also reproduciable on MIPS.

Reducing.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|target                      |rtl-optimization


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-18 18:10 -------
Confirmed, a reduced testcase:
void tree_insert();
int empty, nulls;
char found;
long long min_arg, max_arg;
static inline int compare_longlong(const long long s, const long long t) {
  return ((s < t) ? -1 : s > t ? 1 : 0);
}
int num1();
int null_value;
void add(int room_in_tree)
{
  long long  num = num1();
  if (null_value)
  {
    nulls++;
    return;
  }
  if (num == 0)
    empty++;
  if (room_in_tree)
    tree_insert();
  if (!found)
    found = 1;
  else if (num != 0)
  {
    if (compare_longlong(num, min_arg) < 0)
      min_arg = num;
    if (compare_longlong(num, max_arg) > 0)
      max_arg = num;
  }
}
----
This one fails at -O2.

This also might fail on the mainline with -O2 -fno-tree-vrp.

Also this one might fail in 3.4.x also but I have not tested it there or on the mainline yet.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-18 18:10:45
               date|                            |


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-23 11:42 -------
*** Bug 23526 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |georg dot oppenberg at deu
                   |                            |dot mci dot com


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-03 18:50 -------
Subject: Bug 23454

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jakub@gcc.gnu.org	2005-09-03 18:49:52

Modified files:
	gcc            : ChangeLog reorg.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/opt: pr23454.C 

Log message:
	PR rtl-optimization/23454
	* reorg.c (relax_delay_slots): Only call invert_jump if any_condjump_p
	is true.
	
	* g++.dg/opt/pr23454.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9890&r2=2.9891
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reorg.c.diff?cvsroot=gcc&r1=1.110&r2=1.111
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.6000&r2=1.6001
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/opt/pr23454.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-03 19:10 -------
Subject: Bug 23454

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	jakub@gcc.gnu.org	2005-09-03 19:09:59

Modified files:
	gcc            : ChangeLog reorg.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/opt: pr23454.C 

Log message:
	PR rtl-optimization/23454
	* reorg.c (relax_delay_slots): Only call invert_jump if any_condjump_p
	is true.
	
	* g++.dg/opt/pr23454.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=2.7592.2.408&r2=2.7592.2.409
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/reorg.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.104&r2=1.104.8.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5084.2.370&r2=1.5084.2.371
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/opt/pr23454.C.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=NONE&r2=1.1.2.1



-- 


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-03 19:14 -------
Fixed.

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


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[falk at debian dot org]

------- Comment #9 from falk at debian dot org  2006-03-04 14:35 -------
Is this really fixed? I can still reproduce it with the original testcase
(but not the reduced one) with
g++ (GCC) 4.0.3 20060212 (prerelease) (Debian 4.0.2-9)


-- 

falk at debian dot org changed:

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


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.2                       |4.0.3


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.3                       |4.0.4


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[ted dot keller at goodrich dot com]

------- Comment #10 from ted dot keller at goodrich dot com  2006-05-08 03:30 -------
Have verified bug is still an issue in 4.02 and 4.03.  Verified code in 4.03
contains the patch.  Compile still fails on mysql object sql_analyse.cc


-- 

ted dot keller at goodrich dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ted dot keller at goodrich
                   |                            |dot com


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[tbm at cyrius dot com]

------- Comment #11 from tbm at cyrius dot com  2006-07-31 18:04 -------
Created an attachment (id=11982)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11982&action=view)
test case

Testcase from application "xapian".


-- 


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[ebotcazou at gcc dot gnu dot org]

------- Comment #12 from ebotcazou at gcc dot gnu dot org  2006-08-11 07:36 -------
Investigating.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ebotcazou at gcc dot gnu dot
                   |dot org                     |org
             Status|REOPENED                    |ASSIGNED
   Last reconfirmed|2005-08-18 18:10:45         |2006-08-11 07:36:20
               date|                            |


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[ebotcazou at gcc dot gnu dot org]

------- Comment #13 from ebotcazou at gcc dot gnu dot org  2006-08-11 19:01 -------
Subject: Bug 23454

Author: ebotcazou
Date: Fri Aug 11 19:01:45 2006
New Revision: 116088

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116088
Log:
        PR rtl-optimization/23454
        * reorg.c (relax_delay_slots): Update comment.


Added:
    trunk/gcc/testsuite/g++.dg/opt/pr23454-2.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/reorg.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[ebotcazou at gcc dot gnu dot org]

------- Comment #14 from ebotcazou at gcc dot gnu dot org  2006-08-11 19:02 -------
Subject: Bug 23454

Author: ebotcazou
Date: Fri Aug 11 19:02:45 2006
New Revision: 116089

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116089
Log:
        PR rtl-optimization/23454
        * reorg.c (relax_delay_slots): Update comment.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/opt/pr23454-2.C
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/reorg.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[ebotcazou at gcc dot gnu dot org]

------- Comment #15 from ebotcazou at gcc dot gnu dot org  2006-08-11 19:04 -------
Subject: Bug 23454

Author: ebotcazou
Date: Fri Aug 11 19:04:04 2006
New Revision: 116090

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=116090
Log:
        PR rtl-optimization/23454
        Backport from mainline
        2005-03-07  Eric Botcazou  <ebotcazou@libertysurf.fr>

        * reorg.c (relax_delay_slots): Check that the jump is
        conditional before trying to invert it.


Added:
    branches/gcc-4_0-branch/gcc/testsuite/g++.dg/opt/pr23454-2.C
Modified:
    branches/gcc-4_0-branch/gcc/ChangeLog
    branches/gcc-4_0-branch/gcc/reorg.c
    branches/gcc-4_0-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/23454] [4.0 regression] ICE in invert_exp_1, at jump.c:1719

[ebotcazou at gcc dot gnu dot org]

------- Comment #16 from ebotcazou at gcc dot gnu dot org  2006-08-11 19:06 -------
See http://gcc.gnu.org/ml/gcc-patches/2006-08/msg00375.html


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|ebotcazou at gcc dot gnu dot|
                   |org                         |
             Status|ASSIGNED                    |RESOLVED
 GCC target triplet|sparc-linux                 |sparc-*-*
         Resolution|                            |FIXED


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