[Bug c/23157] New: incorrect sharing of tree nodes regression

[Bug c/23157] New: incorrect sharing of tree nodes regression

[marcus at jet dot franken dot de]

this regression has been introduced in the last few days (the same code  
compiled fine some days ago). extracted from WINE. 
 
LANG=C /home/marcus/projects/gcc/BIN/bin/gcc -c -O2 -o api.o api.i 
api.i: In function 'f': 
api.i:2: error: incorrect sharing of tree nodes 
D.1338_6 = (const unsigned charD.10 *) idstrD.1276_7; 
 
(const unsigned charD.10 *) idstrD.1276_7; 
 
api.i:2: error: incorrect sharing of tree nodes 
D.1337_26 = (const unsigned charD.10 *) idstrD.1276_7; 
 
(const unsigned charD.10 *) idstrD.1276_7; 
 
api.i:2: internal compiler error: verify_stmts failed 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: incorrect sharing of tree nodes regression
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: marcus at jet dot franken dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug c/23157] incorrect sharing of tree nodes regression

[marcus at jet dot franken dot de]

------- Additional Comments From marcus at jet dot franken dot de  2005-07-31 08:46 -------
Created an attachment (id=9390)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9390&action=view)
api.i

gcc -O2 -c api.i

-- 


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

[Bug tree-optimization/23157] [4.1 Regression] incorrect sharing of tree nodes regression

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |tree-optimization
           Keywords|                            |ice-on-valid-code
            Summary|incorrect sharing of tree   |[4.1 Regression] incorrect
                   |nodes regression            |sharing of tree nodes
                   |                            |regression
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/23157] [4.1 Regression] incorrect sharing of tree nodes regression

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-31 16:27 -------
Confirmed.  SCCP is causing this ICE.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-31 16:27:58
               date|                            |


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

[Bug tree-optimization/23157] [4.1 Regression] incorrect sharing of tree nodes regression

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-07-31 16:44 -------
Adding

def = unshare_expr (def);

after

if (force_expr_to_var_cost (def) >= target_spill_cost)
  continue;

in tree-scalar-evolution.c might help.  I cannot test it just now (I am on 
shared computer and cannot take much time).

-- 


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

[Bug tree-optimization/23157] [4.1 Regression] incorrect sharing of tree nodes regression

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-03 18:39 -------
Subject: Bug 23157

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rakdver@gcc.gnu.org	2005-08-03 18:39:11

Modified files:
	gcc            : ChangeLog tree-scalar-evolution.c 

Log message:
	PR tree-optimization/23157
	* tree-scalar-evolution.c (scev_const_prop): Unshare trees
	before emitting them.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9647&r2=2.9648
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-scalar-evolution.c.diff?cvsroot=gcc&r1=2.33&r2=2.34



-- 


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

[Bug tree-optimization/23157] [4.1 Regression] incorrect sharing of tree nodes regression

[pinskia at gcc dot gnu dot org]

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

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


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