[Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361

[Bug middle-end/40797] New: ICE in df_refs_verify, at df-scan.c:4361

[rmansfield at qnx dot com]

ryan@ryan:~/gcc/trunk/gcc/sh4-build/gcc$ ./xgcc -v
Using built-in specs.
Target: sh4-unknown-linux-gnu
Configured with: ../configure --target=sh4-unknown-linux-gnu
--prefix=/home/ryan/crosstool-ng-1.3.1/targets/sh4-unknown-linux-gnu/build/gcc-core-static
--with-local-prefix=/home/ryan/x-tools/sh4-unknown-linux-gnu/sh4-unknown-linux-gnu/sys-root
--disable-multilib
--with-sysroot=/home/ryan/x-tools/sh4-unknown-linux-gnu/sh4-unknown-linux-gnu/sys-root
--with-newlib --enable-threads=no --disable-shared --enable-__cxa_atexit
--disable-nls --enable-symvers=gnu --enable-languages=c
--enable-target-optspace
Thread model: single
gcc version 4.5.0 20090718 (experimental) [trunk revision 149772] (GCC)
ryan@ryan:~/gcc/trunk/gcc/sh4-build/gcc$ ./xgcc -B. -O ~/ice.i -c
/home/ryan/ice.i: In function 'ar5212GetTargetPowers':
/home/ryan/ice.i:56:1: internal compiler error: in df_refs_verify, at
df-scan.c:4361
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: ICE in  df_refs_verify, at df-scan.c:4361
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rmansfield at qnx dot com
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: sh4-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40797

[Bug middle-end/40797] ICE in df_refs_verify, at df-scan.c:4361

[rmansfield at qnx dot com]

------- 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

[Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361

[kkojima at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361

[steven at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361

[kkojima at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361

[kkojima at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361

[jsm28 at gcc dot gnu dot org]

-- 

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

[Bug rtl-optimization/40797] [4.5 Regression] ICE in df_refs_verify, at df-scan.c:4361

[rguenth at gcc dot gnu dot org]

------- 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

[Bug rtl-optimization/40797] [4.5/4.6 Regression] ICE in df_refs_verify, at df-scan.c:4361

[rguenth at gcc dot gnu dot org]

------- 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