public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug debug/45673] New: -fcompare-debug failure with minor difference in dumps
@ 2010-09-14 23:40 zsojka at seznam dot cz
2010-09-14 23:43 ` [Bug debug/45673] " zsojka at seznam dot cz
` (3 more replies)
0 siblings, 4 replies; 7+ messages in thread
From: zsojka at seznam dot cz @ 2010-09-14 23:40 UTC (permalink / raw)
To: gcc-bugs
Command line:
$ gcc -O3 -fcompare-debug -march=amdfam10 ada-langn.i
or
$ gcc -O2 -fcompare-debug -finline-functions -fipa-cp-clone
-fkeep-inline-functions ada-langn.i
(I am not able to reproduce it with these flags anymore)
or
$ gcc -O1 -fgcse -finline-small-functions -foptimize-sibling-calls -ftree-pre
-ftree-switch-conversion -ftree-vrp -fpartial-inlining -finline-functions
-fkeep-inline-functions -fcompare-debug ada-langn.i
The difference in dumps is small:
$ diff *gkd
107804c107804
< (const_int 32 [0x20])) [ MEM[(struct type *)0B].main_type+0
S8 A64])) ada-langn.i:15638# {*movdi_internal_rex64}
---
> (const_int 32 [0x20])) [ 0B->main_type+0 S8 A64])) ada-langn.i:15638# {*movdi_internal_rex64}
"MEM[(struct type *)0B]." <=> "0B->"
Tested revision:
r164287 - fail
r164280 - fail
r164228 - fail
--
Summary: -fcompare-debug failure with minor difference in dumps
Product: gcc
Version: 4.6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: debug
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: zsojka at seznam dot cz
GCC host triplet: x86_64-pc-linux-gnu
GCC target triplet: x86_64-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45673
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug debug/45673] -fcompare-debug failure with minor difference in dumps
2010-09-14 23:40 [Bug debug/45673] New: -fcompare-debug failure with minor difference in dumps zsojka at seznam dot cz
@ 2010-09-14 23:43 ` zsojka at seznam dot cz
2010-09-15 9:49 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
3 siblings, 0 replies; 7+ messages in thread
From: zsojka at seznam dot cz @ 2010-09-14 23:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from zsojka at seznam dot cz 2010-09-14 23:43 -------
Created an attachment (id=21797)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21797&action=view)
testcase, preprocessed ada-lang.c from GDB (licensed under GPLv2)
Reducing is very slow, after 4 hours of delta run I got to ~16000 lines. So I
am uploading the original testcase.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45673
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug debug/45673] -fcompare-debug failure with minor difference in dumps
2010-09-14 23:40 [Bug debug/45673] New: -fcompare-debug failure with minor difference in dumps zsojka at seznam dot cz
2010-09-14 23:43 ` [Bug debug/45673] " zsojka at seznam dot cz
@ 2010-09-15 9:49 ` rguenth at gcc dot gnu dot org
2010-09-21 8:02 ` aoliva at gcc dot gnu dot org
2010-09-21 8:53 ` aoliva at gcc dot gnu dot org
3 siblings, 0 replies; 7+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-09-15 9:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from rguenth at gcc dot gnu dot org 2010-09-15 09:49 -------
Another dumping artifact probably. At some point I'd like to dump all
MEM_REFs as MEM[(...)p + cst] and drop the fancy ways.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45673
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug debug/45673] -fcompare-debug failure with minor difference in dumps
2010-09-14 23:40 [Bug debug/45673] New: -fcompare-debug failure with minor difference in dumps zsojka at seznam dot cz
2010-09-14 23:43 ` [Bug debug/45673] " zsojka at seznam dot cz
2010-09-15 9:49 ` rguenth at gcc dot gnu dot org
@ 2010-09-21 8:02 ` aoliva at gcc dot gnu dot org
2010-09-21 8:53 ` aoliva at gcc dot gnu dot org
3 siblings, 0 replies; 7+ messages in thread
From: aoliva at gcc dot gnu dot org @ 2010-09-21 8:02 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from aoliva at gcc dot gnu dot org 2010-09-21 08:02 -------
Mine
--
aoliva at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |aoliva at gcc dot gnu dot
|dot org |org
Status|UNCONFIRMED |ASSIGNED
Ever Confirmed|0 |1
Last reconfirmed|0000-00-00 00:00:00 |2010-09-21 08:02:06
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45673
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug debug/45673] -fcompare-debug failure with minor difference in dumps
2010-09-14 23:40 [Bug debug/45673] New: -fcompare-debug failure with minor difference in dumps zsojka at seznam dot cz
` (2 preceding siblings ...)
2010-09-21 8:02 ` aoliva at gcc dot gnu dot org
@ 2010-09-21 8:53 ` aoliva at gcc dot gnu dot org
3 siblings, 0 replies; 7+ messages in thread
From: aoliva at gcc dot gnu dot org @ 2010-09-21 8:53 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from aoliva at gcc dot gnu dot org 2010-09-21 08:53 -------
Created an attachment (id=21854)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=21854&action=view)
Patch that fixes the problem
Here's the patch I'm testing. Turns out it's not enough to take only the
second pointer type into account, the first also matters because we'll get
different dump output depending on whether they're equal or not. In this case,
we failed to distinguish (void*)0B and (struct type*)0B in the first operands.
Richi, care to pre-approve it in case it passes regstrap?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45673
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug debug/45673] -fcompare-debug failure with minor difference in dumps
[not found] <bug-45673-4@http.gcc.gnu.org/bugzilla/>
2010-10-08 4:41 ` aoliva at gcc dot gnu.org
@ 2010-10-08 5:50 ` aoliva at gcc dot gnu.org
1 sibling, 0 replies; 7+ messages in thread
From: aoliva at gcc dot gnu.org @ 2010-10-08 5:50 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45673
Alexandre Oliva <aoliva at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #6 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2010-10-08 05:49:56 UTC ---
Fixed
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug debug/45673] -fcompare-debug failure with minor difference in dumps
[not found] <bug-45673-4@http.gcc.gnu.org/bugzilla/>
@ 2010-10-08 4:41 ` aoliva at gcc dot gnu.org
2010-10-08 5:50 ` aoliva at gcc dot gnu.org
1 sibling, 0 replies; 7+ messages in thread
From: aoliva at gcc dot gnu.org @ 2010-10-08 4:41 UTC (permalink / raw)
To: gcc-bugs
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45673
--- Comment #5 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2010-10-08 04:41:06 UTC ---
Author: aoliva
Date: Fri Oct 8 04:40:59 2010
New Revision: 165149
URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=165149
Log:
PR debug/45673
PR debug/45604
PR debug/45419
PR debug/45408
* tree-pretty-print.c (dump_generic_node): Explicitly dump the
type of MEM_REFs to INTEGER_CSTs.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/tree-pretty-print.c
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2010-10-08 5:50 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-09-14 23:40 [Bug debug/45673] New: -fcompare-debug failure with minor difference in dumps zsojka at seznam dot cz
2010-09-14 23:43 ` [Bug debug/45673] " zsojka at seznam dot cz
2010-09-15 9:49 ` rguenth at gcc dot gnu dot org
2010-09-21 8:02 ` aoliva at gcc dot gnu dot org
2010-09-21 8:53 ` aoliva at gcc dot gnu dot org
[not found] <bug-45673-4@http.gcc.gnu.org/bugzilla/>
2010-10-08 4:41 ` aoliva at gcc dot gnu.org
2010-10-08 5:50 ` aoliva at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).