http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42631
--- Comment #16 from Jie Zhang jiez at gcc dot gnu.org 2011-02-10 04:22:48
UTC ---
Author: jiez
Date: Thu Feb 10 04:22:44 2011
New Revision: 169997
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=169997
Log:
PR testsuite/47622
Revert
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42631
--- Comment #15 from Jie Zhang jiez at gcc dot gnu.org 2011-02-05 12:06:21
UTC ---
Author: jiez
Date: Sat Feb 5 12:06:18 2011
New Revision: 169851
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=169851
Log:
PR debug/42631
* web.c
--- Comment #13 from aoliva at gcc dot gnu dot org 2010-01-09 14:42 ---
Subject: Bug 42631
Author: aoliva
Date: Sat Jan 9 14:41:51 2010
New Revision: 155765
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=155765
Log:
gcc/ChangeLog:
PR debug/42631
* web.c (union_defs): Add used
--- Comment #14 from aoliva at gcc dot gnu dot org 2010-01-09 14:50 ---
Fixed
--
aoliva at gcc dot gnu dot org changed:
What|Removed |Added
Status|ASSIGNED
--- Comment #4 from aoliva at gcc dot gnu dot org 2010-01-07 13:53 ---
Yeah, it surprised me a bit too, but now that I looked into it I see it makes
perfect sense. There was a PHI node before the debug stmt that expanded into
this debug insn. The variable is indeed live at that
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42631
--- Comment #5 from steven at gcc dot gnu dot org 2010-01-07 19:54 ---
Makes no sense to me = unassigned.
--
steven at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #6 from aoliva at gcc dot gnu dot org 2010-01-07 20:44 ---
Mine
--
aoliva at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|unassigned
--- Comment #7 from aoliva at gcc dot gnu dot org 2010-01-08 01:01 ---
The interesting question to ask is *why* web regards three different uses of
the same uninitialized pseudo as different webs. That's what doesn't make
sense to me. Apparently DF avoids dealing with uninitialized
--- Comment #8 from aoliva at gcc dot gnu dot org 2010-01-08 01:27 ---
Kenny, you think we should fix DF to create artificial defs for uninitialized
vars, or use some kludge in web to avoid creating one web per uninitialized
use?
--
aoliva at gcc dot gnu dot org changed:
--- Comment #9 from zadeck at naturalbridge dot com 2010-01-08 01:56
---
Alexandre,
i am surprised that we have gotten this far and never seen this kind of
failure.
I had actually thought that there were earlier passes that added
initialization. If that is true, then the real
--- Comment #10 from aoliva at gcc dot gnu dot org 2010-01-08 02:43 ---
Well, it's not like accessing an uninitialized variable is well-defined, so
it's not like our splitting into multiple webs is wrong, or could possibly
generate incorrect results. The only reason we notice this is
--- Comment #11 from zadeck at naturalbridge dot com 2010-01-08 03:52
---
I really do not know what to say here. There is a first do no harm principal
here. it does not sound like this is really a bug and i do not think that
mucking with the compiler to make a test on a program that
--- Comment #12 from aoliva at gcc dot gnu dot org 2010-01-08 05:27 ---
It is a bug. The compiler shouldn't generate different code depending on -g,
and that's what's (potentially) going on here. That the code is undefined per
a language standard shouldn't take precedence over a more
--- Comment #1 from rguenth at gcc dot gnu dot org 2010-01-06 12:00 ---
Confirmed. We have regno differences.
-(insn# 0 0 t.c:4 (set (reg/v:SI 0 ax [orig:67 k ] [67])
+(insn# 0 0 t.c:4 (set (reg/v:SI 0 ax [orig:68 k ] [68])
works ok with -fno-var-tracking-assignments.
--
rguenth
--
steven at gcc dot gnu dot org changed:
What|Removed |Added
AssignedTo|unassigned at gcc dot gnu |steven at gcc dot gnu dot
|dot org
--- Comment #2 from steven at gcc dot gnu dot org 2010-01-06 23:48 ---
Works with -fno-web.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42631
--- Comment #3 from steven at gcc dot gnu dot org 2010-01-06 23:53 ---
In the .loop2_done dump, the RTL looks like this:
7 NOTE_INSN_BASIC_BLOCK
6 NOTE_INSN_FUNCTION_BEG
22 {r63:SI=r62:SI-0x1;clobber flags:CC;}
23 {r64:SI=r63:SI0x7;clobber flags:CC;}
26: debug k =
18 matches
Mail list logo
