--- Comment #10 from rguenth at gcc dot gnu dot org 2009-02-05 09:42
---
Fixed. I'm going to do a backport to the 4.3 branch.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #11 from rguenth at gcc dot gnu dot org 2009-02-05 11:10
---
Subject: Bug 39100
Author: rguenth
Date: Thu Feb 5 11:10:02 2009
New Revision: 143961
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=143961
Log:
2009-02-05 Daniel Berlin dber...@dberlin.org
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
CC||pinskia at gcc dot gnu dot
|
--- Comment #1 from jakub at gcc dot gnu dot org 2009-02-04 20:04 ---
Caused by http://gcc.gnu.org/viewcvs?root=gccview=revrev=136657
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #2 from rguenth at gcc dot gnu dot org 2009-02-04 20:04 ---
I will have a looksee.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #3 from rguenth at gcc dot gnu dot org 2009-02-04 20:05 ---
Note that the patch only enables us to use PTA results which are likely wrong
here.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39100
--- Comment #4 from hjl dot tools at gmail dot com 2009-02-04 20:13 ---
It is caused by revision 136657:
http://gcc.gnu.org/ml/gcc-cvs/2008-06/msg00414.html
--
hjl dot tools at gmail dot com changed:
What|Removed |Added
--- Comment #5 from rguenth at gcc dot gnu dot org 2009-02-04 20:59 ---
On the alias-improvements branch the testcase also fails with
-O -fdelete-null-pointer-checks, so this is definitely a PTA bug.
PTA thinks the points-to set for na_5 is
na_5, is dereferenced, points-to NULL,
--- Comment #6 from dberlin at gcc dot gnu dot org 2009-02-04 21:16 ---
Subject: Re: [4.4 Regression] -fstrict-aliasing
miscompilation
On Wed, Feb 4, 2009 at 3:59 PM, rguenth at gcc dot gnu dot org
gcc-bugzi...@gcc.gnu.org wrote:
--- Comment #5 from rguenth at gcc dot
--- Comment #7 from rguenth at gcc dot gnu dot org 2009-02-04 21:18 ---
Following do_ds_constraint shows
*na_2 = x_1
nl -
*na_2 = derefaddrtmp.7
nl - NULL
*na_2 = x_1
NULL - ESCAPED NONLOCAL
*na_2 = derefaddrtmp.7
NULL - NULL
where on the lhs of - we show DELTA and on the rhs we
--- Comment #8 from rguenth at gcc dot gnu dot org 2009-02-04 21:36 ---
The following works (on the branch, with added NONLOCAL = *NONLOCAL
constraint):
ANYTHING = ANYTHING
READONLY = READONLY
ESCAPED = *ESCAPED
ESCAPED = ESCAPED + UNKNOWN
*ESCAPED = NONLOCAL
NONLOCAL = NONLOCAL
--- Comment #9 from dberlin at gcc dot gnu dot org 2009-02-05 07:10 ---
Subject: Bug 39100
Author: dberlin
Date: Thu Feb 5 07:09:44 2009
New Revision: 143951
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=143951
Log:
2009-02-05 Daniel Berlin dber...@dberlin.org
12 matches
Mail list logo