* [Bug middle-end/40797] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
@ 2009-07-18 14:43 ` rmansfield at qnx dot com
2009-07-19 4:54 ` [Bug rtl-optimization/40797] [4.5 Regression] " kkojima at gcc dot gnu dot org
` (6 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: rmansfield at qnx dot com @ 2009-07-18 14:43 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from rmansfield at qnx dot com 2009-07-18 14:43 -------
Created an attachment (id=18218)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18218&action=view)
preprocessed source
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
2009-07-18 14:43 ` [Bug middle-end/40797] " rmansfield at qnx dot com
@ 2009-07-19 4:54 ` kkojima at gcc dot gnu dot org
2009-07-19 7:58 ` steven at gcc dot gnu dot org
` (5 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: kkojima at gcc dot gnu dot org @ 2009-07-19 4:54 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from kkojima at gcc dot gnu dot org 2009-07-19 04:53 -------
A bit smaller test case:
typedef struct str { short x, y;} S;
static short
bar (short ch, short sl, short sr, short tl, short tr)
{
return 0;
}
void
foo (short ch, S *pi, short nc, S *po)
{
short clo, chi, lo, hi;
po->x = bar (ch, clo, chi, pi[lo].x, pi[hi].x);
po->y = bar (ch, clo, chi, pi[lo].y, pi[hi].y);
}
--
Here is a backtrace with a compiler configured with --enable-checking=df:
#0 fancy_abort (file=0x85db620 "../../LOCAL/trunk/gcc/df-scan.c", line=4361,
function=0x85dbcf2 "df_refs_verify")
at ../../LOCAL/trunk/gcc/diagnostic.c:730
#1 0x08161cfc in df_refs_verify (new_rec=0x8790988, old_rec=0x878e09c,
abort_if_fail=1 '\001') at ../../LOCAL/trunk/gcc/df-scan.c:4361
#2 0x08166a7a in df_insn_refs_verify (collection_rec=0xbffff1bc,
bb=<value optimized out>, insn=<value optimized out>,
abort_if_fail=1 '\001') at ../../LOCAL/trunk/gcc/df-scan.c:4451
#3 0x08166ca5 in df_bb_verify (bb=0xb7f90180)
at ../../LOCAL/trunk/gcc/df-scan.c:4485
#4 0x08166f18 in df_scan_verify () at ../../LOCAL/trunk/gcc/df-scan.c:4617
#5 0x08157b5b in df_verify () at ../../LOCAL/trunk/gcc/df-core.c:1558
#6 0x08158f36 in df_analyze () at ../../LOCAL/trunk/gcc/df-core.c:1152
#7 0x08526ef1 in fwprop_init () at ../../LOCAL/trunk/gcc/fwprop.c:269
#8 0x0852721a in fwprop () at ../../LOCAL/trunk/gcc/fwprop.c:1323
#9 0x082805f1 in execute_one_pass (pass=0x86ab5e0)
The previous pass of fwprop is cse in the failing case.
--
kkojima at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Component|middle-end |rtl-optimization
Ever Confirmed|0 |1
Keywords| |ice-on-valid-code
Known to fail| |4.5.0
Known to work| |4.4.1
Priority|P3 |P4
Last reconfirmed|0000-00-00 00:00:00 |2009-07-19 04:53:47
date| |
Summary|ICE in df_refs_verify, at |[4.5 Regression] ICE in
|df-scan.c:4361 |df_refs_verify, at df-
| |scan.c:4361
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
2009-07-18 14:43 ` [Bug middle-end/40797] " rmansfield at qnx dot com
2009-07-19 4:54 ` [Bug rtl-optimization/40797] [4.5 Regression] " kkojima at gcc dot gnu dot org
@ 2009-07-19 7:58 ` steven at gcc dot gnu dot org
2009-07-20 0:01 ` kkojima at gcc dot gnu dot org
` (4 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: steven at gcc dot gnu dot org @ 2009-07-19 7:58 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from steven at gcc dot gnu dot org 2009-07-19 07:57 -------
What is the last revision that is known to work?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
` (2 preceding siblings ...)
2009-07-19 7:58 ` steven at gcc dot gnu dot org
@ 2009-07-20 0:01 ` kkojima at gcc dot gnu dot org
2009-07-21 22:47 ` kkojima at gcc dot gnu dot org
` (3 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: kkojima at gcc dot gnu dot org @ 2009-07-20 0:01 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from kkojima at gcc dot gnu dot org 2009-07-20 00:01 -------
It started to fail after revision 142809:
r142809 | zadeck | 2008-12-18 22:38:39 +0900 (Thu, 18 Dec 2008) | 47 lines
2008-12-18 Kenneth Zadeck <zadeck@naturalbridge.com>
PR rtl-optimization/37922
* dse.c (bb_info): Added regs_live field.
(look_for_hardregs): New function.
(replace_read): Added regs_live parameter and code to check that
shift sequence does not clobber live hardregs.
(check_mem_read_rtx): Added parameter to replace_read.
(dse_step1): Added regs_live bitmap and initialize it.
(rest_of_handle_dse): Added DF_NOTES problem and earlier call to
df_analyze.
...
which adds df_analyze to dse.c.
Since 142809 is 4.4.0 and the current 4.4.1 doesn't fail, I'll
run another binary search on 4.4 branch to see where the ICE
went away.
BTW, I've found that with --enable-checking=df, all 4.3/4.4/4.5
SH compilers I tried fail for the test case with the similar ICE
in df_refs_verify, though they fail in different passes. Oops.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
` (3 preceding siblings ...)
2009-07-20 0:01 ` kkojima at gcc dot gnu dot org
@ 2009-07-21 22:47 ` kkojima at gcc dot gnu dot org
2009-07-29 23:06 ` jsm28 at gcc dot gnu dot org
` (2 subsequent siblings)
7 siblings, 0 replies; 9+ messages in thread
From: kkojima at gcc dot gnu dot org @ 2009-07-21 22:47 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from kkojima at gcc dot gnu dot org 2009-07-21 22:47 -------
Binary search on 4.4 branch shows the failure was gone
after revision 145118:
2009-03-27 Xinliang David Li <davidxl@google.com>
PR tree-optimization/39548
* tree-ssa-copy.c (copy_prop_visit_phi_node): Add copy
candidate check.
It looks the tree level change simply masks the real issue
on that branch.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
` (4 preceding siblings ...)
2009-07-21 22:47 ` kkojima at gcc dot gnu dot org
@ 2009-07-29 23:06 ` jsm28 at gcc dot gnu dot org
2010-04-06 11:24 ` rguenth at gcc dot gnu dot org
2010-07-31 9:32 ` [Bug rtl-optimization/40797] [4.5/4.6 " rguenth at gcc dot gnu dot org
7 siblings, 0 replies; 9+ messages in thread
From: jsm28 at gcc dot gnu dot org @ 2009-07-29 23:06 UTC (permalink / raw)
To: gcc-bugs
--
jsm28 at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
` (5 preceding siblings ...)
2009-07-29 23:06 ` jsm28 at gcc dot gnu dot org
@ 2010-04-06 11:24 ` rguenth at gcc dot gnu dot org
2010-07-31 9:32 ` [Bug rtl-optimization/40797] [4.5/4.6 " rguenth at gcc dot gnu dot org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-04-06 11:24 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from rguenth at gcc dot gnu dot org 2010-04-06 11:20 -------
GCC 4.5.0 is being released. Deferring to 4.5.1.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.5.0 |4.5.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread* [Bug rtl-optimization/40797] [4.5/4.6 Regression] ICE in df_refs_verify, at df-scan.c:4361
2009-07-18 14:42 [Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361 rmansfield at qnx dot com
` (6 preceding siblings ...)
2010-04-06 11:24 ` rguenth at gcc dot gnu dot org
@ 2010-07-31 9:32 ` rguenth at gcc dot gnu dot org
7 siblings, 0 replies; 9+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2010-07-31 9:32 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from rguenth at gcc dot gnu dot org 2010-07-31 09:29 -------
GCC 4.5.1 is being released, adjusting target milestone.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|4.5.1 |4.5.2
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797
^ permalink raw reply [flat|nested] 9+ messages in thread