[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