* [Bug tree-optimization/19217] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
@ 2005-01-01 6:56 ` aj at gcc dot gnu dot org
2005-01-01 6:57 ` [Bug tree-optimization/19217] [4.0 Regression] " pinskia at gcc dot gnu dot org
` (13 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: aj at gcc dot gnu dot org @ 2005-01-01 6:56 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From aj at gcc dot gnu dot org 2005-01-01 06:56 -------
Created an attachment (id=7857)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7857&action=view)
Preprocessed source file
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
2005-01-01 6:56 ` [Bug tree-optimization/19217] " aj at gcc dot gnu dot org
@ 2005-01-01 6:57 ` pinskia at gcc dot gnu dot org
2005-01-01 7:28 ` pinskia at gcc dot gnu dot org
` (12 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-01 6:57 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
Keywords| |ice-on-valid-code
Summary|ICE: verify_stmts failed: |[4.0 Regression] ICE:
|address taken, but |verify_stmts failed: address
|ADDRESSABLE bit not set |taken, but ADDRESSABLE bit
| |not set
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
2005-01-01 6:56 ` [Bug tree-optimization/19217] " aj at gcc dot gnu dot org
2005-01-01 6:57 ` [Bug tree-optimization/19217] [4.0 Regression] " pinskia at gcc dot gnu dot org
@ 2005-01-01 7:28 ` pinskia at gcc dot gnu dot org
2005-01-01 7:38 ` pinskia at gcc dot gnu dot org
` (11 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-01 7:28 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-01 07:28 -------
Confirmed, reduced testcase:
void flexto(int *current,int instance_count)
{
int *end, temp, j;
for ( j=0; j<instance_count; ++j )
end = &temp;
*current = *end;
}
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-01-01 07:28:16
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (2 preceding siblings ...)
2005-01-01 7:28 ` pinskia at gcc dot gnu dot org
@ 2005-01-01 7:38 ` pinskia at gcc dot gnu dot org
2005-01-01 7:53 ` pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-01 7:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-01 07:38 -------
(In reply to comment #2)
> Confirmed, reduced testcase:
> void flexto(int *current,int instance_count)
> {
> int *end, temp, j;
> for ( j=0; j<instance_count; ++j )
> end = &temp;
> *current = *end;
> }
Just a note, this is broken before the loop optimizations are run and it looks like it was caused by (my
patch):
2004-11-30 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/18298
* tree-optimize.c (init_tree_optimization_passes): Add a may_alias
pass right after fold builtins.
But It just exposes a latent bug in may_alias as we don't keep temp marked as a non gimple register
even though the variable has its address taken still (yes adding a dce pass right before may_alias will
work around the problem but that does not fix the other problem, we should be able to call may_alias
even without calling dce).
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dnovillo at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (3 preceding siblings ...)
2005-01-01 7:38 ` pinskia at gcc dot gnu dot org
@ 2005-01-01 7:53 ` pinskia at gcc dot gnu dot org
2005-01-01 15:31 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-01 7:53 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-01 07:53 -------
(In reply to comment #3)
One more note, this does not happen on the tcb but that is because we call dce after the first ccp and
before the next may_alias.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (4 preceding siblings ...)
2005-01-01 7:53 ` pinskia at gcc dot gnu dot org
@ 2005-01-01 15:31 ` pinskia at gcc dot gnu dot org
2005-01-01 15:44 ` pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-01 15:31 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-01 15:31 -------
I think the problem is that we don't see the the address taken at all because we don't walk over the PHI
nodes in compute_points_to_and_addr_escape so when we have dead code in PHIs we miss them.
Note this comment is wrong with respect with dead code:
/* Mark all the variables whose address are taken by the
statement. Note that this will miss all the addresses taken
in PHI nodes (those are discovered while following the use-def
chains). */
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (5 preceding siblings ...)
2005-01-01 15:31 ` pinskia at gcc dot gnu dot org
@ 2005-01-01 15:44 ` pinskia at gcc dot gnu dot org
2005-01-04 15:48 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-01 15:44 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-01 15:44 -------
You can see the problem with this testcase (but we don't ICE because we only call verify_stmts in IV-
OPTS :( ):
void flexto(int *current,int instance_count)
{
int *end, temp, j;
if (0<instance_count)
end = &temp;
*current = *end;
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (6 preceding siblings ...)
2005-01-01 15:44 ` pinskia at gcc dot gnu dot org
@ 2005-01-04 15:48 ` pinskia at gcc dot gnu dot org
2005-01-24 9:52 ` steven at gcc dot gnu dot org
` (6 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-04 15:48 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-04 15:48 -------
: Search converges between 2004-11-30-014001-trunk (#665) and 2004-12-01-014001-trunk
(#666).
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (7 preceding siblings ...)
2005-01-04 15:48 ` pinskia at gcc dot gnu dot org
@ 2005-01-24 9:52 ` steven at gcc dot gnu dot org
2005-01-24 13:24 ` pinskia at gcc dot gnu dot org
` (5 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: steven at gcc dot gnu dot org @ 2005-01-24 9:52 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From steven at gcc dot gnu dot org 2005-01-24 09:51 -------
I cannot reproduce this with the original test case and yesterday's
CVS HEAD.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (8 preceding siblings ...)
2005-01-24 9:52 ` steven at gcc dot gnu dot org
@ 2005-01-24 13:24 ` pinskia at gcc dot gnu dot org
2005-01-24 13:43 ` steven at gcc dot gnu dot org
` (4 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-24 13:24 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-24 13:24 -------
(In reply to comment #8)
> I cannot reproduce this with the original test case and yesterday's
> CVS HEAD.
Did you use --disable-checking (please look at the keywords)?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (9 preceding siblings ...)
2005-01-24 13:24 ` pinskia at gcc dot gnu dot org
@ 2005-01-24 13:43 ` steven at gcc dot gnu dot org
2005-02-01 9:38 ` steven at gcc dot gnu dot org
` (3 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: steven at gcc dot gnu dot org @ 2005-01-24 13:43 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From steven at gcc dot gnu dot org 2005-01-24 13:43 -------
This should be a checking compiler, or at least I didn't disable checking
explicitly. I did use a non-gcc to build it, perhaps that turned off
checking...
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (10 preceding siblings ...)
2005-01-24 13:43 ` steven at gcc dot gnu dot org
@ 2005-02-01 9:38 ` steven at gcc dot gnu dot org
2005-02-01 11:35 ` steven at gcc dot gnu dot org
` (2 subsequent siblings)
14 siblings, 0 replies; 16+ messages in thread
From: steven at gcc dot gnu dot org @ 2005-02-01 9:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From steven at gcc dot gnu dot org 2005-02-01 09:37 -------
Neh, still there. I forgot to add the proper flags to the test case
(which runs in a DejaGNU framework on my home box along with other PR
test cases). Still a problem, so reconfirming.
--
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed|2005-01-01 07:28:16 |2005-02-01 09:38:01
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (11 preceding siblings ...)
2005-02-01 9:38 ` steven at gcc dot gnu dot org
@ 2005-02-01 11:35 ` steven at gcc dot gnu dot org
2005-02-01 22:50 ` cvs-commit at gcc dot gnu dot org
2005-02-01 22:51 ` steven at gcc dot gnu dot org
14 siblings, 0 replies; 16+ messages in thread
From: steven at gcc dot gnu dot org @ 2005-02-01 11:35 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From steven at gcc dot gnu dot org 2005-02-01 11:35 -------
I think we should just not do this non-statement-related check in
verify_stmts. Patch posted for that:
http://gcc.gnu.org/ml/gcc-patches/2005-02/msg00049.html
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |patch
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (12 preceding siblings ...)
2005-02-01 11:35 ` steven at gcc dot gnu dot org
@ 2005-02-01 22:50 ` cvs-commit at gcc dot gnu dot org
2005-02-01 22:51 ` steven at gcc dot gnu dot org
14 siblings, 0 replies; 16+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-02-01 22:50 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-02-01 22:50 -------
Subject: Bug 19217
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: steven@gcc.gnu.org 2005-02-01 22:50:21
Modified files:
gcc : ChangeLog tree-cfg.c
Log message:
PR tree-optimization/19217
* tree-cfg.c (verify_expr): Use the data field to see if TP was
seen inside a PHI node. Do not do the ADDR_EXPR check if it was.
(verify_stmts): Pass (void*)1 as data to verify_expr to signal
that it is walking a PHI node.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.7368&r2=2.7369
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&r1=2.147&r2=2.148
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread
* [Bug tree-optimization/19217] [4.0 Regression] ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set
2005-01-01 6:55 [Bug tree-optimization/19217] New: ICE: verify_stmts failed: address taken, but ADDRESSABLE bit not set aj at gcc dot gnu dot org
` (13 preceding siblings ...)
2005-02-01 22:50 ` cvs-commit at gcc dot gnu dot org
@ 2005-02-01 22:51 ` steven at gcc dot gnu dot org
14 siblings, 0 replies; 16+ messages in thread
From: steven at gcc dot gnu dot org @ 2005-02-01 22:51 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From steven at gcc dot gnu dot org 2005-02-01 22:51 -------
.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19217
^ permalink raw reply [flat|nested] 16+ messages in thread