[Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[bangerth at dealii dot org]

This is likely related to PR 16688 since it was introduced on the 
same day. Nevertheless, the bug appears in a different spot: 
 
deal.II/deal.II> c++ -O2 -c grid_in.ii       
grid_in.ii: In member function `void GridIn<dim>::read_ucd(std::istream&) 
[with int dim = 2]': 
grid_in.ii:39116: internal compiler error: in add_may_alias, at 
tree-ssa-alias.c:1665 
Please submit a full bug report, 
with preprocessed source if appropriate. 
See <URL:http://gcc.gnu.org/bugs.html> for instructions. 
 
 
The last patch I have in my tree is this one: 
  2004-07-22  Diego Novillo  <dnovillo@redhat.com> 
 
        * tree-into-ssa.c (set_livein_block): Fix typo in comment. 
        (rewrite_ssa_into_ssa): Start iterating over SSA names at 1. 
        Release SSA names that have been re-renamed. 
        * tree-phinodes.c (make_phi_node): Set same TREE_TYPE as the 
        variable. 
        ... 
 
It has a lot of alias stuff in it, so I suspect that it is already the 
one we're looking for. Diego, would you mind taking a look at this PR 
and PR 16688? 
 
W.

-- 
           Summary: [3.5 regression] ICE in add_may_alias, at tree-ssa-
                    alias.c:1665
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: bangerth at dealii dot org
                CC: dnovillo at redhat dot com,gcc-bugs at gcc dot gnu dot
                    org


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-07-23 14:11 -------
Created an attachment (id=6811)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6811&action=view)
Preprocessed sources


-- 


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-07-23 14:14 -------

Yes.  It's probably related.  Gerald's DLV found a similar failure.  I've got a
fix, but I'm having a hard time reducing these test cases into something I can
add to the testsuite.  The path to failure is rather convoluted.


Diego.

-- 
           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=16689

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[bangerth at ices dot utexas dot edu]

------- Additional Comments From bangerth at ices dot utexas dot edu  2004-07-23 14:17 -------
Subject: Re:  [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665


> Yes.  It's probably related.  Gerald's DLV found a similar failure.  I've
> got a fix, but I'm having a hard time reducing these test cases into
> something I can add to the testsuite.  The path to failure is rather
> convoluted.

If you give me until late afternoon, I can try to find a small testcase. If 
you have a patch that cures all the preprocessed sources, check that in, and 
I'll provide a testcase for later addition. Deal?

W.

-------------------------------------------------------------------------
Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                               www: http://www.ices.utexas.edu/~bangerth/



-- 


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[dnovillo at redhat dot com]

------- Additional Comments From dnovillo at redhat dot com  2004-07-23 14:20 -------
Subject: Re:  [3.5 regression] ICE in
	add_may_alias, at tree-ssa-alias.c:1665

On Fri, 2004-07-23 at 10:17, bangerth at ices dot utexas dot edu wrote:

> If you give me until late afternoon, I can try to find a small testcase. If 
> you have a patch that cures all the preprocessed sources, check that in, and 
> I'll provide a testcase for later addition. Deal?
> 
Deal.  I'll check in a patch as soon as I verify both PRs.


Thanks.  Diego.



-- 


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |3.5.0


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-07-24 01:05 -------
Subject: Bug 16689

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-07-24 01:05:45

Modified files:
	gcc            : ChangeLog tree-ssa-alias.c tree-ssa-copy.c 
	                 tree-ssa-copyrename.c tree-ssa.c 
	                 tree-ssanames.c tree.h 

Log message:
	PR tree-optimization/16688
	PR tree-optimization/16689
	* tree-ssa-alias.c (setup_pointers_and_addressables): Remove
	unnecessary initialization of 'tag'.
	(get_tmt_for): Check that the new type tag has the same alias
	set as the pointed-to type.
	(group_aliases): Only regular variables need to be removed
	from the alias set of a name tag.
	* tree-ssa-copy.c (may_propagate_copy): Do not allow copy
	propagation if the two types are not compatible.
	(merge_alias_info): Rename from replace_ssa_names_ann.
	Add more checking.
	(replace_exp_1): If both arguments are SSA_NAMEs, check that
	the propagation can be done.
	Only call merge_alias_info on pointers.
	(propagate_value): Likewise.
	* tree-ssa-copyrename.c: Include langhooks.h.
	(copy_rename_partition_coalesce): Call replace_ssa_name_symbol
	to do the merging.
	Do not coalesce variables with incompatible types.
	(rename_ssa_copies): Call replace_ssa_name_symbol.
	* tree-ssa.c (verify_ssa_name): Verify that the SSA_NAME has
	the same type as the underlying _DECL.
	* tree-ssanames.c (replace_ssa_name_symbol): New function.
	* tree.h (replace_ssa_name_symbol): Declare.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.4655&r2=2.4656
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.15&r2=2.16
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-copy.c.diff?cvsroot=gcc&r1=2.10&r2=2.11
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-copyrename.c.diff?cvsroot=gcc&r1=2.6&r2=2.7
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa.c.diff?cvsroot=gcc&r1=2.22&r2=2.23
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssanames.c.diff?cvsroot=gcc&r1=2.4&r2=2.5
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree.h.diff?cvsroot=gcc&r1=1.569&r2=1.570



-- 


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[dnovillo at gcc dot gnu dot org]

------- Additional Comments From dnovillo at gcc dot gnu dot org  2004-07-24 01:07 -------

Fixed.

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


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[bangerth at dealii dot org]

------- Additional Comments From bangerth at dealii dot org  2004-07-26 13:36 -------
I can report that this is fixed indeed now. Thanks, Diego, for the quick 
fix! 
 
W. 

-- 


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

[Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-07-28 12:38 -------
Subject: Bug 16689

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-07-28 12:38:53

Modified files:
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/tree-ssa: pr16688.C 

Log message:
	PR tree-optimization/16688
	PR tree-optimization/16689
	* g++.dg/tree-ssa/pr16688.C: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4063&r2=1.4064
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/tree-ssa/pr16688.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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