--- Additional Comments From dnovillo at redhat dot com 2004-08-12 18:35
---
Subject: Re: [3.5 regression] ICE: verify_ssa
failed.
On Sun, 2004-08-01 at 17:33, giovannibajo at libero dot it wrote:
> --- Additional Comments From giovannibajo at libero dot it 2004-08-01
> 2
--- Additional Comments From dnovillo at gcc dot gnu dot org 2004-08-12
17:34 ---
(In reply to comment #10)
> (In reply to comment #5)
>
> > 2004-07-30 Jie Zhang <[EMAIL PROTECTED]>
> >
> > PR tree-optimization/16225
> > * tree-ssa-alias.c (add_may_alias): If 'alias' is call-
--- Additional Comments From dnovillo at gcc dot gnu dot org 2004-08-11
16:01 ---
(In reply to comment #5)
> 2004-07-30 Jie Zhang <[EMAIL PROTECTED]>
>
> PR tree-optimization/16225
> * tree-ssa-alias.c (add_may_alias): If 'alias' is call-clobbered, so
> are 'var' an
--- Additional Comments From dnovillo at gcc dot gnu dot org 2004-08-11
15:59 ---
Jie's patch in comment #4 looks OK. I am working on something related that may
remove this quirk altogether. We don't deal with call-clobberedness in any
reasonable way right now.
Giovanni's proposal is
--- Additional Comments From giovannibajo at libero dot it 2004-08-01
21:33 ---
Diego, can you have a quick look at these patches? At least, if you can comment
on the patch to verify_flow_insensitive_alias_info, Jie would know whether it
should work on making it bootstrap fixing the pr
--- Additional Comments From zhangjie at magima dot com dot cn 2004-08-01
16:09 ---
I add the following check in verify_flow_insensitive_alias_info (). It shows
that there are some other mark_call_clobbered () call sites, which will fail the
check. I'm going to look them closer.
Index:
--- Additional Comments From giovannibajo at libero dot it 2004-07-30
17:28 ---
If the patch is right, it could contain also an update to verify_alias to make
it catch such situations earlier, in the future.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16225
--- You are recei
--- Additional Comments From zhangjie at magima dot com dot cn 2004-07-30
06:50 ---
I believe the bug is caused by a problem in alias analysis. At the end of
alias1, TMT.9 might alias x and bits:
Variable: TMT.9, UID 13, is global, call clobbered, may aliases: { x bits }
and was ca
--
What|Removed |Added
CC||zhangjie at magima dot com
||dot cn
http://gcc.gnu.org/bugzilla
--- Additional Comments From rakdver at gcc dot gnu dot org 2004-07-20
16:17 ---
Indeed there is a problem in tailr that is confused by function argument that
is also used as a name tag.
Since tree-loop-ch does not go into and out of ssa and does not
lose aliasing info, I don't understa
--- Additional Comments From pinskia at gcc dot gnu dot org 2004-07-20
08:52 ---
I get a slightly different ICE now:
pr16225.c: In function `btbl_bitcnt':
pr16225.c:9: internal compiler error: in may_propagate_copy, at
tree-ssa-copy.c:130
Please submit a full bug report,
with preprocess
--- Additional Comments From pinskia at gcc dot gnu dot org 2004-06-27
08:54 ---
Confirmed, here is the reduced testcase:
typedef unsigned long uint32;
int ntbl_bitcnt(uint32 x);
int btbl_bitcnt(uint32 x);
char bits[256];
int btbl_bitcnt(uint32 x)
{
int cnt = bits[ ((char *)&x)[0]
--
What|Removed |Added
Keywords||ice-on-valid-code
Target Milestone|--- |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.
13 matches
Mail list logo
