[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-29 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-29 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 --- Comment #11 from Jakub Jelinek 2012-02-29 08:12:15 UTC --- Author: jakub Date: Wed Feb 29 08:12:04 2012 New Revision: 184652 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184652 Log: PR bootstrap/52397 * df.h (struct df_d): A

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-28 Thread ebotcazou at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 --- Comment #10 from Eric Botcazou 2012-02-28 16:41:04 UTC --- > Untested fix. Not sure if that is the way we want to solve this though. You might want to adjust the comment in df.h because it will be totally off.

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-28 Thread ebotcazou at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 --- Comment #9 from Eric Botcazou 2012-02-28 16:33:42 UTC --- > I wonder if df_reg_chain_unlink/df_install_ref shouldn't just ignore > DEBUG_INSN > refs when updating df->hard_regs_live_count array, do we care at all when > testing regs_ever_liv

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-28 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-28 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 --- Comment #7 from Jakub Jelinek 2012-02-28 15:40:40 UTC --- Ok, with additional -fno-inline -gnatpg I can reproduce even with the commands I tried. The dead_debug* stuff doesn't handle this probably because the hard reg isn't ever becoming REG

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-27 Thread ebotcazou at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 --- Comment #6 from Eric Botcazou 2012-02-27 17:14:14 UTC --- > We should already have code that should handle it, the question is where we > have a bug in it. Do you mean the debug code in df-problems.c? > Anyway, can't reproduce with a cross:

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-27 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 --- Comment #5 from Jakub Jelinek 2012-02-27 12:57:21 UTC --- We should already have code that should handle it, the question is where we have a bug in it. Anyway, can't reproduce with a cross: ./gnat1 -O2 -g uintp.adb -I ../../gcc/ada/ -fcompare

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-27 Thread ebotcazou at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 --- Comment #4 from Eric Botcazou 2012-02-27 12:04:16 UTC --- > What is specific about FUNCTION_ARG_REGNO_P regs? We know more or less how they behave. They (may) hold arguments on entry and thus have an artificial def in the entry block. >

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-27 Thread jakub at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 Jakub Jelinek changed: What|Removed |Added CC||aoliva at gcc dot gnu.org --- Comment #3

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-27 Thread ebotcazou at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 Eric Botcazou changed: What|Removed |Added CC||jakub at gcc dot gnu.org --- Comment #2 f

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-27 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 Richard Guenther changed: What|Removed |Added Priority|P3 |P4 --- Comment #1 from Richard Guenthe

[Bug bootstrap/52397] [4.7 regression] comparison failure with Ada enabled

2012-02-27 Thread rguenth at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52397 Richard Guenther changed: What|Removed |Added Target Milestone|--- |4.7.0