[Bug middle-end/20946] New: --enable-checking=yes,fold fails on the mainline

[Bug middle-end/20946] New: --enable-checking=yes,fold fails on the mainline

[pinskia at gcc dot gnu dot org]

--enable-checking=yes,fold fails on the mainline because when we get a SSA_NAME, we checksum the 
whole use-def chain which is wrong.

-- 
           Summary: --enable-checking=yes,fold fails on the mainline
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, build
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pinskia at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug middle-end/20946] --enable-checking=yes,fold fails on the mainline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-11 13:20 -------
I am testing a fix right now, this is blocking my patch for PR 20931.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |20931
              nThis|                            |
         AssignedTo|unassigned at gcc dot gnu   |pinskia at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-04-11 13:20:36
               date|                            |


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

[Bug middle-end/20946] --enable-checking=yes,fold fails on the mainline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-11 13:30 -------
And TREE_LIST too.

-- 


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

[Bug middle-end/20946] --enable-checking=yes,fold fails on the mainline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-11 14:05 -------
(In reply to comment #2)
> And TREE_LIST too.

Actually it related to how TREE_LIST is handle, I change the recusiveness of fold_checksum_tree for 
TREE_LIST is that we no longer use recusion but a loop instead.

-- 


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

[Bug middle-end/20946] --enable-checking=yes,fold fails on the mainline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-11 17:16 -------
Patch here: <http://gcc.gnu.org/ml/gcc-patches/2005-04/msg01193.html>.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug middle-end/20946] --enable-checking=yes,fold fails on the mainline

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-05-31 16:40 -------
Subject: Bug 20946

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	pinskia@gcc.gnu.org	2005-05-31 16:40:09

Modified files:
	gcc            : ChangeLog fold-const.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/opt: pr20931.C 

Log message:
	2005-05-31  Andrew pinski  <pinskia@physics.uc.edu>
	
	PR middle-end/20931
	* g++.dg/opt/pr20931.C: New test.
	
	2005-05-31  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR middle-end/20931
	PR middle-end/20946
	* fold-const.c (fold_checksum_tree): Copy types also if
	TYPE_CONTAINS_PLACEHOLDER_INTERNAL is set.
	Don't call fold_checksum_tree for TREE_LIST's TREE_CHAIN
	first.
	Tail recurse TREE_LIST's TREE_CHAIN.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.8956&r2=2.8957
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fold-const.c.diff?cvsroot=gcc&r1=1.584&r2=1.585
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5564&r2=1.5565
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/opt/pr20931.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug middle-end/20946] --enable-checking=yes,fold fails on the mainline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-05-31 16:44 -------
Fixed in 4.0.1.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.0.1


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

[Bug middle-end/20946] --enable-checking=yes,fold fails on the mainline

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-05-31 16:46 -------
Subject: Bug 20946

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	pinskia@gcc.gnu.org	2005-05-31 16:46:12

Modified files:
	gcc            : ChangeLog fold-const.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/opt: pr20931.C 

Log message:
	2005-05-31  Andrew pinski  <pinskia@physics.uc.edu>
	
	PR middle-end/20931
	* g++.dg/opt/pr20931.C: New test.
	
	2005-05-31  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR middle-end/20931
	PR middle-end/20946
	* fold-const.c (fold_checksum_tree): Copy types also if
	TYPE_CONTAINS_PLACEHOLDER_INTERNAL is set.
	Don't call fold_checksum_tree for TREE_LIST's TREE_CHAIN
	first.
	Tail recurse TREE_LIST's TREE_CHAIN.

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.268&r2=2.7592.2.269
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/fold-const.c.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.517.2.9&r2=1.517.2.10
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.210&r2=1.5084.2.211
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/opt/pr20931.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=20946