* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
@ 2004-07-23 14:11 ` bangerth at dealii dot org
2004-07-23 14:14 ` dnovillo at gcc dot gnu dot org
` (7 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: bangerth at dealii dot org @ 2004-07-23 14:11 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
2004-07-23 14:11 ` [Bug tree-optimization/16689] " bangerth at dealii dot org
@ 2004-07-23 14:14 ` dnovillo at gcc dot gnu dot org
2004-07-23 14:17 ` bangerth at ices dot utexas dot edu
` (6 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2004-07-23 14:14 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
2004-07-23 14:11 ` [Bug tree-optimization/16689] " bangerth at dealii dot org
2004-07-23 14:14 ` dnovillo at gcc dot gnu dot org
@ 2004-07-23 14:17 ` bangerth at ices dot utexas dot edu
2004-07-23 14:20 ` dnovillo at redhat dot com
` (5 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: bangerth at ices dot utexas dot edu @ 2004-07-23 14:17 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
` (2 preceding siblings ...)
2004-07-23 14:17 ` bangerth at ices dot utexas dot edu
@ 2004-07-23 14:20 ` dnovillo at redhat dot com
2004-07-23 14:28 ` pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: dnovillo at redhat dot com @ 2004-07-23 14:20 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
` (3 preceding siblings ...)
2004-07-23 14:20 ` dnovillo at redhat dot com
@ 2004-07-23 14:28 ` pinskia at gcc dot gnu dot org
2004-07-24 1:05 ` cvs-commit at gcc dot gnu dot org
` (3 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-07-23 14:28 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16689
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
` (4 preceding siblings ...)
2004-07-23 14:28 ` pinskia at gcc dot gnu dot org
@ 2004-07-24 1:05 ` cvs-commit at gcc dot gnu dot org
2004-07-24 1:07 ` dnovillo at gcc dot gnu dot org
` (2 subsequent siblings)
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-07-24 1:05 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
` (5 preceding siblings ...)
2004-07-24 1:05 ` cvs-commit at gcc dot gnu dot org
@ 2004-07-24 1:07 ` dnovillo at gcc dot gnu dot org
2004-07-26 13:36 ` bangerth at dealii dot org
2004-07-28 12:39 ` cvs-commit at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2004-07-24 1:07 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
` (6 preceding siblings ...)
2004-07-24 1:07 ` dnovillo at gcc dot gnu dot org
@ 2004-07-26 13:36 ` bangerth at dealii dot org
2004-07-28 12:39 ` cvs-commit at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: bangerth at dealii dot org @ 2004-07-26 13:36 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* [Bug tree-optimization/16689] [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665
2004-07-23 14:10 [Bug tree-optimization/16689] New: [3.5 regression] ICE in add_may_alias, at tree-ssa-alias.c:1665 bangerth at dealii dot org
` (7 preceding siblings ...)
2004-07-26 13:36 ` bangerth at dealii dot org
@ 2004-07-28 12:39 ` cvs-commit at gcc dot gnu dot org
8 siblings, 0 replies; 10+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2004-07-28 12:39 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 10+ messages in thread