[Bug tree-optimization/18307] New: merge_pointed_to_info called incorrectly

[Bug tree-optimization/18307] New: merge_pointed_to_info called incorrectly

[nathan at gcc dot gnu dot org]

The attached program (preprocessed gengtype) causes merge_pointed_to_info to
be called with the same node as DEST and ORIG.  This is an erroneous use
of that function.

I'm about to commit a check and early exit in that function, to prevent further
breakage, but it really needs assertifying.

-- 
           Summary: merge_pointed_to_info called incorrectly
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: nathan at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/18307] merge_pointed_to_info called incorrectly

[nathan at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dnovillo at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED


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

[Bug tree-optimization/18307] merge_pointed_to_info called incorrectly

[nathan at gcc dot gnu dot org]

------- Additional Comments From nathan at gcc dot gnu dot org  2004-11-05 10:48 -------
Created an attachment (id=7478)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7478&action=view)
test case

Compile at -O2

-- 


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

[Bug tree-optimization/18307] merge_pointed_to_info called incorrectly

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-11-05 10:56 -------
Subject: Bug 18307

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	nathan@gcc.gnu.org	2004-11-05 10:56:03

Modified files:
	gcc            : ChangeLog tree-ssa-alias.c 

Log message:
	PR tree-optimization/18307
	* tree-ssa-alias.c (merge_pointed_to_info): Protected against DEST
	and ORIG being the same node.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6184&r2=2.6185
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.51&r2=2.52



-- 


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

[Bug tree-optimization/18307] merge_pointed_to_info called incorrectly

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-11-17 21:07 -------
Subject: Bug 18307

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-11-17 21:07:08

Modified files:
	gcc            : ChangeLog tree-ssa-alias.c 

Log message:
	PR tree-optimization/18307
	* tree-ssa-alias.c (merge_pointed_to_info): ICE if 'dest' and
	'orig' are the same node.
	(collect_points_to_info_r): Do not call merge_pointed_to_info
	when the PHI argument is identical to the LHS.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6377&r2=2.6378
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.53&r2=2.54



-- 


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

[Bug tree-optimization/18307] merge_pointed_to_info called incorrectly

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-11-17 21:11 -------

Fix: http://gcc.gnu.org/ml/gcc-patches/2004-11/msg01414.html.

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


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

[Bug tree-optimization/18307] merge_pointed_to_info called incorrectly

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.0.0


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